---
_id: '39352'
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.
author:
- first_name: Stephan
  full_name: Flake, Stephan
  last_name: Flake
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  last_name: Müller
citation:
  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>
  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} }'
  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>.
  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>.'
  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>.
  short: 'S. Flake, W. Müller, in: Proceedings of the UML 2004, Lisbon, Portugal,
    2004.'
date_created: 2023-01-24T09:28:53Z
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
language:
- iso: eng
place: Lisbon, Portugal
publication: Proceedings of the UML 2004
publication_identifier:
  eisbn:
  - 978-3-540-30187-5
status: public
title: An ASM Definition of the Dynamic OCL 2.0 Semantics
type: conference
user_id: '5786'
year: '2004'
...