{"id":"W1973097078","doi":"10.1016/s1389-1286(03)00247-0","title":"The formal semantics of SDL-2000: Status and perspectives","year":2003,"lang":"en","type":"article","venue":"Computer Networks","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":62,"is_retracted":false,"has_abstract":false,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Computer science; Programming language; Compiler; Formal semantics (linguistics); Operational semantics; Semantics (computer science); Abstract machine; Unified Modeling Language; Formalism (music); Action semantics; Abstract state machines; Denotational semantics; Finite-state machine; 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006019835,0.0001009413,0.0001164293,0.00002834944,0.0001997783,0.0001198129,0.0003986146,0.0000527113,0.000002196939],"category_scores_gemma":[0.00003289839,0.00007515479,0.00003558492,0.0002482231,0.0001453461,0.0003578704,0.0002449551,0.0001429943,0.00000187779],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002953396,"about_ca_system_score_gemma":0.00003446181,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000004295122,"about_ca_topic_score_gemma":0.000002353024,"domain_scores_codex":[0.9989675,0.0001624311,0.0001991457,0.0002092652,0.0001371144,0.0003245631],"domain_scores_gemma":[0.9990913,0.0001796776,0.0001114467,0.0004755252,0.00007867181,0.00006339324],"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.000005474697,0.00002666399,0.001901635,0.00000706838,0.00001923907,0.000001071948,0.002192543,0.008449438,0.000004159585,0.7606433,0.0005218411,0.2262275],"study_design_scores_gemma":[0.0001783265,0.00009378573,0.01369415,0.00001143398,0.00000456615,0.00001700508,0.00006331578,0.9737156,0.00008578575,0.003588252,0.008431747,0.0001160322],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.008491972,0.001579454,0.9882357,0.0000812654,0.0006156111,0.0001131504,2.118435e-7,0.00004627707,0.0008363262],"genre_scores_gemma":[0.4544074,0.0002966947,0.5451287,0.00005049043,0.00007256376,0.000003508923,2.43662e-7,0.000005682782,0.00003478604],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9652662,"threshold_uncertainty_score":0.3064724,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01983101959432985,"score_gpt":0.2525929267094473,"score_spread":0.2327619071151175,"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."}}