DocumentCode
3107167
Title
A Formal Model for Integrating Multiple Views
Author
Bowles, J.K.F. ; Bordbar, B.
Author_Institution
Univ. of Birmingham, Birmingham
fYear
2007
fDate
10-13 July 2007
Firstpage
71
Lastpage
79
Abstract
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.
Keywords
Unified Modeling Language; formal logic; UML 2.0 diagrams; UML 2.0 notation; formal model; labelled event structures; mathematical representation; multiple views; Computer science; Concurrent computing; Constraint optimization; Design optimization; Event detection; Fault tolerance; Mathematical model; Quality of service; Unified modeling language;
fLanguage
English
Publisher
ieee
Conference_Titel
Application of Concurrency to System Design, 2007. ACSD 2007. Seventh International Conference on
Conference_Location
Bratislava
ISSN
1550-4808
Print_ISBN
0-7695-2902-X
Type
conf
DOI
10.1109/ACSD.2007.39
Filename
4276266
Link To Document