---
res:
  bibo_abstract:
  - The Unified Modeling Language (UML) has received wide acceptance as a standard
    language in the field of software specification by means of different diagram
    types. In a recent version of UML, the textual Object Constraint Language (OCL)
    was introduced to support specification of constraints for UML models. But OCL
    currently does not provide sufficient means to specify constraints over the dynamic
    behavior of a model. This article presents an OCL extension that is consistent
    with current OCL and enables modelers to specify state-related time-bounded constraints.
    We consider the case study of a flexible manufacturing system and identify typical
    real-time constraints. The constraints are presented in our temporal OCL extension
    as well as in temporal logic formulae. For general application, we define a semantics
    of our OCL extension by means of a time-bounded temporal logic based on Computational
    Tree Logic (CTL).@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
  bibo_doi: 10.1109/HICSS.2002.994469
  dct_date: 2002^xs_gYear
  dct_isPartOf:
  - http://id.crossref.org/issn/0-7695-1435-9
  dct_language: eng
  dct_subject:
  - Unified modeling language
  - Logic
  - Formal verification
  - Real time systems
  - Programming profession
  - Vehicle dynamics
  - Software standards
  - Flexible manufacturing systems
  - Electronics industry
  - Protocols
  dct_title: Specification of Real-Time Properties for UML Models@
...