{"id":"W942773761","doi":"10.1007/s10270-015-0484-y","title":"Language-specific model checking of UML-RT models","year":2015,"lang":"en","type":"article","venue":"Software & Systems Modeling","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"Queen's University","funders":"","keywords":"Computer science; Programming language; Unified Modeling Language; Promela; Model transformation; Model checking; Applications of UML; Modeling language; Code generation; Asynchronous communication; Object Constraint Language; Semantics (computer science); Software engineering; Software; Artificial intelligence; Consistency (knowledge bases); Key (lock)","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.003756074,0.0009778711,0.0009033396,0.001369962,0.000591989,0.001895925,0.002471273,0.00134848,0.005067241],"category_scores_gemma":[0.0165318,0.0009700463,0.00360748,0.0007177719,0.0009090382,0.003197219,0.001814823,0.00178875,0.000863081],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001413397,"about_ca_system_score_gemma":0.002909351,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004722913,"about_ca_topic_score_gemma":0.008738999,"domain_scores_codex":[0.9948741,0.002083574,0.0003228264,0.0004882189,0.001705184,0.0005261618],"domain_scores_gemma":[0.9898688,0.005353913,0.0007808301,0.002659639,0.001239787,0.00009704894],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0004025806,0.0001673872,0.003652669,0.0007903844,0.0002634505,0.0007764198,0.0006397826,0.7717024,0.03722048,0.1294605,0.002830201,0.05209381],"study_design_scores_gemma":[0.0000355818,0.00005273435,0.0002808683,0.00005738892,0.0001033043,0.00009989219,0.00005870533,0.9409042,0.03282535,0.02291638,0.002641693,0.00002392347],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.05271822,0.0001132488,0.9351956,0.0001626116,0.00005283234,0.0001504111,0.0005039872,0.007147633,0.003955415],"genre_scores_gemma":[0.7471392,0.0001626535,0.2454221,0.0002024437,0.00002707817,0.0002081561,0.001496163,0.00194943,0.003392681],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005067241,"threshold_uncertainty_score":0.01986426,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07351520780043946,"score_gpt":0.2615366513520842,"score_spread":0.1880214435516447,"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."}}