Enhancing the Object Constraint Language for more expressive specifications

Proceedings - 6th Asia Pacific Software Engineering Conference, APSEC 1999

Volumn , Issue , 1999, Pages 376-383

  Hamie, Ali ^a  

^a UNIVERSITY OF BRIGHTON   (United Kingdom)

Author keywords

constraints; modelling; OCL; specification; UML

Indexed keywords

MODELING LANGUAGES; MODELS; OBJECT ORIENTED PROGRAMMING; SOFTWARE ENGINEERING; SPECIFICATION LANGUAGES; SPECIFICATIONS;

BEHAVIORAL INTERFACES; CASE ANALYSIS; CONSTRAINTS; OBJECT CONSTRAINT LANGUAGE; OBJECT ORIENTED MODEL; POSTCONDITIONS-OF-OPERATIONS; TIME BASED;

C++ (PROGRAMMING LANGUAGE);

EID: 34249300274     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/APSEC.1999.809626     Document Type: Conference Paper

References (27)

1. A. Borgida, J. Mylopoulos, and R. Reiter, On the Frame Problem in Procedure Specifications, IEEE Transactions in Software Engineering, 1995; Vol. 21, No. 10.
2. S. Cook, and J. Daniels, Designing Object Systems: Object-Oriented Modelling with Syntropy, Prentice-Hall, Hemel Hempstead, UK, 1994, p. 389.
3. K. Dhara and G. Leavens, Forcing behavioral subtyping through specification inheritance, In Proceedings of the 18th International Conference on Software Engineering, IEEE Computer Society Press, 1996.
4. D. D'Souza, and A. Wills, Objects, Components and Frameworks with UML: The Catalysis Approach, Addison-Wesley, UK, 1998, also available at http:// www. trireme. com/catalysis.
5. M. Fowler, and K. Scott, LJML Distilled, Addison-Wesley, 1997, p. 179.
6. S. J. Garland, J. Guttag, and J. H. Homing, Debugging Larch Shared Language specifications, IEEE Transactions on software Engineering, 16 (6):1044-1057.
7. J. Guttag, and J. Homing, Larch: Languages and Tools for Formal Specifications, Springer-Verlag, 1993.
8. J. Guttag, J. Homing, S. Garland, K. Jones, A. Modet, and J. Wing, Larch: Languages and Tools for Formal Specifications, Springer-Verlag, New York, N. Y., 1992.
9. C. Jones, Systematic Software Development using VDM (2nd edition), Prentice-Hall, Hemel Hempstead, UK, 1990, p. 333.
10. A. Kleppe, J. Warmer, and S. Cook, "Informal Formality? The Object Constraint Language and its application in the UML metamodel", Proc. of UML'98 International Workshop, P. Muller and J. Bezivin, ed., Mulhouse, France, June 3-4, 1998, pp. 127-136.
11. S. Kent, "Constraint Diagrams: Visualising Invariants in Object-Oriented Models", Proc. of OOPSLA97, ACM Press, 1997.
12. G. Leavens, A. Baker, and C. Ruby, Preliminary Design of JML: A Behavioral Interface Specification Language for Java. Technical Report, TR98-06, Dept. Computer Science, Iowa State University, USA, February 1999.
13. G. Leavens, and A. Baker, Enhancing the Pre-and Postcondition Technique for More Expressive Specifications, Technical Report, TR97-19a, Dept. Computer Science, Iowa State University, USA, September 1997, revised February 1999.
14. G. Leavens, An overview of larch/C++: Behavioral specifications for C++ modules, In Haim Kilov and william Harvey, editors, Specification of Behavioral Semantics in Object-Oriented Information Modelling, chapter 8, pages 121-142. Kluwer Academic Publishers, Boston, 1996.
15. G. Leavens, Larch/C++ Reference Manual, version 5. 25, Available in ftp://ftp. cs. iastate. edu/pub/larchc++/ 1cpp. gz or on the World Wide Web at http:// www. cs. iastate. edu/-leavendlarchctt, J anuary 1999.
16. B. Liskov and J. Wing, A behavioral notion of subtyping, ACM Transactions on Programming Languages and Systems, 16 (6): 181 1-1 841, 1994.
17. B. Liskov and J. Wing, A, Specifications and their use in defining subtypes, ACM SIGPLAN Notices, 28 (10)16-28, 1993, 00PSLA'93 Proceedings.
18. A. Hamie, F. Civello, J. Howse, S. Kent, and R. Mitchell, "Reflections on the Object Constraint Language", Proc. of UML'98 International Workshop, P. Muller and J. Bezivin, ed., Mulhouse, France, June 3-4, 1998, pp. 137-145.
19. S. Stepney, R. Barden, and D. Cooper, editors, Object Orientation in Z, Workshops in Computing, Springer, UK, 1992.
20. M. Spivey, The Z notation (2nd ed.), Prentice Hall, UK, 1992.
21. Rational Software Corporation, Object Constraint Language Specification, Version 1. 1, http://www. rational. com, 1997.
22. Rational Software Corporation, The Unified Modeling Language, Version 1. l, http://www. rational. com, 1997.
23. J. Rumbaugh, M. Blaha, W. Premerali, E Eddy, and W. Lorensen, Object-Oriented Modelling and Design, Prentice-Hall, Emglewood Cliffs, New Jersy, 1991, p. 500.
24. Warmer, J., and Kleppe, A., The Object Constraint language: Precise Modelling with UML. Addison-Wesley, 1999.
25. Warmer, J., and Kleppe, A., OCL : The Constraint Language of the UML. JOOP, May, 1999.
26. A. Wills, Specification in Fresco, In Stepney et a1 [19], chapter 1 1, pages 127-135.
27. J. Wing, A two-tiered approach to specifying programs, Technical Report TR-299, Massachusetts Institute of technology, laboratory for Computer Science, 1983.