{"id":"W2003127245","doi":"10.1007/s00165-010-0158-z","title":"Partial order semantics for use case and task models","year":2010,"lang":"en","type":"article","venue":"Formal Aspects of Computing","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Notation; Semantics (computer science); Task (project management); Semantic data model; Programming language; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.007296658,0.001122291,0.0006540692,0.003204915,0.00194182,0.004182037,0.002136514,0.001986407,0.003525467],"category_scores_gemma":[0.008829835,0.0009377112,0.002756465,0.002640825,0.004650726,0.009675004,0.003648296,0.003232743,0.0008668313],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002804267,"about_ca_system_score_gemma":0.002412664,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00634256,"about_ca_topic_score_gemma":0.006567973,"domain_scores_codex":[0.9911098,0.003335299,0.001316356,0.0008860736,0.002750534,0.0006019648],"domain_scores_gemma":[0.9911711,0.004051315,0.0007352527,0.001799321,0.001865316,0.0003776673],"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.000012839,0.00002033851,0.0001005676,0.00005076194,0.000008506375,0.000125231,0.0005097477,0.006148235,0.0005230485,0.9872487,0.0005371077,0.004714922],"study_design_scores_gemma":[0.00003787264,0.00004870917,0.0001258573,0.000083454,0.00003239434,0.000235132,0.0003477955,0.07192441,0.002658025,0.8869844,0.0374859,0.00003599201],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.008113919,0.000137766,0.9818228,0.0004841544,0.00005935257,0.000204644,0.0002798081,0.0005476454,0.008349803],"genre_scores_gemma":[0.3241233,0.0005173339,0.6656604,0.000326494,0.0001598613,0.001130254,0.001504306,0.0003480208,0.006230064],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007296658,"threshold_uncertainty_score":0.03858882,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03965073029926559,"score_gpt":0.2887629582571282,"score_spread":0.2491122279578626,"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."}}