{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002717203,0.0006095213,0.0007919152,0.0009639426,0.0007359729,0.001928208,0.001576009,0.0007270118,0.004836758],"category_scores_gemma":[0.01129283,0.0007081237,0.0006511711,0.001126214,0.001094737,0.003118901,0.004756994,0.00158927,0.0009789556],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005497391,"about_ca_system_score_gemma":0.00161409,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003550069,"about_ca_topic_score_gemma":0.004336751,"domain_scores_codex":[0.9972656,0.0009372208,0.0001670701,0.0003199422,0.001016402,0.0002937596],"domain_scores_gemma":[0.9938655,0.002233149,0.0002952814,0.002693517,0.0007645893,0.0001479776],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00232651,0.0005124621,0.003730732,0.0004408175,0.0001729539,0.0008995979,0.002174949,0.186002,0.06339403,0.2255179,0.006467646,0.5083604],"study_design_scores_gemma":[0.0001707837,0.0001307791,0.0003728153,0.00003712066,0.0001109267,0.0001511098,0.0002057398,0.845468,0.05578102,0.08681555,0.01071116,0.00004489997],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03490442,0.00009376297,0.9532987,0.0001146346,0.0001060648,0.0001359186,0.00008533635,0.005236858,0.006024268],"genre_scores_gemma":[0.7280848,0.0001686647,0.2643723,0.00009755782,0.00004151442,0.0002517827,0.0004128056,0.001118176,0.005452551],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004836758,"threshold_uncertainty_score":0.01618057,"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."}}