Interpreting the object constraint language

Proceedings - 1998 Asia Pacific Software Engineering Conference, APSEC 1998

Volumn 1998-December, Issue , 1998, Pages 288-295

  Hamie, Ali ^a   Howse, John ^a   Kent, Stuart ^a  

^a UNIVERSITY OF BRIGHTON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS; UNIFIED MODELING LANGUAGE;

DIAGRAMMATIC NOTATION; INTEGRITY CHECKING; OBJECT CONSTRAINT LANGUAGE; TEXTUAL LANGUAGE; UML MODEL;

SOFTWARE ENGINEERING;

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

References (21)

1. Rational Software Corporation, Object Constraint Language Specification, Version 1.1, http://www.rational.com, 1997.
2. A. Kleppe, J. Warmer, and S. Cook, "Informal Formality? The Object Constraint Language and its application in the metamodel", Proc. Of UML'98 International Workshop, P. Muller and J. Bezivin, ed., Mulhouse, France, June 3-4, 1998, pp. 127-136.
3. S. Cook, and J. Daniels, Designing Object Systems: Object-Oriented Modelling with Syntropy, Prentice-Hall, Hemel Hempstead, UK, 1994, p. 389.
4. D. D'Souza, and A. Wills, Objects, Components and Frameworks with UML: The Catalysis Approach, book submitted for publication by Addison-Wesley, UK, 1998, also available at http://www.trireme.com/catalysis.
5. J. Rumbaugh, M. Blaha, W. Premerali, F. Eddy, and W. Lorensen, Object-Oriented Modelling and Design, Prentice-Hall, Emglewood Cliffs, New Jersy, 1991, p. 500.
6. Rational Software Corporation, The Unified Modeling Language, Version 1.1, http://www.rational.com, 1997.
7. C. Jones, Systematic Software Development using VDM (2nd edition), Prentice-Hall, Hemel Hempstead, UK, 1990, p. 333.
8. M. Spivey, The Z notation (2nd ed.), Prentice Hall, UK, 1992.
9. 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.
10. H. Bourdeau, and B. Cheng, "A Formal Semantics for Object Model Diagrams", IEEE Transactions on Software Engineering, Vol. 21, No. 10, 1995, pp. 799-821.
11. R. France, J. Bruel, M. Larrondo-Petrie, and M. Shroff, "Exploring The Semantics of UML Type Structures with Z", Proc. Int'l Workshop on Formal Methods for Object-Based Distributed Systems (FMOODS'97), Chapman and Hall, London, 1997, pp. 247-260.
12. J. Bicarregui, K. Lano, and T. Maibaum, "Towards a Compositional Interpretation of Object Diagrams", Proc. IFIP TC2 Working conference on Algorithmic Languages and Calculi, Chapman and Hall, 1997.
13. J. Bicarregui, K. Lano, and T.S.E Maibaum, "Objects, Associations and Subsystems: a hierarchical approach to encapsulation", Proc. European Conf. Of Object-Oriented Programming (ECOOP'97), LNCS 1241, Springer-Verlag, 1997, pp. 324-343.
14. J. Fiadeiro, and T. Maibaum, "Temporal Theories and Modularisation Units for Concurrent System Specification", Formal Aspects of Computing, Springer-Verlag, Vol. 4, No. 3, 1992, pp. 239-272.
15. A. Hamie, and J. Howse, "Interpreting Syntropy in Larch", Tech. Report ITCM97/C1, Computing Division, University of Brighton, Brighton, UK, 1997.
16. A. Hamie, J. Howse, and S. Kent, "Navigation Expressions in Object-Oriented Modelling", Proc. Of FASE in ETAPS98, LNCS, 1382, Springer-Verlag, 1998, pp. 123-137.
17. A. Hamie, J. Howse, and S. Kent, "Modular Semantics of Object-Oriented Models", to be published in the proceedings of the Third Northern Formal Methods WorkShop, UK, 1998.
18. S. Kent, "Constraint Diagrams: Visualising Invariants in Object-Oriented Models", Proc. Of OOPSLA97, ACM Press, 1997.
19. S. Kent, " Visualising Contracts in Object-Oriented Models", Proc. VISUAL98 in ETAPS'98, Lisbon, Portugal, 1998.
20. J. Guttag, and J. Horning, Larch: Languages and Tools for Formal Specifications, Springer-Verlag, 1993.
21. M. Fowler, and K. Scott, UML Distilled, Addison-Wesley, 1997, p. 179.