---
res:
  bibo_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.@eng
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Stephan
      foaf_name: Flake, Stephan
      foaf_surname: Flake
  - foaf_Person:
      foaf_givenName: Wolfgang
      foaf_name: Müller, Wolfgang
      foaf_surname: Müller
      foaf_workInfoHomepage: http://www.librecat.org/personId=16243
  dct_date: 2002^xs_gYear
  dct_language: eng
  dct_publisher: Springer-Verlag@
  dct_title: A UML Profile for Real-Time Constraints with the OCL@
...