conference paper Stephan Flake author Wolfgang Müller author 16243 672 department 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-Verlag2002 eng Flake, Stephan, and Wolfgang Müller. “A UML Profile for Real-Time Constraints with the OCL.” <i>Proceedings of the UML 2002 - The Unified Modeling Language</i>, Springer-Verlag, 2002. Flake S, Müller W. A UML Profile for Real-Time Constraints with the OCL. In: <i>Proceedings of the UML 2002 - The Unified Modeling Language</i>. Springer-Verlag; 2002. @inproceedings{Flake_Müller_2002, place={Dresden, Germany}, title={A UML Profile for Real-Time Constraints with the OCL}, booktitle={Proceedings of the UML 2002 - The Unified Modeling Language}, publisher={Springer-Verlag}, author={Flake, Stephan and Müller, Wolfgang}, year={2002} } Flake, S., &#38; Müller, W. (2002). A UML Profile for Real-Time Constraints with the OCL. <i>Proceedings of the UML 2002 - The Unified Modeling Language</i>. S. Flake and W. Müller, “A UML Profile for Real-Time Constraints with the OCL,” 2002. Flake, Stephan, and Wolfgang Müller. “A UML Profile for Real-Time Constraints with the OCL.” In <i>Proceedings of the UML 2002 - The Unified Modeling Language</i>. Dresden, Germany: Springer-Verlag, 2002. S. Flake, W. Müller, in: Proceedings of the UML 2002 - The Unified Modeling Language, Springer-Verlag, Dresden, Germany, 2002. 393982023-01-24T10:17:16Z2023-01-24T10:18:16Z