{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0280602,0.001219016,0.001694772,0.00384413,0.001728259,0.005309751,0.005308603,0.002472455,0.001526527],"category_scores_gemma":[0.08089359,0.002130026,0.004785974,0.002887065,0.003596464,0.008754479,0.008420359,0.003616448,0.0003461927],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002864472,"about_ca_system_score_gemma":0.004480449,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004657691,"about_ca_topic_score_gemma":0.003280169,"domain_scores_codex":[0.9595499,0.02012159,0.003223518,0.004244747,0.01127597,0.001584275],"domain_scores_gemma":[0.9335992,0.04130082,0.005387134,0.01392722,0.005247855,0.0005378289],"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.0005809486,0.0003141158,0.008607228,0.0006726119,0.0006238769,0.001277992,0.003317067,0.3305685,0.02220726,0.4603484,0.002329932,0.169152],"study_design_scores_gemma":[0.0001315737,0.0001547785,0.0007708615,0.0001813182,0.000287756,0.0002661885,0.0003234738,0.7287254,0.03838828,0.2219102,0.008757514,0.0001026445],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01459626,0.00007372662,0.9830992,0.0001456294,0.00001252597,0.0001319635,0.0000609394,0.001123092,0.0007567385],"genre_scores_gemma":[0.2253873,0.0001692678,0.7725264,0.0001281532,0.00002497671,0.0003943442,0.000511307,0.0003851296,0.0004730999],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.0280602,"threshold_uncertainty_score":0.1483983,"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."}}