{"id":"W1485614412","doi":"10.5555/1357910.1357990","title":"Multi-formalism modelling and model transformation for the design of reactive systems","year":2007,"lang":"en","type":"article","venue":"","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"","keywords":"Rotation formalisms in three dimensions; Computer science; Reusability; Formalism (music); Model transformation; Programming language; Code generation; Model-based design; Model checking; Theoretical computer science; Artificial intelligence; Simulation; Key (lock); Software","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0009680259,0.00008601339,0.000104366,0.00007072659,0.00006011058,0.00003345999,0.0002737392,0.00005441956,6.313024e-8],"category_scores_gemma":[0.000002460441,0.00005941588,0.00002860528,0.0000818806,0.00001807087,0.0005250269,0.00002579127,0.00005864397,1.341415e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000237012,"about_ca_system_score_gemma":0.00001611729,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004765609,"about_ca_topic_score_gemma":9.22302e-7,"domain_scores_codex":[0.9993671,0.00001028754,0.0002251246,0.0001222595,0.0001250238,0.0001502388],"domain_scores_gemma":[0.9993907,0.0001928592,0.00005792527,0.0002216354,0.0001063708,0.00003053328],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00000597339,0.00000673933,5.961894e-7,0.00002245484,0.000006521728,7.438275e-8,0.001604567,0.8262487,0.0006037716,0.1671572,0.000008025065,0.00433538],"study_design_scores_gemma":[0.0001478765,0.00002888191,0.000003242729,0.00001830902,0.000005550423,0.000004281744,0.00001813908,0.9905155,0.008351568,0.0006968435,0.0001338633,0.00007594115],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0004575594,0.00008949768,0.9984009,0.00003283166,0.00004578229,0.0006951609,0.000002225108,0.0002459993,0.00003010451],"genre_scores_gemma":[0.3896853,0.00001739414,0.6102325,0.000009154221,0.000004819495,0.00003032816,3.85066e-7,0.000004574347,0.00001549155],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.3892278,"threshold_uncertainty_score":0.2422909,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06165234574918328,"score_gpt":0.2671163035784519,"score_spread":0.2054639578292686,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}