Formal Semantics of OCL Messages
S. Flake, W. Müller, in: Proceedings of the Workshop OCL 2.0 at UML 2003, San Francisco, USA, 2003.
Download
No fulltext has been uploaded.
Conference Paper
| English
Author
Flake, Stephan;
Müller, WolfgangLibreCat
Abstract
The latest OCL 2.0 proposal provides two semantic descriptions, i.e., a metamodel based semantics that uses UML itself to associate the semantic domain with the language concepts and a formal semantics based on a set-theoretic approach called object model. Unfortunately, these two semantics are currently neither consistent nor complete, as (a) the formal semantics does not consider the newly introduced concept of OCL messages and (b) both semantics lack an integration of Statecharts and a semantic denition of state-related operations. This article focuses on a formal semantics for OCL messages as a foundation for consistency among,the two OCL semantics. We extend object models and present an extended denition of a system state that comprises all relevant information to be able to evaluate OCL expressions also w.r.t. OCL messages.
Publishing Year
Proceedings Title
Proceedings of the Workshop OCL 2.0 at UML 2003
LibreCat-ID
Cite this
Flake S, Müller W. Formal Semantics of OCL Messages. In: Proceedings of the Workshop OCL 2.0 at UML 2003. ; 2003.
Flake, S., & Müller, W. (2003). Formal Semantics of OCL Messages. Proceedings of the Workshop OCL 2.0 at UML 2003.
@inproceedings{Flake_Müller_2003, place={San Francisco, USA}, title={Formal Semantics of OCL Messages}, booktitle={Proceedings of the Workshop OCL 2.0 at UML 2003}, author={Flake, Stephan and Müller, Wolfgang}, year={2003} }
Flake, Stephan, and Wolfgang Müller. “Formal Semantics of OCL Messages.” In Proceedings of the Workshop OCL 2.0 at UML 2003. San Francisco, USA, 2003.
S. Flake and W. Müller, “Formal Semantics of OCL Messages,” 2003.
Flake, Stephan, and Wolfgang Müller. “Formal Semantics of OCL Messages.” Proceedings of the Workshop OCL 2.0 at UML 2003, 2003.
Google Scholar