{"id":"W1489045083","doi":"10.1007/978-3-540-87875-9_47","title":"Towards a Formal Account of a Foundational Subset for Executable UML Models","year":2008,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":20,"is_retracted":false,"has_abstract":false,"ca_institutions":"Queen's University","funders":"National Institute of Standards and Technology","keywords":"Computer science; Executable; Programming language; Unified Modeling Language; Applications of UML; UML tool; Semantics (computer science); Object Constraint Language; Software engineering; 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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0007463688,0.0005027887,0.0006299004,0.0008219971,0.0001871122,0.0001992876,0.003272817,0.0003372896,0.000006723327],"category_scores_gemma":[0.00002383718,0.0004921338,0.0002106646,0.0004373272,0.0004369,0.001623919,0.001189451,0.0004437111,0.000003058302],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000361028,"about_ca_system_score_gemma":0.001059165,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003702903,"about_ca_topic_score_gemma":0.00001668709,"domain_scores_codex":[0.9964007,0.00001168279,0.0006412628,0.001126594,0.001116434,0.0007033157],"domain_scores_gemma":[0.9974887,0.0002175416,0.0003258953,0.001244401,0.0005976566,0.0001257729],"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.00001112658,0.00003107646,0.000006642088,0.00009048685,0.00001559479,0.00001337741,0.000858725,0.3203495,0.0000382113,0.1965597,0.000126388,0.4818992],"study_design_scores_gemma":[0.0002034849,0.0001636602,0.00001259679,0.0002154542,0.000005266463,0.00005461305,2.293976e-8,0.8466834,0.001283667,0.145906,0.005028164,0.0004436474],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00003190557,0.0002340676,0.9972576,0.0001755749,0.0006871258,0.0007063217,0.00004409234,0.0003313006,0.0005320404],"genre_scores_gemma":[0.04148199,0.00006428599,0.9577616,0.0002835826,0.0001913536,0.00006225611,0.00001974934,0.00003973887,0.00009537346],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.5263339,"threshold_uncertainty_score":0.9997531,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02804236055138635,"score_gpt":0.2516558444544903,"score_spread":0.223613483903104,"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."}}