{"id":"W2038221577","doi":"10.1007/s10270-006-0029-5","title":"TURTLE-P: a UML profile for the formal validation of critical and distributed systems","year":2006,"lang":"en","type":"article","venue":"Software & Systems Modeling","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":20,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Unified Modeling Language; Turtle (robot); Class diagram; UML tool; Applications of UML; Formal methods; Semantics (computer science); Formal semantics (linguistics); Programming language; Model checking; 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.008013988,0.002227375,0.0009172322,0.00382557,0.00119284,0.003872625,0.003848575,0.003427756,0.007272886],"category_scores_gemma":[0.03197954,0.002247517,0.002063642,0.001291153,0.001094959,0.005014494,0.002906633,0.004460941,0.006652419],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001500593,"about_ca_system_score_gemma":0.006815951,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006620873,"about_ca_topic_score_gemma":0.007496111,"domain_scores_codex":[0.9941704,0.002066386,0.0009767211,0.0003406259,0.002023357,0.0004225556],"domain_scores_gemma":[0.9817868,0.006902029,0.00169427,0.004818866,0.004124425,0.0006736629],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.001302492,0.0009735298,0.01273694,0.00435079,0.0003848819,0.002964187,0.005034081,0.1227792,0.07882368,0.1766158,0.188126,0.4059084],"study_design_scores_gemma":[0.0004362525,0.0003825958,0.003613506,0.002116684,0.0002374387,0.002828812,0.0004355236,0.3312139,0.0691937,0.07565133,0.5134727,0.0004176235],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.004579223,0.0002196582,0.916612,0.0005021857,0.0001080329,0.0007797147,0.00322528,0.06977684,0.004197107],"genre_scores_gemma":[0.1105532,0.001117788,0.8148402,0.001235877,0.000125495,0.002397778,0.02439686,0.03469224,0.01064055],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.008013988,"threshold_uncertainty_score":0.04238254,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04025402107179734,"score_gpt":0.2888660714640848,"score_spread":0.2486120503922875,"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."}}