{"id":"W2081871567","doi":"10.1007/s10270-010-0187-3","title":"Synchronizing concurrent model updates based on bidirectional transformation","year":2011,"lang":"en","type":"article","venue":"Software & Systems Modeling","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":47,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Synchronizer; Computer science; Synchronizing; Correctness; Model transformation; Transformation (genetics); Synchronization (alternating current); Property (philosophy); Distributed computing; Concurrency; Theoretical computer science; Parallel computing; Algorithm; 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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0007227158,0.0002773441,0.0002907595,0.0002467275,0.0002022262,0.00009271796,0.0005728901,0.0001187367,0.000002726516],"category_scores_gemma":[0.000251618,0.000265412,0.0001079541,0.0002681058,0.00002369547,0.0008220676,0.00005952338,0.0002582716,0.00002116464],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002112181,"about_ca_system_score_gemma":0.000126247,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003615098,"about_ca_topic_score_gemma":0.000001012972,"domain_scores_codex":[0.9980924,0.0001236201,0.0004687097,0.0004826366,0.0004268411,0.0004058382],"domain_scores_gemma":[0.9988331,0.0002824719,0.0001129314,0.0005052963,0.0001626423,0.0001035394],"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.000005711955,0.0000245902,0.00002694171,0.00008009193,0.000009896992,0.000002333668,0.0007852832,0.9841113,0.00004611353,0.007223116,0.00001221323,0.007672412],"study_design_scores_gemma":[0.0002316422,0.00005128537,0.000004518359,0.0002093664,0.000007427122,0.000008511664,0.00004963924,0.9955994,0.0003479272,0.003158741,0.00003014255,0.0003013265],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002243896,0.0003882374,0.9932459,0.00002021238,0.001522448,0.0002820254,0.000009885073,0.002114836,0.0001725608],"genre_scores_gemma":[0.5761891,0.000007681035,0.423622,0.00003575217,0.00004405324,0.00006248616,0.0000070337,0.00002123547,0.00001069008],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.5739452,"threshold_uncertainty_score":0.9999798,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.110089037202466,"score_gpt":0.2761769539376186,"score_spread":0.1660879167351526,"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."}}