{"id":"W60592656","doi":"","title":"Using Constraints with Action Language for Model Evolution.","year":2007,"lang":"en","type":"article","venue":"","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Carleton University","funders":"","keywords":"Computer science; Class diagram; Unified Modeling Language; Object Constraint Language; Programming language; Modeling language; Software engineering; Software evolution; Visual modeling; Software development; Set (abstract data type); Software; Applications of UML; Software construction","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.003233529,0.0007829551,0.0003284026,0.001082566,0.000547739,0.002125436,0.001398253,0.001116623,0.004361881],"category_scores_gemma":[0.008439196,0.0004221482,0.00089442,0.0009259709,0.002066619,0.002686642,0.001594808,0.001911902,0.0007471058],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009475897,"about_ca_system_score_gemma":0.001770515,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002577403,"about_ca_topic_score_gemma":0.002665675,"domain_scores_codex":[0.9973174,0.001218238,0.0003020712,0.0003359889,0.0007333942,0.00009290328],"domain_scores_gemma":[0.993187,0.004686279,0.0005479187,0.0007617878,0.0006300794,0.0001868786],"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.00007592174,0.00008725323,0.0007088494,0.0005073951,0.00005255811,0.0005116932,0.0009700166,0.02980871,0.0134463,0.8440607,0.008545322,0.1012253],"study_design_scores_gemma":[0.0001098181,0.0001307591,0.0002891026,0.0003208663,0.00008413682,0.0008582369,0.0001740619,0.4805155,0.03054737,0.2216007,0.2652711,0.0000983163],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001867477,0.0001355233,0.9920527,0.0002735187,0.00007622553,0.00007726496,0.0001335123,0.001510898,0.003872935],"genre_scores_gemma":[0.06099686,0.0002425034,0.9342176,0.0002829027,0.00004750593,0.0003482357,0.0004505971,0.0005650084,0.002848819],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004361881,"threshold_uncertainty_score":0.01710069,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05086534239644161,"score_gpt":0.3200124850788073,"score_spread":0.2691471426823656,"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."}}