Title :
Towards Formalizing UML Activity Diagrams in CSP
Author :
Xu, Dong ; Philbert, Nduwimfura ; Liu, Zongtian ; Liu, Wei
Author_Institution :
Sch. of Comput. Sci., Shanghai Univ., Shanghai, China
Abstract :
The UML activity diagrams (ADs), are lack of formal semantics in UML official specifications and therefore they cannot be performed formal system behavior analysis. This paper firstly employs the Hoare´s CSP (communicating sequential processes) to formalize the behaviors of UML ADs and hence it can provide an approach to model checking UML ADs during software analysis or design stage since CSP is supported by model-checkers such as FDR.
Keywords :
Unified Modeling Language; communicating sequential processes; formal specification; program diagnostics; FDR; UML activity diagrams; UML official specifications; communicating sequential processes; design stage; formal semantics; formal system behavior analysis; model checking; software analysis; Computer science; Erbium; Formal languages; Performance analysis; Software design; System recovery; Unified modeling language; CSP; Formalizing; UML Activity diagrams;
Conference_Titel :
Computer Science and Computational Technology, 2008. ISCSCT '08. International Symposium on
Conference_Location :
Shanghai
Print_ISBN :
978-1-4244-3746-7
DOI :
10.1109/ISCSCT.2008.379
