---
_id: '39364'
abstract:
- lang: eng
  text: "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."
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. Expressing Property Specification Patterns with OCL. In:
    <i>Proceedings of SERP’03</i>. ; 2003.'
  apa: Flake, S., &#38; Müller, W. (2003). Expressing Property Specification Patterns
    with OCL. <i>Proceedings of SERP’03</i>.
  bibtex: '@inproceedings{Flake_Müller_2003, place={Las Vegas, NV}, title={Expressing
    Property Specification Patterns with OCL}, booktitle={Proceedings of SERP’03},
    author={Flake, Stephan and Müller, Wolfgang}, year={2003} }'
  chicago: Flake, Stephan, and Wolfgang Müller. “Expressing Property Specification
    Patterns with OCL.” In <i>Proceedings of SERP’03</i>. Las Vegas, NV, 2003.
  ieee: S. Flake and W. Müller, “Expressing Property Specification Patterns with OCL,”
    2003.
  mla: Flake, Stephan, and Wolfgang Müller. “Expressing Property Specification Patterns
    with OCL.” <i>Proceedings of SERP’03</i>, 2003.
  short: 'S. Flake, W. Müller, in: Proceedings of SERP’03, Las Vegas, NV, 2003.'
date_created: 2023-01-24T09:45:49Z
date_updated: 2023-01-24T09:45:54Z
department:
- _id: '672'
keyword:
- UML
- Object Constraint Language
- Patterns
- Property Specification
language:
- iso: eng
place: Las Vegas, NV
publication: Proceedings of SERP'03
status: public
title: Expressing Property Specification Patterns with OCL
type: conference
user_id: '5786'
year: '2003'
...