{"id":"W1581327827","doi":"10.1007/11562436_27","title":"Abstract Operational Semantics for Use Case Maps","year":2005,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":17,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Operational semantics; Semantics (computer science); Programming language","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.00263769,0.001791735,0.0009372543,0.004341759,0.001921363,0.00875196,0.002700551,0.002440535,0.01082764],"category_scores_gemma":[0.005111032,0.001250593,0.001843181,0.00475429,0.004999795,0.01495103,0.004558846,0.004042412,0.002289053],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001952511,"about_ca_system_score_gemma":0.001498305,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002682551,"about_ca_topic_score_gemma":0.001732422,"domain_scores_codex":[0.9954306,0.001198184,0.0006664575,0.0007883249,0.001370419,0.0005460244],"domain_scores_gemma":[0.9969841,0.0009986567,0.0002307479,0.0006655474,0.0009721076,0.0001488031],"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.0000181552,0.00002059688,0.0001127309,0.00009203296,0.00001249609,0.0001329287,0.0005270367,0.001183343,0.0007983085,0.9816275,0.002007371,0.0134675],"study_design_scores_gemma":[0.00001678917,0.00001519277,0.0001235169,0.00009835592,0.00003404316,0.0002724148,0.0003310494,0.01092233,0.00169185,0.9391985,0.04726953,0.00002641444],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.007179505,0.0008229734,0.9543424,0.001011128,0.0002715745,0.000212766,0.0009062905,0.002051109,0.03320219],"genre_scores_gemma":[0.4469565,0.001953048,0.5203827,0.000637091,0.0006196365,0.00101239,0.003296636,0.001135838,0.02400617],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01082764,"threshold_uncertainty_score":0.03622204,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05901399295091442,"score_gpt":0.3033734993339051,"score_spread":0.2443595063829907,"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."}}