{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0009694573,0.0004987138,0.0004590875,0.0005498739,0.0002661606,0.0006394202,0.001894926,0.00031522,0.000007513012],"category_scores_gemma":[0.0007507007,0.0004756916,0.0001345199,0.000279154,0.000369823,0.001237135,0.0007552967,0.0006394112,0.00001461762],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002887055,"about_ca_system_score_gemma":0.0003702925,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000007268523,"about_ca_topic_score_gemma":0.00004099881,"domain_scores_codex":[0.9970375,0.00001944943,0.0004856683,0.001281031,0.000569235,0.0006070818],"domain_scores_gemma":[0.9949037,0.003281042,0.0001906818,0.001161373,0.0003273155,0.0001358252],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000002767462,0.00001074311,0.00000372617,0.00003196622,0.000007507039,0.00042015,0.0001600806,0.5892819,0.00004972832,0.01793776,0.00002843017,0.3920652],"study_design_scores_gemma":[0.0004684482,0.0001686638,0.00006646993,0.0003280096,0.00001334942,0.002228281,1.789904e-7,0.7158554,0.001626174,0.2667023,0.01110066,0.001442054],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00003424049,0.0002885716,0.9963303,0.0005007173,0.001912444,0.0004698349,0.00003029929,0.0003415874,0.00009200731],"genre_scores_gemma":[0.005831044,0.00003120624,0.9924655,0.0007048938,0.0006267816,0.00001705845,0.00000981694,0.00004009699,0.0002736184],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.3906232,"threshold_uncertainty_score":0.9997694,"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."}}