{"id":"W2028905856","doi":"10.1016/j.entcs.2009.09.064","title":"Formal Verification and Validation of UML 2.0 Sequence Diagrams using Source and Destination of Messages","year":2009,"lang":"en","type":"article","venue":"Electronic Notes in Theoretical Computer Science","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":64,"is_retracted":false,"has_abstract":true,"ca_institutions":"Ericsson (Canada); Concordia University","funders":"","keywords":"Promela; Sequence diagram; Computer science; Programming language; Unified Modeling Language; Model checking; Applications of UML; UML tool; Software; Theoretical computer science; Software 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002890291,0.0001136966,0.000171379,0.0002312776,0.0001186588,0.0000888816,0.0006531054,0.00005350238,9.124812e-7],"category_scores_gemma":[0.0004437282,0.0001074691,0.00001811101,0.0009761789,0.001199032,0.001281219,0.0001936871,0.0001448809,1.918284e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00009149486,"about_ca_system_score_gemma":0.0001163069,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00000673566,"about_ca_topic_score_gemma":4.388912e-7,"domain_scores_codex":[0.9983157,0.0001537528,0.0003577427,0.0004025274,0.0004011408,0.0003691262],"domain_scores_gemma":[0.9989776,0.0002448425,0.0002019192,0.0003610644,0.0001567256,0.00005783379],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000006822012,0.00002535504,0.0005001831,0.00001107203,7.799247e-7,1.56957e-7,0.0003390327,0.0009972261,0.03000008,0.7377539,2.419264e-8,0.2303653],"study_design_scores_gemma":[0.0001192471,0.0002714916,0.008394551,0.00003610316,0.000003031336,0.00001920032,0.000002801658,0.6722065,0.2033984,0.1154639,6.853033e-7,0.00008396263],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.4355108,0.00005798932,0.5641756,0.0000913734,0.00002847717,0.00009657052,1.866999e-7,0.00001676933,0.00002220698],"genre_scores_gemma":[0.6519042,0.00001955712,0.3480419,0.00002108381,0.000009031535,0.000001523541,4.388694e-7,0.000002086245,1.402418e-7],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.6712093,"threshold_uncertainty_score":0.4417882,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02005992062363393,"score_gpt":0.303808427045778,"score_spread":0.2837485064221441,"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."}}