{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.009320548,0.001250397,0.0005273927,0.002007754,0.0008847868,0.002217541,0.001369344,0.001090633,0.002253077],"category_scores_gemma":[0.02184527,0.000869928,0.001421542,0.0007530496,0.002042515,0.002073106,0.001383698,0.001330841,0.0006785758],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001859699,"about_ca_system_score_gemma":0.004795347,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006426176,"about_ca_topic_score_gemma":0.005223616,"domain_scores_codex":[0.989539,0.004623436,0.0009038093,0.0009028729,0.003575459,0.0004554779],"domain_scores_gemma":[0.984529,0.008935026,0.001862051,0.002117143,0.002393083,0.000163863],"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.0005919149,0.0003190889,0.007023258,0.001278529,0.0001436771,0.001557841,0.002790472,0.2558668,0.06546874,0.5255309,0.003809913,0.1356188],"study_design_scores_gemma":[0.0002477135,0.0003517658,0.001731338,0.0005332121,0.0001656052,0.0007014637,0.0002757031,0.6949037,0.1205441,0.1189133,0.06147555,0.0001564438],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.012021,0.0001009248,0.9833195,0.0001045239,0.00005511126,0.0002145766,0.0002123842,0.002482529,0.001489446],"genre_scores_gemma":[0.311042,0.000481217,0.6823802,0.0001238651,0.00005469843,0.0008450512,0.001175419,0.0007547326,0.003142895],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.009320548,"threshold_uncertainty_score":0.04929233,"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."}}