论文信息 - Formalising the UML in Structured Temporal Theories

Formalising the UML in Structured Temporal Theories

In this chapter we describe a possible semantics for a large part of the Unified Modelling Notation (UML), using structured theories in a simple temporal logic. This semantic representation is suitable for modular reasoning about UML models. We show how it can be used to clarify certain ambiguous cases of UML semantics, and how to justify enhancement or refinement transformations on UML models.

Kevin Lano | Juan Bicarregui

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

[2] Chris Dollin,et al. Object-oriented development: the fusion method , 1994 .

[3] Colin Atkinson,et al. An approach to process description using fusion , 1995 .

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

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

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

[7] Martin Gogolla,et al. Transformation Rules for UML Class Diagrams , 1998, UML.

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

[9] Roel Wieringa,et al. Roles and Dynamic Subclasses: A Modal Logic Approach , 1994, ECOOP.

[10] Kevin Lano,et al. UML refinement and abstraction transformations , 1998 .

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