{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004588204,0.001211349,0.0006810572,0.003186269,0.0016219,0.005375127,0.001996679,0.002568322,0.003906948],"category_scores_gemma":[0.008303739,0.0006646433,0.001738919,0.002094061,0.004412557,0.008421694,0.003748936,0.00280514,0.00119021],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001723928,"about_ca_system_score_gemma":0.002072194,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002476321,"about_ca_topic_score_gemma":0.001386968,"domain_scores_codex":[0.9925452,0.002652749,0.001272048,0.0007303574,0.002210188,0.0005894259],"domain_scores_gemma":[0.9955465,0.001640902,0.0005410186,0.0007729207,0.001289277,0.0002093046],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00001278969,0.00002060421,0.00009577433,0.00005713119,0.000008716264,0.0001591131,0.0004745082,0.004139057,0.000930013,0.9847504,0.001035866,0.008316033],"study_design_scores_gemma":[0.00002685813,0.00005951433,0.0001689529,0.0001021466,0.00003143749,0.0004941886,0.0004427961,0.04906668,0.003059941,0.8494878,0.09701742,0.00004224156],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.005481624,0.0003723801,0.9794762,0.0009494,0.0001745132,0.0002093053,0.0003421868,0.0007597785,0.01223461],"genre_scores_gemma":[0.3622649,0.001111834,0.6233847,0.0006960236,0.0005070118,0.001579193,0.001465321,0.0003543284,0.008636846],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005375127,"threshold_uncertainty_score":0.02426499,"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."}}