{"id":"W2611416225","doi":"10.5555/2008503.2008525","title":"Specifying overlaps of heterogeneous models for global consistency checking","year":2010,"lang":"en","type":"article","venue":"Model Driven Engineering Languages and Systems","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Consistency (knowledge bases); Computer science; Metamodeling; Sketch; Consistency model; Set (abstract data type); Semantics (computer science); Theoretical computer science; Model checking; Formal specification; Partial evaluation; Programming language; Artificial intelligence; Distributed computing; Algorithm; Data consistency","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.009704974,0.001468505,0.00214948,0.001819752,0.00203534,0.003568281,0.003457809,0.002154386,0.00414572],"category_scores_gemma":[0.03721644,0.002261462,0.002715449,0.001317913,0.003968888,0.008653172,0.009497665,0.003626189,0.0005235908],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002065259,"about_ca_system_score_gemma":0.00351841,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003874353,"about_ca_topic_score_gemma":0.006935824,"domain_scores_codex":[0.9843508,0.005892357,0.001203031,0.001668893,0.00520044,0.001684464],"domain_scores_gemma":[0.9632688,0.02324053,0.002242353,0.008342241,0.002309052,0.0005971238],"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.001432982,0.0004301568,0.01482851,0.0007165886,0.0004240089,0.002595908,0.004770854,0.3992929,0.03572109,0.4722995,0.002576244,0.06491122],"study_design_scores_gemma":[0.0001428263,0.0001317897,0.0005201651,0.0001366758,0.0002188976,0.0002368095,0.0007885288,0.7945703,0.03637894,0.1617419,0.005066871,0.00006639249],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.05614955,0.00006167584,0.9394494,0.0001123263,0.00002987396,0.0002232751,0.00009883632,0.001750018,0.002124921],"genre_scores_gemma":[0.6424968,0.00006688813,0.3545385,0.00009019255,0.00002245893,0.0004186503,0.0003822118,0.001050876,0.0009334601],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.009704974,"threshold_uncertainty_score":0.05132544,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02855019008990831,"score_gpt":0.2842031484270314,"score_spread":0.2556529583371231,"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."}}