{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01805738,0.001302944,0.001824969,0.003159142,0.001299129,0.003842953,0.004879058,0.002392221,0.003621023],"category_scores_gemma":[0.05480262,0.001437358,0.003983906,0.002191675,0.004581789,0.007047303,0.005775437,0.004008159,0.0007465453],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002743607,"about_ca_system_score_gemma":0.003808015,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003497467,"about_ca_topic_score_gemma":0.003457752,"domain_scores_codex":[0.9777223,0.009087015,0.001565496,0.002892176,0.007698885,0.001034103],"domain_scores_gemma":[0.9628246,0.01873697,0.002923464,0.01084397,0.004294383,0.000376439],"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.0003748919,0.0001871424,0.003555436,0.0006905149,0.0003670196,0.0005594302,0.00116837,0.299494,0.0106251,0.5075572,0.003644719,0.1717763],"study_design_scores_gemma":[0.0001143146,0.0001171144,0.0004273902,0.0002671047,0.0001683743,0.0003438112,0.0001624443,0.6257663,0.01837586,0.3423195,0.01184602,0.00009167945],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002915862,0.00009752381,0.9950937,0.0001482117,0.00002335292,0.00005216371,0.00003604595,0.000730185,0.0009029458],"genre_scores_gemma":[0.141911,0.0003083622,0.8551917,0.0002328539,0.00006217339,0.0003280613,0.0003251077,0.0004887928,0.001151969],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01805738,"threshold_uncertainty_score":0.09549767,"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."}}