{"id":"W4246206803","doi":"10.1007/978-3-642-21210-9_16","title":"Specifying Overlaps of Heterogeneous Models for Global Consistency Checking","year":2011,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":19,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Consistency (knowledge bases); Metamodeling; Sketch; Consistency model; Set (abstract data type); Semantics (computer science); Model checking; Theoretical computer science; Formal specification; Programming language; Artificial intelligence; Algorithm","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.00765525,0.001667789,0.002033229,0.001994181,0.00190584,0.003997718,0.003923416,0.002107288,0.005152686],"category_scores_gemma":[0.02800032,0.002723934,0.003195272,0.001801516,0.003531239,0.009540912,0.009664888,0.004329956,0.000736862],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001834366,"about_ca_system_score_gemma":0.002809923,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003295057,"about_ca_topic_score_gemma":0.00626426,"domain_scores_codex":[0.9873842,0.004098012,0.001188383,0.00144854,0.00451699,0.001363884],"domain_scores_gemma":[0.9732863,0.01638513,0.001546668,0.006335318,0.002011453,0.000435147],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.001166558,0.0003285318,0.009622726,0.00101773,0.0003735623,0.002467977,0.004861559,0.2210831,0.03337291,0.5932453,0.004710578,0.1277493],"study_design_scores_gemma":[0.0001551905,0.0001356793,0.0005785525,0.0002546782,0.0003055751,0.0004499313,0.0009269043,0.6500844,0.04299021,0.2913574,0.01266532,0.00009607348],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02514232,0.00008050035,0.969887,0.00008754004,0.00003428026,0.0001759477,0.00009329365,0.002239259,0.002259773],"genre_scores_gemma":[0.4267619,0.0001102503,0.5686005,0.0001008433,0.00003670236,0.0003675839,0.0005246954,0.001815364,0.001682148],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.00765525,"threshold_uncertainty_score":0.04048532,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04013181817282049,"score_gpt":0.2534036394125893,"score_spread":0.2132718212397688,"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."}}