A Formal Approach to Collaborations in the Unified Modeling Language

1. G. Booch. Object-Oriented Design with Applications. Redwood City, 1991.

   Google Scholar 

2. R. Breu, U. Hinkal C. Hofmann, C. Klein, B. Paech, B. Rumpe, and V. Thurner. Towards a Formalization of the Unified Modelling Language. In M. Aksit and S. Matsuoka, editors, Proceedings of the 11th European Conference on Object-Oriented Programming, ECOOP’97, Lecture Notes in Computer Science 1241, pages 344–366. Springer-Verlag, June 1997.

   Google Scholar 

3. T. Clark and A. Evans. Foundations of the Unified Modelling Language. In Proceedings of The Second Northern Formal Methods Workshop. Springer-Verlag, 1997.

   Google Scholar 

4. A. Evans, R. France, K. Lano, and B. Rumpe. Developing the UML as a Formal Modelling Notation. In P.-A. Muller and J. Bézivin, editors, Proceedings of the Unified Modelling Language: UML’98: Beyond the Notation, Lecture Notes in Computer Science 1618. Springer-Verlag, 1999.

   Google Scholar 

5. R. France, A. Evans, K. Lano, and B. Rumpe. The UML as a Formal Modelling Notation. Computer Standards and Interfaces, 1998.

   Google Scholar 

6. D. Harel and E. Gery. Executable Object Modelling with Statecharts. IEEE Computer, 30(7):31–42, July 1997.

   Google Scholar 

7. I. Jacobson, M. Christerson, P. Jonsson, and G. Övergaard. Object-Oriented Software Engineering: A Use Case Driven Approach. Addison-Wesley, 1993.

   Google Scholar 

8. I. Jacobson, J. Rumbaugh, and G. Booch. The Unified Software Development Process. Addison-Wesley, 1999.

   Google Scholar 

9. K. Lano and J. Bicarregui. Semantics and Transformations for UML Models. In P.-A. Muller and J. Bézivin, editors, Proceedings of the Unified Modelling Language: UML’98: Beyond the Notation, Lecture Notes in Computer Science 1618. Springer-Verlag, 1999.

   Google Scholar 

10. Object Management Group, Framingham Corporate Center, 492 Old Connecticut Path, Framingham MA 01701-4568. OMG Unified Modelling Language Specification, version 1.3, June 1999. http://www.omg.org/cgi-bin/doc?ad/99-06-08.

11. G. Övergaard. A Formal Approach to Relationships in the Unified Modelling Language. In M. Broy, D. Coleman, T. S. E. Maibaum, and B. Rumpe, editors, Proceedings PSMT’98 Workshop on Precise Semantics for Software Modelling Techniques, pages 91–108. Technische Universitæt, München, Germany, TUM-I9803, April 1998.

    Google Scholar 

12. G. Övergaard and K. Palmkvist. A Formal Approach to Use cases and Their Relationships. In P.-A. Muller and J. Bézivin, editors, Proceedings of the Unified Modelling Language: UML’98: Beyond the Notation, Lecture Notes in Computer Science 1618. Springer-Verlag, 1999.

    Google Scholar 

13. T. Reenskaug, P. Wold, and O. A. Lehne. Working with Objects: The OOram Software Engineering Method. Manning Publications, 1996.

    Google Scholar 

14. J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object-Oriented Modelling and Design. Prentice-Hall, Englewood Cliffs, 1991.

    Google Scholar 

15. B. Selic, G. Gullekson, and P. Ward. Real-Time Object-Oriented Modelling. John Wiley and Sons, 1994.

    Google Scholar 

16. M. Shroff and R. B. France. Towards a Formalization of UML Class Structures in Z. In Proceedings of Twenty-First Annual International Computer Software and Applications Conference (COMPSAC’97), pages 646–651. IEEE Computer Society, 1997.

    Google Scholar 

Download references