{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaresearch"],"consensus_categories":[],"category_scores_codex":[0.0002282915,0.000194826,0.0001796203,0.0001378762,0.0001464431,0.0001154087,0.001042641,0.00009065346,0.000009544057],"category_scores_gemma":[0.03948042,0.0002082439,0.00009310372,0.0003243935,0.00002241213,0.0004404558,0.0001167219,0.0001301376,0.00004286203],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005331983,"about_ca_system_score_gemma":0.00002409286,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002225536,"about_ca_topic_score_gemma":2.52569e-7,"domain_scores_codex":[0.9988596,0.00001535825,0.0002535041,0.0003247865,0.0002015326,0.0003451992],"domain_scores_gemma":[0.9843606,0.01433364,0.00007401564,0.0009861668,0.0001530941,0.00009242751],"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.000003541777,0.0001004011,0.003722511,0.0002044561,0.00001954464,0.000001756302,0.0004491413,0.9515069,0.001746463,0.02954659,0.0009811758,0.01171759],"study_design_scores_gemma":[0.0002342728,0.00004510648,0.00113996,0.00003347385,0.00001037396,0.000002811835,0.00000102243,0.9873087,0.009435754,0.0002977095,0.001232586,0.0002582508],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.005632393,0.0001198412,0.9921377,0.0004681511,0.0003666389,0.0002601646,0.00001799778,0.0009932104,0.000003909374],"genre_scores_gemma":[0.3938719,0.000002940933,0.6058484,0.0001139569,0.0000343848,0.00006908379,0.000009121812,0.00002139184,0.00002884054],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.3882395,"threshold_uncertainty_score":0.9686105,"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."}}