{"id":"W2025290054","doi":"10.1007/s10009-014-0305-6","title":"Quantitative and qualitative analysis of SysML activity diagrams","year":2014,"lang":"en","type":"article","venue":"International Journal on Software Tools for Technology Transfer","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Systems Modeling Language; Correctness; Soundness; Model checking; Probabilistic logic; Theoretical computer science; Activity diagram; Programming language; Probabilistic CTL; Modeling language; Software engineering; Unified Modeling Language; Software; Artificial intelligence; Probabilistic analysis of algorithms","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.000980351,0.0001765889,0.0004452131,0.001128884,0.00007617877,0.0000864215,0.0009059393,0.0001573224,0.000003164071],"category_scores_gemma":[0.004924957,0.0001539605,0.0002098183,0.0006634849,0.0001983482,0.0006117897,0.00006588191,0.0003355459,0.000001277357],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006890938,"about_ca_system_score_gemma":0.00002706904,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001818326,"about_ca_topic_score_gemma":0.000004510625,"domain_scores_codex":[0.9986402,0.0001667133,0.0003423582,0.0003158459,0.0003251725,0.000209701],"domain_scores_gemma":[0.9941399,0.004922965,0.0001228661,0.0002480198,0.000514299,0.00005202712],"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.0002341824,0.0001367325,0.000653036,0.00001913707,0.002513916,0.00001097573,0.002197103,0.01728939,0.00261349,0.5901374,0.00001646366,0.3841782],"study_design_scores_gemma":[0.004924896,0.006364808,0.02087629,0.0003625598,0.0010118,0.0002004765,0.001514063,0.04228272,0.08203617,0.8354129,0.003369809,0.00164347],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1988,0.00006230977,0.7993777,0.001035426,0.0003505567,0.00009708551,0.00003838753,0.0002312994,0.000007132557],"genre_scores_gemma":[0.5608613,0.00004259421,0.4389741,0.00006467762,0.00001492851,0.00002206402,0.000002823984,0.000008638995,0.000008754068],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.3825347,"threshold_uncertainty_score":0.6278327,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06253671070161998,"score_gpt":0.3890180161623299,"score_spread":0.3264813054607099,"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."}}