{"id":"W2009029954","doi":"10.1007/s00165-009-0114-y","title":"Automating the transformation-based analysis of visual languages","year":2009,"lang":"en","type":"article","venue":"Formal Aspects of Computing","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":29,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"Natural Sciences and Engineering Research Council of Canada; Ministerio de Ciencia e Innovación","keywords":"Petri net; Graph rewriting; Computer science; Transformation (genetics); Model transformation; Programming language; Semantics (computer science); Operational semantics; Graph; Stochastic Petri net; Visual language; Program transformation; Theoretical computer science; Visual modeling; Theory of computation; Unified Modeling Language; Artificial intelligence","routes":{"ca_aff":true,"ca_fund":true,"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.001247947,0.0006741532,0.0004278398,0.001247044,0.0003855437,0.00149841,0.0008012811,0.0006326718,0.002739619],"category_scores_gemma":[0.004721546,0.0004076215,0.001212235,0.0004908712,0.001086281,0.001013884,0.001083686,0.0009447267,0.000855061],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007121446,"about_ca_system_score_gemma":0.0009488984,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001842835,"about_ca_topic_score_gemma":0.001339939,"domain_scores_codex":[0.9986128,0.0004163061,0.0000919423,0.0002363271,0.0005261526,0.0001164972],"domain_scores_gemma":[0.9973616,0.001440006,0.0001754301,0.000439148,0.000546417,0.00003725737],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0003538168,0.0002805725,0.002791219,0.0008756953,0.0001588295,0.001336222,0.001573758,0.2590591,0.163088,0.198374,0.005617142,0.3664915],"study_design_scores_gemma":[0.00005678155,0.00008664579,0.0004934501,0.00007733492,0.00006434401,0.0002780511,0.0002218642,0.7075251,0.1573956,0.1101469,0.02360366,0.00005024573],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01584704,0.00003729597,0.9773529,0.00006823919,0.00002311903,0.000131055,0.0001444071,0.004538862,0.001857059],"genre_scores_gemma":[0.3831,0.0001432453,0.6116881,0.00009400228,0.00001717128,0.0002335406,0.0009310675,0.001650895,0.002141946],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.002739619,"threshold_uncertainty_score":0.009164929,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.00614976838597775,"score_gpt":0.262775836309977,"score_spread":0.2566260679239992,"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."}}