On a temporal Logic for Object-based Systems

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

22 Downloads (Pure)

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.
Original languageUndefined
Title of host publicationFourth International Conference on Formal Methods for Open Object-based Distributed Systems
Place of PublicationStanford, California, USA
Pages305-325
Number of pages21
Publication statusPublished - 21 Feb 2000

Keywords

  • IR-18177
  • METIS-118697
  • EWI-5953

Cite this

Distefano, D. S., Katoen, J. P., & Rensink, A. (2000). On a temporal Logic for Object-based Systems. In Fourth International Conference on Formal Methods for Open Object-based Distributed Systems (pp. 305-325). Stanford, California, USA.
Distefano, D.S. ; Katoen, Joost P. ; Rensink, Arend. / On a temporal Logic for Object-based Systems. Fourth International Conference on Formal Methods for Open Object-based Distributed Systems. Stanford, California, USA, 2000. pp. 305-325
@inproceedings{530c285b0d8c4fa09df2ddbf2a2147e6,
title = "On a temporal Logic for Object-based 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.",
keywords = "IR-18177, METIS-118697, EWI-5953",
author = "D.S. Distefano and Katoen, {Joost P.} and Arend Rensink",
note = "Imported from CTIT",
year = "2000",
month = "2",
day = "21",
language = "Undefined",
isbn = "0-7923-7923-3",
pages = "305--325",
booktitle = "Fourth International Conference on Formal Methods for Open Object-based Distributed Systems",

}

Distefano, DS, Katoen, JP & Rensink, A 2000, On a temporal Logic for Object-based Systems. in Fourth International Conference on Formal Methods for Open Object-based Distributed Systems. Stanford, California, USA, pp. 305-325.

On a temporal Logic for Object-based Systems. / Distefano, D.S.; Katoen, Joost P.; Rensink, Arend.

Fourth International Conference on Formal Methods for Open Object-based Distributed Systems. Stanford, California, USA, 2000. p. 305-325.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

TY - GEN

T1 - On a temporal Logic for Object-based Systems

AU - Distefano, D.S.

AU - Katoen, Joost P.

AU - Rensink, Arend

N1 - Imported from CTIT

PY - 2000/2/21

Y1 - 2000/2/21

N2 - 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.

AB - 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.

KW - IR-18177

KW - METIS-118697

KW - EWI-5953

M3 - Conference contribution

SN - 0-7923-7923-3

SP - 305

EP - 325

BT - Fourth International Conference on Formal Methods for Open Object-based Distributed Systems

CY - Stanford, California, USA

ER -

Distefano DS, Katoen JP, Rensink A. On a temporal Logic for Object-based Systems. In Fourth International Conference on Formal Methods for Open Object-based Distributed Systems. Stanford, California, USA. 2000. p. 305-325