{"date_updated":"2023-01-24T10:18:16Z","language":[{"iso":"eng"}],"place":"Dresden, Germany","publication":"Proceedings of the UML 2002 - The Unified Modeling Language","abstract":[{"lang":"eng","text":"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."}],"title":"A UML Profile for Real-Time Constraints with the OCL","year":"2002","author":[{"last_name":"Flake","full_name":"Flake, Stephan","first_name":"Stephan"},{"id":"16243","first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang"}],"user_id":"5786","date_created":"2023-01-24T10:17:16Z","_id":"39398","status":"public","department":[{"_id":"672"}],"publisher":"Springer-Verlag","type":"conference","citation":{"mla":"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.","chicago":"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.","apa":"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>.","short":"S. Flake, W. Müller, in: Proceedings of the UML 2002 - The Unified Modeling Language, Springer-Verlag, Dresden, Germany, 2002.","bibtex":"@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} }","ieee":"S. Flake and W. Müller, “A UML Profile for Real-Time Constraints with the OCL,” 2002.","ama":"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."}}