{"id":"W2099698375","doi":"10.1109/re.2007.18","title":"Consistency Checking of Conceptual Models via Model Merging","year":2007,"lang":"en","type":"article","venue":"","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":86,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Consistency (knowledge bases); Consistency model; Computer science; Merge (version control); Weak consistency; Causal consistency; Model checking; Set (abstract data type); Sequential consistency; Traceability; Data mining; Theoretical computer science; Conceptual model; Strong consistency; Data consistency; Programming language; Artificial intelligence; Mathematics; Information retrieval; Distributed computing; 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005264697,0.0001476289,0.0002238958,0.0001559443,0.00004441595,0.00001660806,0.0006203264,0.0000810313,0.000004680144],"category_scores_gemma":[0.000005450124,0.0001454842,0.00008195847,0.0002485073,0.0001112186,0.0005185001,0.0002581169,0.0001248671,0.000002423565],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004559648,"about_ca_system_score_gemma":0.0000498811,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003919546,"about_ca_topic_score_gemma":0.000003878547,"domain_scores_codex":[0.9986812,0.00001135225,0.0003884592,0.0002984022,0.0003059845,0.0003145411],"domain_scores_gemma":[0.9990516,0.00005730609,0.00009423959,0.0005652423,0.0001431002,0.00008845919],"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.000001405802,0.00001811491,0.00002719237,0.000008798754,0.00000829856,0.000004017973,0.001062563,0.144616,0.003886609,0.8283052,0.00005404414,0.02200773],"study_design_scores_gemma":[0.00009629936,0.00002100086,0.00001391535,0.00002403133,0.000003141946,0.0000078119,0.000009818063,0.9519798,0.03020173,0.01729339,0.0001845755,0.0001645114],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.004275451,0.00006618631,0.9883654,0.00003496066,0.00007550572,0.0001128585,7.592608e-7,0.0009581874,0.00611076],"genre_scores_gemma":[0.4983834,0.00000368768,0.5014865,0.00004960198,0.000007550704,0.000002656872,3.445012e-7,0.000007499109,0.00005875212],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8110119,"threshold_uncertainty_score":0.5932676,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03072569121824336,"score_gpt":0.2528344444266515,"score_spread":0.2221087532084082,"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."}}