{"id":"W1991847832","doi":"10.1109/wi-iat.2010.135","title":"Towards Axiomatizing the Semantics of UML Activity Diagrams: A Situation-Calculus Perspective","year":2010,"lang":"en","type":"article","venue":"","topic":"Business Process Modeling and Analysis","field":"Business, Management and Accounting","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Unified Modeling Language; Petri net; Computer science; Programming language; Semantics (computer science); Activity diagram; Graph rewriting; Perspective (graphical); Applications of UML; Graph; Theoretical computer science; Artificial intelligence","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.000399774,0.0001508522,0.0002151286,0.0001374364,0.0002363336,0.0002044895,0.0002669199,0.00007236093,0.0003080916],"category_scores_gemma":[0.0003835861,0.00009692743,0.0001352478,0.0008457178,0.0001078748,0.0007159035,0.0001643759,0.0002003858,0.00007481617],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001297853,"about_ca_system_score_gemma":0.00002916227,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005991276,"about_ca_topic_score_gemma":0.001720329,"domain_scores_codex":[0.9990754,0.000006722893,0.0001945178,0.0002252302,0.0003129329,0.0001852445],"domain_scores_gemma":[0.9988493,0.00003840416,0.0002302423,0.0002968317,0.0005765731,0.000008687121],"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.00008455312,0.0008893246,0.02297044,0.0006293736,0.0005023829,0.000008848872,0.001791608,0.003231725,0.04073264,0.6527413,0.001773051,0.2746447],"study_design_scores_gemma":[0.0003816678,0.000004992575,0.01846382,0.00003566981,0.0003645727,0.000002215462,0.001643135,0.954677,0.002124313,0.02108179,0.0008626715,0.0003581941],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.8406468,0.00002320865,0.1224444,0.01030825,0.0002340027,0.0001426224,9.948236e-7,0.0001303742,0.0260693],"genre_scores_gemma":[0.9984768,0.000005017265,0.0004404139,0.0003750656,0.0005272875,0.0000113914,0.000002847315,0.00001699107,0.0001442092],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.9514452,"threshold_uncertainty_score":0.9057057,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01697116594050688,"score_gpt":0.2507422244067299,"score_spread":0.2337710584662231,"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."}}