UML refinement and abstraction transformations

Transformations of object-oriented models based on a rigorous underlying semantics represent a means of obtaining the beneets of formal methods without the need for users to reason directly in mathematical formalisms. In this paper we present a set of diagrammatic transformations on UML models which represent reenement or abstraction steps. We show how the correctness of these transformations can be justiied in a suitable semantic model of UML.

[1]  S. J. Goldsack,et al.  Formalising design patterns , 1996, FME 1996.

[2]  K. Lano,et al.  Transformational program analysis , 1994, Softw. Test. Verification Reliab..

[3]  Nancy G. Leveson,et al.  Safeware: System Safety and Computers , 1995 .

[4]  Juha Kuusela,et al.  Object-oriented technology for real-time systems , 1996 .

[5]  Stuart Kent,et al.  Integrating VDM++ and Real-Time System Design , 1997, ZUM.

[6]  Bernhard Rumpe,et al.  Towards a Formalization of the Unified Modeling Language , 1997, ECOOP.

[7]  K. Lano,et al.  Reeingineering legacy applications using design patterns , 1997, Proceedings Eighth IEEE International Workshop on Software Technology and Engineering Practice incorporating Computer Aided Software Engineering.

[8]  John Daniels,et al.  Designing object systems: object-oriented modelling with Syntropy , 1995 .

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

[10]  Kevin Lano,et al.  Objects, Associations and Subsystems: A Hierarchical Approach to Encapsulation , 1997, ECOOP.

[11]  Kevin Lano,et al.  Design of Reactive Control Systems for Event-Drivem Operations , 1997, FME.

[12]  Louis Mussat,et al.  Specification and Design of a Transmission Protocol by Successive Refinements Using B1 , 1997 .

[13]  Tony Clark,et al.  Foundations of the unified modeling language , 1997, FME 1997.

[14]  Kevin Lano,et al.  Logical Specification of Reactive and Real-Time Systems , 1998, J. Log. Comput..

[15]  Bernhard Rumpe,et al.  The UML as a formal modeling notation , 1998, Comput. Stand. Interfaces.