{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003444999,0.00107943,0.0005374544,0.001089563,0.0006596306,0.001947629,0.001679325,0.001420547,0.00487162],"category_scores_gemma":[0.003691588,0.0008334502,0.002151588,0.0008527056,0.002066742,0.001582103,0.001809915,0.002912102,0.001423318],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001753067,"about_ca_system_score_gemma":0.00256589,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002349793,"about_ca_topic_score_gemma":0.002880296,"domain_scores_codex":[0.9970567,0.001182952,0.0002058794,0.0002447166,0.001212388,0.00009740573],"domain_scores_gemma":[0.9987186,0.0006685402,0.0001185032,0.000277091,0.00017628,0.00004103237],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00003703972,0.00005548772,0.0002577778,0.0005627718,0.0000829627,0.0002889522,0.0008043555,0.1324955,0.008821221,0.7856686,0.002390705,0.06853467],"study_design_scores_gemma":[0.00007418238,0.0001426117,0.0001544147,0.0004315561,0.0000797086,0.0003624531,0.0001411821,0.4180144,0.009276718,0.3824984,0.1887651,0.00005922479],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0004838664,0.000310817,0.9956542,0.0001620843,0.00004652916,0.00007556102,0.00002363057,0.0002468562,0.00299643],"genre_scores_gemma":[0.03960862,0.0007979608,0.9543013,0.0001754105,0.00003426659,0.0005293279,0.0001555628,0.0002075893,0.004190005],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00487162,"threshold_uncertainty_score":0.01821911,"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."}}