{"id":"W4253603427","doi":"10.1145/605466.605489","title":"Composable semantics for model-based notations","year":2002,"lang":"en","type":"article","venue":"ACM SIGSOFT Software Engineering Notes","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"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 specification; Communicating sequential processes; Formal semantics (linguistics); Variety (cybernetics); Theoretical computer science; Action semantics; Denotational semantics; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01037643,0.002094268,0.001240476,0.002758779,0.0022321,0.007559115,0.003546997,0.002225553,0.004369987],"category_scores_gemma":[0.01034114,0.001299459,0.003315253,0.002321596,0.005818048,0.01078639,0.005510186,0.004820444,0.001655974],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002887642,"about_ca_system_score_gemma":0.003156061,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002644617,"about_ca_topic_score_gemma":0.002210455,"domain_scores_codex":[0.9900616,0.003698852,0.001653185,0.001112233,0.002889717,0.0005844074],"domain_scores_gemma":[0.9944643,0.002389754,0.0005507937,0.001424911,0.0008687017,0.0003014433],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000006208944,0.00001026221,0.00003555309,0.00004894334,0.000009212315,0.00005913927,0.0003662247,0.002470795,0.0004116774,0.9907236,0.0005187031,0.005339707],"study_design_scores_gemma":[0.00002414832,0.0000299072,0.00002970606,0.00009266324,0.00003066297,0.0001236353,0.0001182257,0.01908112,0.001842605,0.9147233,0.06387865,0.0000253686],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0008557646,0.0001935211,0.9940175,0.0002979995,0.00008507739,0.00009232184,0.00007342822,0.0006420276,0.003742386],"genre_scores_gemma":[0.06061278,0.0006900419,0.9323717,0.0003882603,0.0002518015,0.0009431048,0.0004474865,0.0005010781,0.003793743],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01037643,"threshold_uncertainty_score":0.05487651,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05376458544241221,"score_gpt":0.27176333453162,"score_spread":0.2179987490892078,"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."}}