A Formal Model for Integrating Multiple Views

In this paper we show how to use labelled event structures as a unique mathematical representation for design models consisting of different UML 2.0 diagrams/notation. Each diagram is used to capture a particular aspect or view of the system including structural and behavioural aspects. Our approach enables the analysis of complex systems designed in a combination of UML 2.0 notation, and serves as a means to detect inconsistencies in design.

• Type: Conference
• Year: 2007
• Where: ACSD
• Authors: Juliana Küster Filipe Bowles, Behzad Bordbar
• Keywords: ACSD 2007, Hardware, UML 2.0, UML 2.0 Diagrams/notation, UML 2.0 Notation