MetaCartSign in to MyCiteSeer

Include Citations | Advanced Search | Help

Include Citations | Advanced Search | Help

  An Extension of OCL with Temporal Logic (2002) [10 citations — 2 self]

Download:
Download as a PDF | Download as a PS
by Paul Ziemann, Martin Gogolla
Critical Systems Development with UML
http://www.db.informatik.uni-bremen.de/publications/Ziemann_2002_CSD.ps.gz
Add To MetaCart

Abstract:

Abstract. UML class diagrams are widely used to model the static structure of object-oriented software systems. As a supplement, OCL becomes more and more popular for formulating constraints that can not be modeled by the diagrams. In this paper, we extend OCL with elements of temporal logic. With this extension, constraints on the temporal development of the system structure as well as on the system behavior can be stated in terms of temporal invariants and pre- and postconditions. 1

Citations

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 A precise approach to validating UML models and OCL constraints – RICHTERS - 2001
31 On a temporal logic for object-based systems – Distefano, Katoen, et al. - 2000
22 The steam-boiler control specification problem – Abrial - 1996
18 An OCL Extension for Real-Time Constraints – Flake, Mueller - 2001
16 Temporal OCL: Meeting Specifications Demands for Business Components – Conrad, Turowski - 2001
16 Object Constraint Language Specification – OMG - 1997
15 Extending OCL to support temporal operators – Ramakrishnan, McGregor - 1999
13 Enriching OCL using observational mu-calculus – Bradfield, Filipe, et al.
10 Notation Guide – UML - 1999
3 The USE tool: A UML-based Specification Environment, 2001. Internet: http://www.db.informatik.uni-bremen.de/projects/USE – Richters
1 Response to the uml 2.0 ocl rfp (ad/2000-09-03 – Boldsoft, IONA - 2002
View or Download | Add to My Collection | Correct Errors