{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00077232,0.0001298428,0.0001676556,0.000086671,0.0004590101,0.0001761539,0.0007011268,0.00006461641,7.14246e-7],"category_scores_gemma":[0.00001531493,0.000134826,0.00004782265,0.00006603066,0.00006050172,0.002511776,0.0002315668,0.0001182416,0.000001759253],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003961455,"about_ca_system_score_gemma":0.00006177523,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001519241,"about_ca_topic_score_gemma":0.000003279269,"domain_scores_codex":[0.9989601,0.00001604896,0.000323914,0.0002192255,0.0002275935,0.000253114],"domain_scores_gemma":[0.9988363,0.00004295693,0.0002655677,0.0006671444,0.0001311133,0.00005688109],"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.000003851417,0.00001817111,0.0001688889,0.00007566003,0.000003848041,2.003071e-7,0.0003693153,0.07174303,0.0001763424,0.763791,0.000001512061,0.1636482],"study_design_scores_gemma":[0.0002664362,0.00005350911,0.002855809,0.00003754059,0.000004513179,0.000004489763,0.000001162015,0.9716667,0.003464646,0.02127109,0.0002383335,0.0001357935],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02719727,0.000003573889,0.9698424,0.0001970123,0.0000609487,0.0002713052,0.000001477203,0.0003608256,0.002065223],"genre_scores_gemma":[0.5723182,6.175203e-7,0.4276294,0.00001669258,0.00001972958,0.000005966437,0.000003809507,0.000004631431,9.28448e-7],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8999236,"threshold_uncertainty_score":0.5498043,"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."}}