{"id":"W2158277315","doi":"10.1109/re.2005.10","title":"An ASM operational semantics for use case maps","year":2005,"lang":"en","type":"article","venue":"","topic":"Business Process Modeling and Analysis","field":"Business, Management and Accounting","cited_by":14,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Operational semantics; Semantics (computer science); Programming language; Notation; Formal semantics (linguistics); Formal specification; Process (computing); Formal methods; Software engineering","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.0001802649,0.0001235103,0.0001286021,0.0001537178,0.0002923871,0.0007583934,0.0001108545,0.00005132125,0.0002114464],"category_scores_gemma":[0.00004677544,0.0001044723,0.00006705337,0.0002320346,0.00001722339,0.002801713,0.00003052735,0.00004646548,0.0001086776],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000009456254,"about_ca_system_score_gemma":0.00001497452,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005263868,"about_ca_topic_score_gemma":0.0005382672,"domain_scores_codex":[0.9992485,0.000002305695,0.0001990359,0.0002379977,0.0001302354,0.0001819015],"domain_scores_gemma":[0.9993057,0.00002060417,0.00006240605,0.0001776387,0.0004216227,0.00001206419],"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.0001689246,0.001749333,0.01899558,0.0008292915,0.0003338158,0.0002708901,0.0001853974,0.2928448,0.00181509,0.4026183,0.06964531,0.2105433],"study_design_scores_gemma":[0.0003357272,0.000002902292,0.00005167487,0.000007672363,0.0000929813,0.00002226509,0.00008800715,0.9137532,0.00005229586,0.0008582737,0.08453725,0.0001977789],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.578344,0.00006237022,0.409228,0.008947317,0.0002041804,0.0002878743,0.00001846105,0.0004258053,0.002481967],"genre_scores_gemma":[0.9733518,0.000003473888,0.01923812,0.003925601,0.001968408,0.0000197723,0.0001693366,0.00002292436,0.001300554],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.6209084,"threshold_uncertainty_score":0.7313205,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04057876652869477,"score_gpt":0.2682693896745447,"score_spread":0.2276906231458499,"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."}}