Sciweavers

Share
ACSD
2007
IEEE

A Formal Model for Integrating Multiple Views

12 years 3 months ago
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.
Juliana Küster Filipe Bowles, Behzad Bordbar
Added 02 Jun 2010
Updated 02 Jun 2010
Type Conference
Year 2007
Where ACSD
Authors Juliana Küster Filipe Bowles, Behzad Bordbar
Comments (0)
books