Enriching OCL Using Observational Mu-Calculus

Julian Bradfield; Juliana Filipe; Perdita Stevens

doi:10.1007/3-540-45923-5_14

Enriching OCL Using Observational Mu-Calculus

Julian Bradfield, Juliana Filipe, Perdita Stevens

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

The Object Constraint Language is a textual specification language which forms part of the Unified Modelling Language[ 8 ]. Its principal uses are specifying constraints such as well-formedness conditions (e.g. in the definition of UML itself) and specifying contracts between parts of a system being modelled in UML. Focusing on the latter, we propose a systematic way to extend OCL with temporal constructs in order to express richer contracts. Our approach is based on observational mu-calculus, a two-level temporal logic in which temporal features at the higher level interact cleanly with a domain specific logic at the lower level. Using OCL as the lower level logic, we achieve much improved expressiveness in a modular way. We present a unified view of invariants and pre/post conditions, and we show how the framework can be used to permit the specification of liveness properties.

Original language	English
Title of host publication	Fundamental Approaches to Software Engineering
Subtitle of host publication	5th International Conference, FASE 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings
Editors	Ralf-Detlef Kutsche, Herbert Weber
Publisher	Springer
Pages	50-76
Number of pages	27
ISBN (Print)	978-3-540-43353-8
DOIs	https://doi.org/10.1007/3-540-45923-5_14
Publication status	Published - 2002

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Berlin / Heidelberg
Volume	2306
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Access to Document

10.1007/3-540-45923-5_14

temporaloclAccepted author manuscript, 154 KB

Cite this

Bradfield, J., Filipe, J., & Stevens, P. (2002). Enriching OCL Using Observational Mu-Calculus. In R.-D. Kutsche, & H. Weber (Eds.), Fundamental Approaches to Software Engineering: 5th International Conference, FASE 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings (pp. 50-76). (Lecture Notes in Computer Science; Vol. 2306). Springer. https://doi.org/10.1007/3-540-45923-5_14

Bradfield, Julian ; Filipe, Juliana ; Stevens, Perdita. / Enriching OCL Using Observational Mu-Calculus. Fundamental Approaches to Software Engineering: 5th International Conference, FASE 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings. editor / Ralf-Detlef Kutsche ; Herbert Weber. Springer, 2002. pp. 50-76 (Lecture Notes in Computer Science).

@inproceedings{947603582dc24a5fb0d4d7e6b3ed2f75,

title = "Enriching OCL Using Observational Mu-Calculus",

abstract = "The Object Constraint Language is a textual specification language which forms part of the Unified Modelling Language[ 8 ]. Its principal uses are specifying constraints such as well-formedness conditions (e.g. in the definition of UML itself) and specifying contracts between parts of a system being modelled in UML. Focusing on the latter, we propose a systematic way to extend OCL with temporal constructs in order to express richer contracts. Our approach is based on observational mu-calculus, a two-level temporal logic in which temporal features at the higher level interact cleanly with a domain specific logic at the lower level. Using OCL as the lower level logic, we achieve much improved expressiveness in a modular way. We present a unified view of invariants and pre/post conditions, and we show how the framework can be used to permit the specification of liveness properties.",

author = "Julian Bradfield and Juliana Filipe and Perdita Stevens",

year = "2002",

doi = "10.1007/3-540-45923-5_14",

language = "English",

isbn = "978-3-540-43353-8",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "50--76",

editor = "Ralf-Detlef Kutsche and Herbert Weber",

booktitle = "Fundamental Approaches to Software Engineering",

address = "United Kingdom",

}

Bradfield, J, Filipe, J & Stevens, P 2002, Enriching OCL Using Observational Mu-Calculus. in R-D Kutsche & H Weber (eds), Fundamental Approaches to Software Engineering: 5th International Conference, FASE 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings. Lecture Notes in Computer Science, vol. 2306, Springer, pp. 50-76. https://doi.org/10.1007/3-540-45923-5_14

Enriching OCL Using Observational Mu-Calculus. / Bradfield, Julian; Filipe, Juliana; Stevens, Perdita.
Fundamental Approaches to Software Engineering: 5th International Conference, FASE 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings. ed. / Ralf-Detlef Kutsche; Herbert Weber. Springer, 2002. p. 50-76 (Lecture Notes in Computer Science; Vol. 2306).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Enriching OCL Using Observational Mu-Calculus

AU - Bradfield, Julian

AU - Filipe, Juliana

AU - Stevens, Perdita

PY - 2002

Y1 - 2002

N2 - The Object Constraint Language is a textual specification language which forms part of the Unified Modelling Language[ 8 ]. Its principal uses are specifying constraints such as well-formedness conditions (e.g. in the definition of UML itself) and specifying contracts between parts of a system being modelled in UML. Focusing on the latter, we propose a systematic way to extend OCL with temporal constructs in order to express richer contracts. Our approach is based on observational mu-calculus, a two-level temporal logic in which temporal features at the higher level interact cleanly with a domain specific logic at the lower level. Using OCL as the lower level logic, we achieve much improved expressiveness in a modular way. We present a unified view of invariants and pre/post conditions, and we show how the framework can be used to permit the specification of liveness properties.

AB - The Object Constraint Language is a textual specification language which forms part of the Unified Modelling Language[ 8 ]. Its principal uses are specifying constraints such as well-formedness conditions (e.g. in the definition of UML itself) and specifying contracts between parts of a system being modelled in UML. Focusing on the latter, we propose a systematic way to extend OCL with temporal constructs in order to express richer contracts. Our approach is based on observational mu-calculus, a two-level temporal logic in which temporal features at the higher level interact cleanly with a domain specific logic at the lower level. Using OCL as the lower level logic, we achieve much improved expressiveness in a modular way. We present a unified view of invariants and pre/post conditions, and we show how the framework can be used to permit the specification of liveness properties.

U2 - 10.1007/3-540-45923-5_14

DO - 10.1007/3-540-45923-5_14

M3 - Conference contribution

SN - 978-3-540-43353-8

T3 - Lecture Notes in Computer Science

SP - 50

EP - 76

BT - Fundamental Approaches to Software Engineering

A2 - Kutsche, Ralf-Detlef

A2 - Weber, Herbert

PB - Springer

ER -

Bradfield J, Filipe J, Stevens P. Enriching OCL Using Observational Mu-Calculus. In Kutsche RD, Weber H, editors, Fundamental Approaches to Software Engineering: 5th International Conference, FASE 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings. Springer. 2002. p. 50-76. (Lecture Notes in Computer Science). doi: 10.1007/3-540-45923-5_14

Enriching OCL Using Observational Mu-Calculus

Abstract

Publication series

Access to Document

Fingerprint

Cite this