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