{"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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0006223758,0.0005749429,0.0007496771,0.0004424541,0.0001327383,0.0001668677,0.003458939,0.0003822629,0.00000544266],"category_scores_gemma":[0.00002300234,0.0005834665,0.0002753267,0.0003681145,0.000484865,0.0005437504,0.001322007,0.0003902425,0.000002492929],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0004094608,"about_ca_system_score_gemma":0.0004252879,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002476297,"about_ca_topic_score_gemma":0.0000202348,"domain_scores_codex":[0.9964398,0.00001719076,0.0007222263,0.001408585,0.0007416224,0.000670599],"domain_scores_gemma":[0.9972186,0.0001982661,0.0004188661,0.001615845,0.0003980629,0.0001503746],"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.000006124495,0.00002105494,0.00001871925,0.0001054806,0.0000176292,0.00002800446,0.0003293685,0.1145818,0.00005726361,0.4447069,0.000005975034,0.4401217],"study_design_scores_gemma":[0.0001381413,0.00014979,0.000008534262,0.0004496808,0.000008965174,0.0000756373,1.204589e-8,0.5510794,0.002504535,0.4442904,0.0008211906,0.0004737116],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0000293651,0.0006870312,0.995524,0.00004118504,0.001069958,0.0006319385,0.0000216588,0.000421282,0.001573516],"genre_scores_gemma":[0.1148345,0.00004281463,0.8847077,0.0001691507,0.0001465193,0.00002013383,0.000002940887,0.00003707867,0.00003910622],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.4396479,"threshold_uncertainty_score":0.9996617,"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."}}