Semantics of State-Oriented Expressions in the Object Constraint Language
S. Flake, W. Müller, in: Proceedings of SEKE 2003, San Francisco, 2003.
Download
No fulltext has been uploaded.
Conference Paper
| English
Author
Flake, Stephan;
Müller, WolfgangLibreCat
Abstract
The textual Object Constraint Language (OCL) is an of-
ficial part of the Unified Modeling Language (UML). It is
primarily used to formulate restrictions for UML class di-
agrams. Additionally, it is possible to refer to UML State-
chart states in OCL expressions to reason about currently
activated states.
However, neither the current OCL standard nor the pro-
posal for the new OCL 2.0 version integrate Statecharts on
the language definition level, i.e., the semantics of State-
chart states in the context of OCL expressions is not suf-
ficiently defined so far. To overcome this deficiency, this
article provides a formal semantics for state-oriented OCL
expressions for application with UML Statecharts.
Publishing Year
Proceedings Title
Proceedings of SEKE 2003
LibreCat-ID
Cite this
Flake S, Müller W. Semantics of State-Oriented Expressions in the Object Constraint Language. In: Proceedings of SEKE 2003. ; 2003.
Flake, S., & Müller, W. (2003). Semantics of State-Oriented Expressions in the Object Constraint Language. Proceedings of SEKE 2003.
@inproceedings{Flake_Müller_2003, place={San Francisco}, title={Semantics of State-Oriented Expressions in the Object Constraint Language}, booktitle={Proceedings of SEKE 2003}, author={Flake, Stephan and Müller, Wolfgang}, year={2003} }
Flake, Stephan, and Wolfgang Müller. “Semantics of State-Oriented Expressions in the Object Constraint Language.” In Proceedings of SEKE 2003. San Francisco, 2003.
S. Flake and W. Müller, “Semantics of State-Oriented Expressions in the Object Constraint Language,” 2003.
Flake, Stephan, and Wolfgang Müller. “Semantics of State-Oriented Expressions in the Object Constraint Language.” Proceedings of SEKE 2003, 2003.
Google Scholar