{"id":"W71210240","doi":"","title":"On the verification and validation of UML structural and behavioral diagrams","year":2006,"lang":"en","type":"article","venue":"","topic":"Business Process Modeling and Analysis","field":"Business, Management and Accounting","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Defence Research and Development Canada; Concordia University","funders":"","keywords":"Systems Modeling Language; Computer science; Unified Modeling Language; Activity diagram; UML tool; Software engineering; Applications of UML; Class diagram; Verification and validation; Formal methods; Software verification; Formal verification; Programming language; Systems engineering; Software; Software system; Software construction; Engineering","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.02236403,0.001203357,0.000783637,0.003055871,0.001366743,0.00316841,0.002142079,0.002290487,0.002069985],"category_scores_gemma":[0.0767196,0.0008075347,0.001639144,0.001679835,0.004560205,0.004808027,0.003164405,0.002125313,0.0008429061],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002251238,"about_ca_system_score_gemma":0.00491103,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006226489,"about_ca_topic_score_gemma":0.004388947,"domain_scores_codex":[0.9646533,0.01841858,0.001615847,0.001730122,0.01265223,0.0009299172],"domain_scores_gemma":[0.9118047,0.05922563,0.006022624,0.01287032,0.00962347,0.0004532478],"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.0002503733,0.0003504994,0.005120268,0.001040326,0.0001881176,0.00069852,0.001902441,0.237254,0.03070028,0.4630738,0.002090734,0.2573305],"study_design_scores_gemma":[0.0001049116,0.0004068357,0.001850297,0.0008983253,0.0001363253,0.0005202014,0.0003155574,0.7305009,0.04506601,0.1906309,0.02944671,0.00012302],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.009033626,0.0002214916,0.9876723,0.000245782,0.00003211257,0.0001250384,0.00006301023,0.000585785,0.002020869],"genre_scores_gemma":[0.2288597,0.001039314,0.7668335,0.00023447,0.00008672099,0.000481423,0.0004894811,0.0002998461,0.001675438],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.02236403,"threshold_uncertainty_score":0.1182737,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02146122176752187,"score_gpt":0.2369773601330459,"score_spread":0.215516138365524,"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."}}