Specifying the Behavior of UML Collaborations Using Object-Z

UML is a standard modelling language that is able to specify a wide range of object-oriented concepts. Among them, we have collaborations, that serve to realise use cases, a powerful abstraction concept. The behaviour part of a collaboration is rendered using collaboration diagrams. However, the lack of formalisation compromises the precision of the specification. By using formal description techniques, such as Object-Z, we can reason about the requirements and identify ambiguities and inconsistencies earlier in the development process. In general, we can say that formalisation helps obtaining a more reliable system. Our aim is to formalise collaborations Object-Z class schemas. This is accomplished by proposing an integrated formal process.

[1]  Coln Atkinson,et al.  Object-oriented development: The fusion method , 1996 .

[2]  Ivar Jacobson,et al.  The Unified Modeling Language User Guide , 1998, J. Database Manag..

[3]  Ana Moreira,et al.  Adding rigour to object-oriented analysis , 1996, Softw. Eng. J..

[4]  J. Michael Spivey,et al.  The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.

[5]  William E. Lorensen,et al.  Object-Oriented Modeling and Design , 1991, TOOLS.

[6]  Graeme Smith,et al.  The Object-Z Specification Language , 1999, Advances in Formal Methods.

[7]  Ivar Jacobson,et al.  Object-oriented software engineering - a use case driven approach , 1993, TOOLS.

[8]  Gunnar Övergaard,et al.  A Formal Approach to Collaborations in the Unified Modeling Language , 1999, UML.

[9]  João Araújo,et al.  Integrating Object-Oriented Analysis and Formal Specification , 1998, J. Braz. Comput. Soc..

[10]  R. G. Clark,et al.  Constructing formal specifications from informal requirements , 1997, Proceedings Eighth IEEE International Workshop on Software Technology and Engineering Practice incorporating Computer Aided Software Engineering.

[11]  Robert B. France,et al.  An Integrated Object-Oriented and Formal Modeling Environment , 1997, J. Object Oriented Program..

[12]  Zohar Manna,et al.  The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.

[13]  Jonathan Hammond,et al.  Producing Z Specifications from Object-Oriented Analysis , 1994, Z User Workshop.

[14]  Kevin Lano.  Z++, An Object-orientated Extension to Z , 1990, Z User Workshop.

[15]  Kevin Lano,et al.  Formal object-oriented development , 1995, FACIT: Formal approaches to computing and information technology.

[16]  Janusz Zalewski,et al.  Object-oriented software engineering. A use case driven approach , 1993 .

[17]  Stephen J. Mellor,et al.  Object lifecycles: modeling the world in states , 1992 .

[18]  Anthony Hall.  Specifying and Interpreting Class Hierarchies in Z , 1994, Z User Workshop.

[19]  David A. Carrington,et al.  Formalizing the UML Class Diagram Using Object-Z , 1999, UML.

[20]  Grady Booch,et al.  Object-Oriented Design with Applications , 1990 .

[21]  강문설.  [서평]「The Unified Modeling Language User Guide」 , 1999 .