---
res:
  bibo_abstract:
  - "The textual Object Constraint Language (OCL) is an of-\r\nficial part of the
    Unified Modeling Language (UML). OCL\r\nis primarily used to formulate restrictions
    over UML mod-\r\nels, in particular, invariants and operation pre- and post-\r\nconditions
    in the context of class diagrams. However, OCL\r\nis missing means to specify
    constraints over the dynamic\r\nbehavior of a UML model. We have therefore developed
    a\r\ntemporal extension of OCL that enables modelers to specify\r\nbehavioral
    state-oriented constraints. That work provides\r\nan alternative to the rather
    cryptic temporal logic formulae\r\nthat are commonly used to specify behavioral
    system prop-\r\nerties.\r\nThis article now illustrates that our OCL extension
    al-\r\nlows for specifying all kinds of properties that are regarded\r\nas relevant
    in practice. We present according temporal OCL\r\nexpressions for property specification
    patterns that have\r\nbeen identified in the area of formal specification.@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: 2003^xs_gYear
  dct_language: eng
  dct_subject:
  - UML
  - Object Constraint Language
  - Patterns
  - Property Specification
  dct_title: Expressing Property Specification Patterns with OCL@
...