@inproceedings{39398,
  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.}},
  author       = {{Flake, Stephan and Müller, Wolfgang}},
  booktitle    = {{Proceedings of the UML 2002 - The Unified Modeling Language}},
  publisher    = {{Springer-Verlag}},
  title        = {{{A UML Profile for Real-Time Constraints with the OCL}}},
  year         = {{2002}},
}