Abstract
This article presents a UML profile for an OCL extension that enables modelers to specify behavioral, state-oriented real-time constraints in OCL. In order to perform a seamless integration into the upcoming UML2.0 standard, we take the latest OCL2.0 metamodel proposal by Warmer et al. [22] as a basis. A formal semantics of our temporal OCL extension is given by a mapping to time-annotated temporal logics formulae. To give an example of the applicability of our extension, we consider a modeling approach for manufacturing systems called MFERT. We present a corresponding UML profile for that approach and combine both profiles for formal verification by real-time model checking. © Springer-Verlag Berlin Heidelberg 2002.
Cite
CITATION STYLE
Flake, S., & Mueller, W. (2002). A UML profile for real-time constraints with the OCL. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2460 LNCS, pp. 179–195). Springer Verlag. https://doi.org/10.1007/3-540-45800-x_16
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
