Download:
|
by Paul Ziemann, Martin Gogolla
Universität Bremen
http://www.db.informatik.uni-bremen.de/publications/Ziemann_2003_BremenReport.ps.gz
Add To MetaCart
Abstract:
Abstract. UML class diagrams are widely used to model the static structure of object-oriented software systems. The textual language OCL, which is part of the UML, is used for formulating constraints that can not be modeled by the diagrams. In this paper, we extend OCL with elements of linear temporal logic. With this extended OCL, which we call TOCL, we want to give software engineers a user-friendly means to specify constraints on the temporal evolution of the system structure as well as on the system behavior by stating temporal invariants and pre- and postconditions. We formally define syntax and semantics of the extended OCL. 1
Citations
|
1345
|
A.: The Temporal Logic of Reactive and Concurrent Systems
– Manna, Pnueli
- 1992
|
|
808
|
The temporal logic of programs
– Pnueli
- 1977
|
|
172
|
OMG Unified Modeling Language Specification, version 1.5
– OMG
|
|
123
|
Executing Temporal Logic Programs
– Moszkowski
- 1986
|
|
60
|
Temporal Logic of Programs
– Kroger
- 1987
|
|
47
|
Modular architecture for a toolset supporting OCL
– Hussmann, Demuth, et al.
- 2000
|
|
47
|
A precise approach to validating UML models and OCL constraints
– RICHTERS
- 2001
|
|
32
|
Formal methods for industrial applications, specifying and programming the steam boiler control
– Abrial, Börger, et al.
- 1996
|
|
31
|
On a temporal logic for object-based systems
– Distefano, Katoen, et al.
- 2000
|
|
18
|
An OCL Extension for Real-Time Constraints
– Flake, Mueller
- 2001
|
|
17
|
The Inheritance of Dynamic and Deontic Integrity Constraints
– Meyer, Dignum
- 1991
|
|
16
|
Temporal OCL: Meeting Specifications Demands for Business Components
– Conrad, Turowski
- 2001
|
|
16
|
A uml profile for real-time constraints with the ocl
– Flake, Mueller
|
|
16
|
Object Constraint Language Specification
– OMG
- 1997
|
|
15
|
Extending OCL to support temporal operators
– Ramakrishnan, McGregor
- 1999
|
|
13
|
Objektorientierte Spezifikation von Informationssystemen
– Saake
- 1993
|
|
10
|
Notation Guide
– UML
- 1999
|
|
10
|
An Extension of OCL with Temporal Logic
– Ziemann, Gogolla
- 2002
|
|
8
|
Integrating the specification techniques of graph transformation and temporal logic
– Heckel, Ehrig, et al.
- 1997
|
|
6
|
Enriching OCL using observational mu-calculus
– Bradfield, Filipe, et al.
- 2002
|
|
4
|
Specification of abstract dynamic-data types: A temporal logic approach
– Costa, Reggio
- 1997
|
|
3
|
The USE tool: A UML-based Specification Environment, 2001. Internet: http://www.db.informatik.uni-bremen.de/projects/USE
– Richters
|
|
2
|
Internet: http://www.klasse.nl/ocl/ subm-draft-text.html
– Boldsoft
- 2002
|
|
1
|
Eine Erweiterung von OCL um temporale Logik
– Ziemann
- 2001
|
