{"id":"W2004901564","doi":"10.1145/1243987.1243989","title":"Metamodel-based model conformance and multiview consistency checking","year":2007,"lang":"en","type":"article","venue":"ACM Transactions on Software Engineering and Methodology","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":125,"is_retracted":false,"has_abstract":true,"ca_institutions":"York University","funders":"Engineering and Physical Sciences Research Council; European Commission","keywords":"Metamodeling; Computer science; Sequence diagram; Unified Modeling Language; Conformance checking; Consistency (knowledge bases); Model checking; Programming language; Software engineering; Completeness (order theory); Applications of UML; Consistency model; Automation; Artificial intelligence; Work in process","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.001448817,0.0003011386,0.0004129093,0.0003874125,0.0001420773,0.00004150042,0.0004165461,0.0002056789,0.00000198819],"category_scores_gemma":[0.0001797477,0.0003092532,0.00008417384,0.0002769881,0.00007969484,0.0002722557,0.00003418386,0.0004210233,0.000001372054],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004513153,"about_ca_system_score_gemma":0.00004813277,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001409625,"about_ca_topic_score_gemma":0.00000550807,"domain_scores_codex":[0.9985057,0.0000540381,0.0003482868,0.0004995831,0.0001575524,0.0004347986],"domain_scores_gemma":[0.9976428,0.001310099,0.00006451225,0.000717151,0.00008151343,0.0001838803],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002268801,0.00005042749,0.00008440055,0.0002093739,0.00007271407,0.00001675369,0.0005900059,0.4659212,0.001399044,0.02884375,0.000006154942,0.5027835],"study_design_scores_gemma":[0.0004795662,0.0001215024,0.0004974058,0.0001119649,0.0000439451,0.0000916887,0.000004378011,0.9830167,0.01136873,0.0008819506,0.002916946,0.0004652528],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.004352822,0.000655755,0.992981,0.0001007616,0.0002390687,0.0001939371,0.000006443269,0.001464003,0.000006213648],"genre_scores_gemma":[0.1317477,0.0001419135,0.8678059,0.0001969891,0.00001295744,0.00004132759,0.00000141556,0.00002913685,0.0000226324],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.5170954,"threshold_uncertainty_score":0.999936,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.09095907436759029,"score_gpt":0.3168883024432135,"score_spread":0.2259292280756232,"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."}}