{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00026853,0.0001178662,0.0002043984,0.00004583547,0.00004528087,0.00007278292,0.0002874209,0.00007913366,2.300839e-7],"category_scores_gemma":[0.00004307791,0.0001135707,0.00005557868,0.00008210333,0.00001897731,0.0002270794,0.00007700249,0.00008120417,2.39011e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002247453,"about_ca_system_score_gemma":0.00001832405,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002602579,"about_ca_topic_score_gemma":0.00000294942,"domain_scores_codex":[0.9991913,0.00001230101,0.0002458076,0.0002235313,0.0001354922,0.0001915217],"domain_scores_gemma":[0.9993961,0.00003876657,0.00008882648,0.0003483535,0.00006750158,0.00006039433],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000001558316,0.000006294225,0.00004217341,0.0001476515,0.00001124867,0.000001402729,0.0003341592,0.6944897,0.01379554,0.2899116,0.000002528764,0.001256171],"study_design_scores_gemma":[0.0001354469,0.00002123131,0.00006442149,0.00004481678,0.000005755637,0.00004243606,0.00002904625,0.9979652,0.001074504,0.0004500192,0.00004556173,0.0001215396],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1061709,0.0004458886,0.8923883,0.000006915562,0.0003927159,0.0002032234,0.00001202529,0.0000910959,0.0002889308],"genre_scores_gemma":[0.6686442,0.000006550458,0.3312597,0.000003818765,0.00004181577,0.00002063394,0.000001373679,0.000007475227,0.00001440849],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.5624733,"threshold_uncertainty_score":0.463128,"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."}}