<?xml version="1.0" encoding="UTF-8"?>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
         xmlns:dc="http://purl.org/dc/terms/"
         xmlns:foaf="http://xmlns.com/foaf/0.1/"
         xmlns:bibo="http://purl.org/ontology/bibo/"
         xmlns:fabio="http://purl.org/spar/fabio/"
         xmlns:owl="http://www.w3.org/2002/07/owl#"
         xmlns:event="http://purl.org/NET/c4dm/event.owl#"
         xmlns:ore="http://www.openarchives.org/ore/terms/">

    <rdf:Description rdf:about="https://ris.uni-paderborn.de/record/39364">
        <ore:isDescribedBy rdf:resource="https://ris.uni-paderborn.de/record/39364"/>
        <dc:title>Expressing Property Specification Patterns with OCL</dc:title>
        <bibo:authorList rdf:parseType="Collection">
            <foaf:Person>
                <foaf:name></foaf:name>
                <foaf:surname></foaf:surname>
                <foaf:givenname></foaf:givenname>
            </foaf:Person>
            <foaf:Person>
                <foaf:name></foaf:name>
                <foaf:surname></foaf:surname>
                <foaf:givenname></foaf:givenname>
            </foaf:Person>
        </bibo:authorList>
        <bibo:abstract>The textual Object Constraint Language (OCL) is an of-
ficial part of the Unified Modeling Language (UML). OCL
is primarily used to formulate restrictions over UML mod-
els, in particular, invariants and operation pre- and post-
conditions in the context of class diagrams. However, OCL
is missing means to specify constraints over the dynamic
behavior of a UML model. We have therefore developed a
temporal extension of OCL that enables modelers to specify
behavioral state-oriented constraints. That work provides
an alternative to the rather cryptic temporal logic formulae
that are commonly used to specify behavioral system prop-
erties.
This article now illustrates that our OCL extension al-
lows for specifying all kinds of properties that are regarded
as relevant in practice. We present according temporal OCL
expressions for property specification patterns that have
been identified in the area of formal specification.</bibo:abstract>
    </rdf:Description>
</rdf:RDF>