{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0004192452,0.00005553618,0.00007972456,0.00003196253,0.0000255149,0.00001204733,0.0001495363,0.00002871926,0.000001374903],"category_scores_gemma":[0.0003869718,0.00004772524,0.0000124473,0.0001247976,0.00003445927,0.0009571259,0.00007289163,0.00004352225,0.00000284234],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002149971,"about_ca_system_score_gemma":0.000006609241,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000002777314,"about_ca_topic_score_gemma":3.316882e-7,"domain_scores_codex":[0.9995322,0.00004128926,0.00009087037,0.0001105861,0.0000813119,0.0001437434],"domain_scores_gemma":[0.9992937,0.000297496,0.00005525996,0.0002842159,0.00003211727,0.00003716936],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"observational","study_design_scores_codex":[0.000009160726,0.0001111219,0.003741685,0.0001155736,0.000008596938,1.326486e-7,0.000985238,0.003166182,0.02773537,0.4895727,0.00002321953,0.474531],"study_design_scores_gemma":[0.0002382512,0.0001071318,0.8503583,0.00001790126,0.000009453011,0.00001510941,0.0000529893,0.02484623,0.101911,0.02156771,0.0005486162,0.0003273385],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1116223,0.00007238847,0.8876987,0.00004298497,0.0001382442,0.00009658415,3.220273e-7,0.0001503674,0.0001781144],"genre_scores_gemma":[0.6305796,0.000009695651,0.3693651,0.000002449315,0.00001538332,0.000008584642,3.401929e-7,0.000001967157,0.00001687961],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8466166,"threshold_uncertainty_score":0.1946179,"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."}}