OCL extended with temporal logic

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2890, Issue , 2003, Pages 351-357

  Ziemann, Paul ^a   Gogolla, Martin ^a  

^a UNIVERSITY OF BREMEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

OBJECT-ORIENTED SOFTWARE SYSTEMS; STATIC STRUCTURES; TEMPORAL CONSTRAINTS; TEMPORAL OPERATORS; UML CLASS DIAGRAMS;

OBJECT ORIENTED PROGRAMMING;

EID: 28044471966     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Article

References (11)

1. Jean-Raymond Abrial, Egon Börger, and Hans Langmaack, editors. Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, June 1995), volume 1165 of LNCS. Springer, 1996.
2. Boldsoft, Rational Software Corporation, and IONA. Response to the UML 2.0 OCL RfP (ad/2000-09-03), June 2002. Internet: http://www.klasse.nl/ocl/subm-draft-text.html.
3. Julian C. Bradfield, Juliana Küster Filipe, and Perdita Stevens. Enriching OCL Using Observational Mu-Calculus. In Ralf-Detlef Kutsche and Herbert Weber, 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, volume 2306 of LNCS, pages 203-217. Springer, 2002.
4. Stefan Conrad and Klaus Turowski. Temporal OCL: Meeting Specification Demands for Business Components. In Keng Siau and Terry Halpin, editors, Unified Modeling Language: Systems Analysis, Design and Development Issues, chapter 10, pages 151-166. Idea Publishing Group, 2001.
5. Dino Distefano, Joost-Pieter Katoen, and Arend Rensink. On a Temporal Logic for Object-Based Systems. In S. F. Smith and C. L. Talcott, editors, Formal Methods for Open Object-based Distributed Systems, pages 305-326. Kluwer Acadeim Publishers, 2000. Report version: TR-CTIT-00-06, Faculty of Informatics, University of Twente.
6. Stephan Flake and Wolfgang Mueller. A UML Profile for Real-Time Constraints with the OCL. In Jean-Marc Jzquel, Heinrich Hussmann, and Stephan Cook, editors, UML 2002 - The Unified Modeling Language. Modeling Languages, Concepts, and Tools. 5th International Conference, Dresden, Germany, September/October 2002. Proceedings, volume 2460 of LNCS, pages 179-195. Springer, 2002.
7. Zohar Manna and Amir Pnueli. The temporal logic of reactive and concurrent systems. Springer-Verlag New York, Inc., 1992.
8. OMG. OMG Unified Modeling Language Specification, Version 1.5, March 2003. Object Management Group, Inc., Framingham, Mass., Internet: http://www.omg.org, 2003.
9. Sita Ramakrishnan and John McGregor. Extending OCL to Support Temporal Operators. In Proceedings of the 21st International Conference on Software Engineering (ICSE99) Workshop on Testing Distributed Component-Based Systems, LA, May 16 - 22, 1999, 1999.
10. Paul Ziemann and Martin Gogolla. An Extension of OCL with Temporal Logic. In Jan Jrjens, Maria Victoria Cengarle, Eduardo B. Fernanez, Bernhard Rumpe, and Robert Sandner, editors, Critical Systems Development with UML - Proceedings of the UML'02 workshop, pages 53-62. TUM, Institut fr Informatik, September 2002. TUM-I0208.
11. Paul Ziemann and Martin Gogolla. An OCL Extension for Formulating Temporal Constraints. Technical Report 1/03, Universität Bremen, 2003.