Enriching ocl using observational mu-calculus

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

Volumn 2306, Issue , 2002, Pages 203-217

  Bradfield, Julian ^a   Filipe, Juliana Küster ^a   Stevens, Perdita ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; COMPUTATIONAL LINGUISTICS; COMPUTER CIRCUITS; MODELING LANGUAGES; OBJECT ORIENTED PROGRAMMING; RECONFIGURABLE HARDWARE; SPECIFICATION LANGUAGES; SPECIFICATIONS; TEMPORAL LOGIC; UNIFIED MODELING LANGUAGE;

DOMAIN-SPECIFIC LOGIC; LIVENESS PROPERTIES; MU-CALCULUS; OBJECT CONSTRAINT LANGUAGE; PRE/POST CONDITIONS; TEMPORAL FEATURES;

SOFTWARE ENGINEERING;

EID: 84958740966     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45923-5_14     Document Type: Conference Paper

References (10)

1. Boldsoft, Rational Software Corporation, and IONA. Response to the UML2.0 OCL RfP. http://www.klasse.nl/ocl/subm-draft-text.html, August 2001.
2. J.C. Bradfield and P. Stevens. Observational mu-calculus. In Proceedings of FICS’98, 1998. An extended version is available as BRICS-RS-99-5.
3. J.C. Bradfield and C.P. Stirling. Modal logics and mu-calculi: an introduction. In J.A. Bergstra, A. Ponse, and S.A. Smolka, editors, Handbook of Process Algebra, chapter 4, pages 293–330. Elsevier, 2001.
4. D. Distefano, J.-P. Katoen, and A. 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, 2000.
5. D. D’Souza and A.C. Wills. Objects, Components, and Frameworks with UML: The Catalysis Approach. Object Technology Series. Addison-Wesley, 1999.
6. A. Hamie, R. Mitchell, and J. Howse. Time-based constraints in the Object Constraint Language. Technical Report CMS-00-01, University of Brighton, 2000.
7. A. Kleppe and J. Warmer. Extending OCL to include actions. In S. Kent and A. Evans, editors, UML’2000 - The Unified Modeling Language: Advancing the Standard, Third International Conference, York, UK, October 2-6, 2000, volume 1939 of LNCS, pages 440–450. Springer, 2000.
8. OMG. Unified Modeling Language Specification version 1.4 draft, February 2001. OMG document 01-02-14 available from www.omg.org.
9. S. Ramakrishnan and J. McGregor. Extending OCL to support temporal operators. In A. Ulrich, editor, ICSE’99 Workshop on Testing Distributed Component-based Systems, Los Angeles, California, USA, May 1999.
10. J. Warmer and A. Kleppe. The Object Constraint Language: Precise Modelling with UML. Object Technology Series. Addison-Wesley, 1999