On a temporal logic for object-based systems

IFIP Advances in Information and Communication Technology

Volumn 49 AICT, Issue , 2000, Pages 305-325

  Distefano, Dino ^a   Katoen, Joost Pieter ^a   Rensink, Arend ^a  

^a UNIVERSITY OF TWENTE   (Netherlands)

Author keywords

formal verification; Object Constraint Language (OCL); object based system; property specification; temporal logic

Indexed keywords

COMPUTER CIRCUITS; FORMAL METHODS; FORMAL VERIFICATION; OBJECT ORIENTED PROGRAMMING; SEMANTICS; SPECIFICATIONS;

CLASS DIAGRAMS; FORMAL SEMANTICS; OBJECT BASED; OBJECT CONSTRAINT LANGUAGE; OBJECT-BASED SYSTEMS; OPERATIONAL MODEL; PROPERTY SPECIFICATION; STATIC PROPERTIES;

TEMPORAL LOGIC;

EID: 84868297015     PISSN: 18684238     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-0-387-35520-7_16     Document Type: Conference Paper

References (23)

1. M. Abadi and K.R.M. Leino. A logic of object-oriented programs. In Theory and Practice of Software Development (TAPSOFT), LNCS 1214, pp. 682-696, 1997.
2. D.S. Andersen, L.H. Pedersen, H. Hüttel and J. Kleist. Objects, types and modal logics. In Foundations of Object-Oriented Languages (FOOL), 1997.
3. J.-P. Bahsoun, R. El-Baida, and H.-O. Yar. Decision procedure for temporal logic of concurrent objects. In EuroPar'99, LNCS 1685, pp. 1344-1352, Springer, 1999.
4. F.S. de Boer. A proof system for the parallel object-oriented language POOL. In Automata, Languages, and Programming (ICALP), LNCS 443, pp. 572-585, Springer 1990.
5. G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modeling Language User Guide. Addison-Wesley, 1998.
6. E.M. Clarke and E. A. Emerson. Design and synthesis of synchronization skeletons using branching time temporal logic. In Logic of Programs, LNCS 131, pp. 52-71, Springer, 1981.
7. E.M. Clarke and R. Kurshan. Computer-aided verification. IEEE Spectrum, 33(6):61-67, 1996.
8. E.M. Clarke, O. Grumberg and D. Peled. Model Checking. MIT Press, 1999.
9. M. Gogolla and M. Richters. On constraints and queries in UML. In The Unified Modeling Language - Technical Aspects and Applications, Physica-Verlag, 1998.
10. A. Hamie, F. Civello, J. Howse, S. Kent, and R. Mitchell. Reflections on the Object Constraint Language. In The Unified Modeling Language (UML), LNCS, pp. 137-145, Springer, 1998.
11. A. Hamie, J. Howse, and S. Kent. Interpreting the Object Constraint Language. In Asia Pacific Software Engineering Conference, pp. 288-295. IEEE CS Press, 1998.
12. S.J. Hodges and C. B. Jones. Non-interference properties of a concurrent object-based language: Proofs based on an operational semantics. In Object Orientation with Parallelism and Persistence, pp. 1-22, Kluwer, 1996.
13. K. Huizing and R. Kuiper and SOOP. Verification of object-oriented programs using class invariants. In Fundamental Approaches to Software Eng. (FASE), LNCS 1783, Springer 2000.
14. R. Jungclaus, G. Saake, T. Hartmann, and C. Semadas. TROLL - a language for object-oriented specification of information systems. ACM Trans. on Inf. Sys., 14(2):175-211, 1996.
15. L. Mandel and M. V. Cengarle. On the expressive power of the Object Constraint Language OCL. Technical report, Forschungsinstitut für angewandte Software-Technologie (FAST e.V.), 1999.
16. B. Meyer. Eiffel: The Language. Prentice Hall, 1992.
17. Rational Software Corporation. Object Constraint Language Specification, version 1.1, 1997. (available from www.rational.com/uml).
18. A. Poetzsch-Heffter and P. Müller. Logical foundations for typed object-oriented languages. In Programming Concepts and Methods (PROCOMET), pp. 404-424, Kluwer, 1998.
19. M. Richters and M. Gogolla. On formalizing the UML object constraint language OCL. In Conceptual Modeling (ER'98), LNCS 1507, pp. 449-464, Springer, 1998.
20. J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Modeling Language Reference Guide. Addison-Wesley, 1998.
21. A. Sernadas, C. Sernadas, and J.F. Costa. Object specification logic. J. of Logic and Computation, 5(5):603-630, 1995.
22. J. Warmer and A. Kleppe. The Object Constraint Language: Precise Modeling with UML. Addison-Wesley, 1998.
23. J. Warmer and A. Kleppe. OCL: The constraint language of the UML. J. of Obj.-Or. Progr., 12(1):10-13&28, 1999.