Towards Formalizing UML Activity Diagrams in CSP

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...

Full description

Saved in:
Bibliographic Details
Main Authors: Dong Xu, Philbert, N., Zongtian Liu, Wei Liu
Format: Conference Proceeding
Language:English
Subjects:
Computer science
CSP
Erbium
Formal languages
Formalizing
Performance analysis
Software design
System recovery
UML Activity diagrams
Unified modeling language
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
DOI:10.1109/ISCSCT.2008.379