Loading...
Please wait, while we are loading the content...
Similar Documents
On a Temporal Logic for Object-Based Systems (0)
| Content Provider | CiteSeerX |
|---|---|
| Author | Rensink, Arend Distefano, Dino Katoen, Joost-Pieter |
| Description | Formal Methods for Open Objectbased Distributed Systems |
| 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. |
| File Format | |
| Access Restriction | Open |
| Subject Keyword | Object Constraint Language Large Fragment Uml Standard Static Property Optional Part General Operational Model Branching Temporal Logic Ctl Object-based Temporal Logic Object-based System |
| Content Type | Text |
| Resource Type | Article |
