On a Temporal Logic for Object-Based Systems


Distefano, Dino and Katoen, Joost-Pieter and Rensink, Arend (2000) On a Temporal Logic for Object-Based Systems. In: Fourth International Conference on Formal Methods for Open Object-based Distributed Systems, FMOODS 2000, September 6-8, 2000, Stanford, CA, USA (pp. pp. 305-326).

[img] PDF
Restricted to UT campus only
: Request a copy
Abstract:This paper presents a logic, called BOTL (Object-Based Temporal Logic), that
facilitates the specification of dynamic and static properties of object-based systems. The logic is based on the branching temporal logic CTL and the Object
Constraint Language (OCL), an optional part of the UML standard for expressing
static properties over class diagrams. The formal semantics of BOTL is defined
in terms of a general operational model that is aimed to be applicable to a wide
range of object-oriented languages. A mapping of a large fragment of OCL onto
BOTL is defined, thus providing a formal semantics to OCL.
Item Type:Conference or Workshop Item
Copyright:© 2000 Kluwer Academic
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/63321
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page