Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

6

ACSD
2007
IEEE

favoriteEmaildiscussreport

116views Hardware» more ACSD 2007»

A Formal Model for Integrating Multiple Views

13 years 10 months ago

A Formal Model for Integrating Multiple Views

Download www.cs.bham.ac.uk

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

Real-time Traffic

ACSD 2007 | Hardware | UML 2.0 | UML 2.0 Diagrams/notation | UML 2.0 Notation |

claim paper

Related Content

» 3D Human Body Model Acquisition from Multiple Views

» A Formal Approach to the Generation of Visual Language Environments Supporting Multiple Vi...

» 3D Modeling from Multiple Views with Integrated Registration and Data Fusion

» Registration and Integration of Multiple Object Views for 3D Model Construction

» Integrating Multiple Model Views for Object Recognition

» A Formal Approach to Heterogeneous Software Modeling

» Mappings Between Domain Models in Answer Set Programming

» Integrating Formal Description Techniques

» Surface Reconstruction by Integrating 3D and 2D Data of Multiple Views

Post Info
More Details (n/a)

Added	02 Jun 2010
Updated	02 Jun 2010
Type	Conference
Year	2007
Where	ACSD
Authors	Juliana Küster Filipe Bowles, Behzad Bordbar

Comments (0)