{"id":"W2053488873","doi":"10.1109/tase.2012.34","title":"Formal Specification and Probabilistic Verification of SysML Activity Diagrams","year":2012,"lang":"en","type":"article","venue":"","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Systems Modeling Language; Computer science; Activity diagram; Probabilistic logic; Model checking; Programming language; Usability; Probabilistic CTL; Theoretical computer science; Modeling language; Set (abstract data type); Formal verification; Software engineering; Unified Modeling Language; Software; Artificial intelligence; Probabilistic analysis of algorithms; Human–computer interaction","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.007084682,0.0008841939,0.000531555,0.001451772,0.0007159157,0.002556096,0.00225625,0.001352091,0.002972058],"category_scores_gemma":[0.03014043,0.0008830332,0.001961684,0.001118755,0.002461384,0.002457035,0.001946383,0.001956659,0.0007417851],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001607678,"about_ca_system_score_gemma":0.005141915,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005265418,"about_ca_topic_score_gemma":0.004793367,"domain_scores_codex":[0.9893383,0.003725054,0.001096352,0.0009949442,0.004333227,0.0005122205],"domain_scores_gemma":[0.9781176,0.01438361,0.002283356,0.00233742,0.002650451,0.0002274968],"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.0001541783,0.000141328,0.002115899,0.0005751833,0.00007460817,0.0008351728,0.0008558786,0.3357672,0.01685176,0.5706612,0.002079019,0.06988864],"study_design_scores_gemma":[0.0001136006,0.00008234623,0.0003551225,0.000144771,0.00004530959,0.0002659025,0.00006978217,0.8355244,0.01748041,0.13065,0.01522579,0.00004249242],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002779642,0.0000359488,0.9951186,0.00008200209,0.00001398055,0.00009139788,0.000148104,0.001045335,0.000685057],"genre_scores_gemma":[0.1821954,0.0003017664,0.8141951,0.0001235235,0.00004272597,0.0007336827,0.0009164954,0.0003014341,0.001189876],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007084682,"threshold_uncertainty_score":0.03746784,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0502418103648826,"score_gpt":0.2815332048384955,"score_spread":0.2312913944736129,"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."}}