{"id":"W2768544685","doi":"10.1007/s00165-017-0441-3","title":"Variability-based model transformation: formal foundation and application","year":2017,"lang":"en","type":"article","venue":"Formal Aspects of Computing","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":30,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto; University of British Columbia","funders":"Horizon 2020","keywords":"Correctness; Computer science; Theory of computation; Transformation (genetics); Theoretical computer science; Representation (politics); Set (abstract data type); Key (lock); Component (thermodynamics); ENCODE; Model transformation; Programming language; Artificial intelligence","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.003642238,0.0004045881,0.0004171714,0.001279132,0.0006452562,0.002303942,0.001670684,0.001047537,0.00253373],"category_scores_gemma":[0.00953244,0.0004865338,0.001254615,0.001686581,0.004278257,0.002242199,0.002523089,0.002781878,0.000530354],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00117271,"about_ca_system_score_gemma":0.001315668,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001578387,"about_ca_topic_score_gemma":0.001060184,"domain_scores_codex":[0.9974491,0.0007463814,0.0002482902,0.0003541118,0.001067672,0.0001344354],"domain_scores_gemma":[0.9927096,0.004323787,0.0005198926,0.001406974,0.0009189374,0.0001208393],"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.00002294396,0.00006645366,0.0004266741,0.00009274272,0.00001988214,0.0002176323,0.000292367,0.08317798,0.004477166,0.8682547,0.000913395,0.04203805],"study_design_scores_gemma":[0.00002229241,0.00003319546,0.0001350252,0.00008223426,0.00001773715,0.0001937289,0.00005089827,0.48691,0.006390653,0.4924441,0.01369163,0.00002847694],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002648606,0.00006199529,0.9956329,0.0001466524,0.00001644366,0.00003521138,0.00001776991,0.0002867136,0.00115365],"genre_scores_gemma":[0.200182,0.0003280329,0.7975861,0.0001134159,0.00006853951,0.0001958325,0.0001318799,0.0002130552,0.001181119],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003642238,"threshold_uncertainty_score":0.01926219,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01139490546169341,"score_gpt":0.2523440443564946,"score_spread":0.2409491388948012,"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."}}