conference paper Stephan Flake author Wolfgang Müller author 672 department 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. 2004 eng System State Formal Semantic Object Management Group Denotational Semantic Dynamic Semantic 10.1007/978-3-540-30187-5_17 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> S. Flake, W. Müller, in: Proceedings of the UML 2004, Lisbon, Portugal, 2004. @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} } 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>. 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>. 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>. 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> 393522023-01-24T09:28:53Z2023-01-24T09:28:58Z