Title :
A Formal Model for Integrating Multiple Views
Author :
Bowles, J.K.F. ; Bordbar, B.
Author_Institution :
Univ. of Birmingham, Birmingham
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;
Conference_Titel :
Application of Concurrency to System Design, 2007. ACSD 2007. Seventh International Conference on
Conference_Location :
Bratislava
Print_ISBN :
0-7695-2902-X
DOI :
10.1109/ACSD.2007.39
