{"id":"W2149952006","doi":"10.1145/587051.587074","title":"Composable semantics for model-based notations","year":2002,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"University of Waterloo","keywords":"Computer science; Programming language; Semantics (computer science); Notation; Concurrency; Operational semantics; Synchronization (alternating current); Component (thermodynamics); Formal semantics (linguistics); Formal specification; Action semantics; Denotational semantics; Communicating sequential processes; Variety (cybernetics); Transition system; Well-founded semantics; Theoretical computer science; Formal methods; Artificial intelligence; Mathematics","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001663233,0.00005596192,0.00006122143,0.0000480712,0.0001062164,0.00006575699,0.0003767446,0.00002760959,0.00001832736],"category_scores_gemma":[0.00004194825,0.00005070251,0.00003566732,0.0001698202,0.00001904129,0.0002799512,0.00002495695,0.00003244601,0.00005967122],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001768317,"about_ca_system_score_gemma":0.00001275832,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001391055,"about_ca_topic_score_gemma":7.43852e-7,"domain_scores_codex":[0.9994774,0.00001740569,0.000121933,0.0001497573,0.00009929638,0.0001342101],"domain_scores_gemma":[0.9993833,0.00008533209,0.00003671784,0.0003662619,0.00009232217,0.00003610407],"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.000001099872,0.00006334775,0.00001713204,0.00001352075,0.000002417639,1.077899e-7,0.0001337765,0.1017147,0.0004840698,0.8853849,0.004627991,0.007557016],"study_design_scores_gemma":[0.0001515665,0.00002638945,0.00001950764,0.000002361469,0.000002263816,5.700728e-7,0.000002748242,0.9834113,0.007388071,0.006809325,0.002113831,0.00007211374],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0002987065,0.000009374264,0.9901432,0.001388607,0.0001308283,0.0001727129,0.000002077709,0.0001705332,0.00768401],"genre_scores_gemma":[0.1406349,0.000001126303,0.8576893,0.0004963992,0.00001150954,0.00003160487,0.000001646729,0.000004175654,0.001129343],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8816966,"threshold_uncertainty_score":0.2067588,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.09530562017389484,"score_gpt":0.3107307447803508,"score_spread":0.215425124606456,"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."}}