{"language":[{"iso":"eng"}],"abstract":[{"lang":"eng","text":"The recently adopted OCL 2.0 specification comes with a formal semantics that is based on set theory with a notion of an object model and system states. System states keep the runtime information relevant for the evaluation of OCL expressions. However, not all new language concepts of OCL 2.0 are already addressed in that formal semantics. We show how to overcome this by introducing new components to the object model and system states defining a dynamic semantics of OCL. In order to give precise rules that determine when the current system state has to be updated according to a change in the referred UML model, we make use of adequate mathematical means, namely Abstract State Machines (ASMs). Though our ASM specification also gives a clear definition for the evaluation of OCL constraints, it leaves sufficient flexibility for application specific implementations that have to determine when constraints are to be checked."}],"publication_identifier":{"eisbn":["978-3-540-30187-5"]},"citation":{"bibtex":"@inproceedings{Flake_Müller_2004, place={Lisbon, Portugal}, title={An ASM Definition of the Dynamic OCL 2.0 Semantics}, DOI={<a href=\"https://doi.org/10.1007/978-3-540-30187-5_17\">10.1007/978-3-540-30187-5_17</a>}, booktitle={Proceedings of the UML 2004}, author={Flake, Stephan and Müller, Wolfgang}, year={2004} }","ieee":"S. Flake and W. Müller, “An ASM Definition of the Dynamic OCL 2.0 Semantics,” 2004, doi: <a href=\"https://doi.org/10.1007/978-3-540-30187-5_17\">10.1007/978-3-540-30187-5_17</a>.","short":"S. Flake, W. Müller, in: Proceedings of the UML 2004, Lisbon, Portugal, 2004.","mla":"Flake, Stephan, and Wolfgang Müller. “An ASM Definition of the Dynamic OCL 2.0 Semantics.” <i>Proceedings of the UML 2004</i>, 2004, doi:<a href=\"https://doi.org/10.1007/978-3-540-30187-5_17\">10.1007/978-3-540-30187-5_17</a>.","chicago":"Flake, Stephan, and Wolfgang Müller. “An ASM Definition of the Dynamic OCL 2.0 Semantics.” In <i>Proceedings of the UML 2004</i>. Lisbon, Portugal, 2004. <a href=\"https://doi.org/10.1007/978-3-540-30187-5_17\">https://doi.org/10.1007/978-3-540-30187-5_17</a>.","ama":"Flake S, Müller W. An ASM Definition of the Dynamic OCL 2.0 Semantics. In: <i>Proceedings of the UML 2004</i>. ; 2004. doi:<a href=\"https://doi.org/10.1007/978-3-540-30187-5_17\">10.1007/978-3-540-30187-5_17</a>","apa":"Flake, S., &#38; Müller, W. (2004). An ASM Definition of the Dynamic OCL 2.0 Semantics. <i>Proceedings of the UML 2004</i>. <a href=\"https://doi.org/10.1007/978-3-540-30187-5_17\">https://doi.org/10.1007/978-3-540-30187-5_17</a>"},"place":"Lisbon, Portugal","year":"2004","_id":"39352","publication":"Proceedings of the UML 2004","date_created":"2023-01-24T09:28:53Z","author":[{"full_name":"Flake, Stephan","last_name":"Flake","first_name":"Stephan"},{"first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang"}],"status":"public","type":"conference","user_id":"5786","title":"An ASM Definition of the Dynamic OCL 2.0 Semantics","date_updated":"2023-01-24T09:28:58Z","department":[{"_id":"672"}],"doi":"10.1007/978-3-540-30187-5_17","keyword":["System State     Formal Semantic     Object Management Group     Denotational Semantic     Dynamic Semantic"]}