{"id":"W1684877896","doi":"10.1007/978-3-642-33826-7_18","title":"Efficient Probabilistic Abstraction for SysML Activity Diagrams","year":2012,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":18,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"Soundness; Systems Modeling Language; Computer science; Probabilistic logic; Activity diagram; Theoretical computer science; Probabilistic CTL; Model checking; Semantics (computer science); Abstraction; Property (philosophy); Computation tree logic; Relation (database); Programming language; Unified Modeling Language; Probabilistic analysis of algorithms; Data mining; Artificial intelligence; Software","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.002541628,0.001215524,0.001342469,0.001906272,0.000680591,0.002608068,0.00234705,0.0008822616,0.007216371],"category_scores_gemma":[0.01060681,0.001448604,0.002693348,0.002022838,0.0009963443,0.004414669,0.004287872,0.002709669,0.002143197],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001339633,"about_ca_system_score_gemma":0.002095302,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003189352,"about_ca_topic_score_gemma":0.007245014,"domain_scores_codex":[0.9956939,0.0009675794,0.0003344761,0.0004748738,0.002187718,0.0003413718],"domain_scores_gemma":[0.9929074,0.003669513,0.0004535433,0.001980398,0.0008259039,0.0001631678],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000371943,0.0001412034,0.001529176,0.0007085025,0.0001200695,0.0002509244,0.000629938,0.2023733,0.01296621,0.2211719,0.007463411,0.5522733],"study_design_scores_gemma":[0.00004171049,0.00004272654,0.0003684349,0.00006736846,0.00006430637,0.0001531514,0.00005592258,0.7792821,0.008132034,0.197905,0.0138497,0.00003754278],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001872104,0.00005898027,0.9953781,0.0000264494,0.00001040218,0.00003608343,0.0001221673,0.00204068,0.0004549532],"genre_scores_gemma":[0.1527668,0.0003533571,0.8396179,0.0000615823,0.00004788772,0.0002409893,0.001588841,0.001151832,0.004170926],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007216371,"threshold_uncertainty_score":0.02414113,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0424621177752026,"score_gpt":0.2900711261308994,"score_spread":0.2476090083556968,"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."}}