Semantic issues of OCL: Past, present, and future

Electronic Communications of the EASST

Volumn 5, Issue , 2006, Pages

  Brucker, Achim D ^a   Doser, Jürgen ^a   Wolff, Burkhart ^a  

^a ETH ZURICH   (Switzerland)

Author keywords

Formal semantics; HOL OCL; UML OCL

Indexed keywords

EID: 84886839908     PISSN: None     EISSN: 18632122     Source Type: Journal    
DOI: 10.14279/tuj.eceasst.5.46.72     Document Type: Conference Paper

References (30)

1. P. B. Andrews. An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. Academic Press, May 1986
2. A. D. Brucker, F. Rittinger, B. Wolff. HOL-Z 2.0: A Proof Environment for ZSpecifications. Journal of Universal Computer Science 9(2):152-172, Feb. 2003
3. A. D. Brucker, B. Wolff. HOL-OCL: Experiences, Consequences and Design Choices. In Jézéquel et al. (eds.), UML 2002. LNCS 2460, pp. 196-211. Springer, 2002
4. A. D. Brucker, B. Wolff. Using Theory Morphisms for Implementing Formal Methods Tools. In Geuvers and Wiedijk (eds.), Types for Proof and Programs. LNCS 2646, pp. 59-77. Springer, 2003
5. A. D. Brucker, B. Wolff. The HOL-OCL Book. Technical report 525, ETH Zürich, 2006
6. A. D. Brucker, B. Wolff. A Package for Extensible Object-Oriented Data Models with an Application to IMP++. In Roychoudhury and Yang (eds.), SVV 2006. Computing Research Repository (CoRR). Aug. 2006
7. A. Church. A formulation of the simple theory of types. Journal of Symbolic Logic 5:56-68, 1940
8. S. Cook, A. Kleppe, R. Mitchell, B. Rumpe, J. Warmer, A. Wills. The Amsterdam Manifesto on OCL. In Clark and Warmer (eds.), Object Modeling with the OCL: The Rationale Behind the Object Constraint Language. LNCS 2263, pp. 115-149. Springer, 2002
9. J. Gosling, B. Joy, G. Steele, G. Bracha. The Java Language Specification Second Edition. The Java Series. Prentice-Hall, 2000
10. M. J. C. Gordon, T. F. Melham. Introduction to HOL. Cambridge University Press, July 1993
11. A. Hamie, F. Civello, J. Howse, S. Kent, M. Mitchell. Reflections on the Object Constraint Language. In Bézivin and Muller (eds.), The Unified Modeling Language. «UML» '98: Beyond the Notation. LNCS 1618. Springer, June 1998. doi:10.1007/b72309
12. B. Hackett, M. Das, D. Wang, Z. Yang. Modular checking for buffer overflows in the large. In ICSE '06: Proceeding of the 28th international conference on Software engineering. Pp. 232-241. ACM Press, 2006. doi:10.1145/1134285.1134319
13. R. Hennicker, H. Hussmann, M. Bidoit. On the precise Meaning of OCL Constraints. In Clark and Warmer (eds.), Object Modeling with the OCL: The Rationale Behind the Object Constraint Language. LNCS 2263, pp. 69-84. Springer, 2002
14. D. Harel, B. Rumpe. Meaningful Modeling: What's the Semantics of "Semantics"? Computer 37(10):64-72, Oct. 2004. doi:10.1109/MC.2004.172
15. R. Hähnle. Towards an Efficient Tableau Proof Procedure for Multiple-Valued Logics. In Börger et al. (eds.), Computer Science Logic (CSL 90). LNCS 533, pp. 248-260. Springer, Oct. 1991. doi:10.1007/3-540-54487-9
16. ISO/IEC. Information technology-Z formal specification notation-Syntax, type system and semantics. International standard ISO/IEC 13568:2002, International Standards Organisation, July 2002
17. S. N. Khoshafian, G. P. Copeland. Object identity. In OOPSLA '86: Conference proceedings on Object-oriented programming systems, languages and applications. Pp. 406-416. ACM Press, 1986. doi:10.1145/28697.28739
18. P. Kosiuczenko. Specification of Invariability in OCL. In Nierstrasz et al. (eds.), MoDELS 2006: Model Driven Engineering Languages and Systems. LNCS 4199. Springer-Verlag, Genova, 2006
19. G. T. Leavens, A. L. Baker, C. Ruby. JML: A Notation for Detailed Design. In Kilov et al. (eds.), Behavioral Specifications of Businesses and Systems. Pp. 175-188. Kluwer Academic Publishers, 1999
20. B. H. Liskov, J. M. Wing. A behavioral notion of subtyping. ACM Transactions on Programming Languages and Systems 16(6):1811-1841, Nov. 1994. doi:10.1145/197320.197383
21. L. Mandel, M. V. Cengarle. On the expressive power of OCL. In FM '99: Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I. LNCS 1708. Springer, Sept. 1999
22. Object Constraint Language Specification, v1.1. Sept. 1997. Available as OMG document ad/97-08-08
23. OMG Unified Modeling Language Specification, v1.3. June 1999. Availalbe as OMG document ad/99-06-08
24. UML 2.0 OCL Specification. Oct. 2003. Available as OMG document ptc/03-10-14
25. OMG Unified Modeling Language Specification, v1.5. Mar. 2003. Available as OMG document formal/03-03-01
26. UML 2.0 OCL Specification. May 2006. Available as OMG document formal/06-05-01
27. M. Richters. A Precise Approach to Validating UML Models and OCL Constraints. PhD thesis, Universität Bremen, 2002
28. N. Rauch, B. Wolff. Formalizing Java's Two's-Complement Integral Type in Isabelle/HOL. In Eighth International Workshop on Formal Methods for Industrial Critical Systems (FMICS'03). ENTCS 80, pp. 1-18. Elsevier Science Publishers, August 2003. doi:10.1016/S1571-0661(04)80808-9
29. M. Vaziri, D. Jackson. Some Shortcomings of OCL, the Object Constraint Language of UML. In Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00). P. 555. IEEE Computer Society, 2000. doi:10.1109/TOOLS.2000.10063
30. J. Woodcock, J. Davies. Using Z: Specification, Refinement, and Proof. Prentice Hall International Series in Computer Science. Prentice Hall, 1996