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.
%0 Conference Paper
%1 xu_towards_2008
%A Xu, Dong
%A Philbert, N.
%A Liu, Zongtian
%A Liu, Wei
%B Computer Science and Computational Technology, 2008. ISCSCT '08. International Symposium on
%D 2008
%K , Language; UML}, Unified}, activity, analysis; behavior, checking; communicating, design, diagnostics; formal, model, modeling, official, processes; program, semantics; sequential, software, specification; specifications; stage; system {FDR; {analysis; {diagrams;
%P 450 --453
%R 10.1109/ISCSCT.2008.379
%T Towards Formalizing UML Activity Diagrams in CSP
%V 2
%X 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.
@inproceedings{xu_towards_2008,
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.}},
added-at = {2013-02-28T11:13:35.000+0100},
author = {Xu, Dong and Philbert, N. and Liu, Zongtian and Liu, Wei},
biburl = {https://www.bibsonomy.org/bibtex/2bbc8c0b2910c5291aefa7625756dae86/fritzsolms},
booktitle = {{Computer Science and Computational Technology, 2008. {ISCSCT} '08. International Symposium on}},
doi = {10.1109/ISCSCT.2008.379},
interhash = {8eeb63ed72fa045e0e5e1efefcad397c},
intrahash = {bbc8c0b2910c5291aefa7625756dae86},
keywords = {, Language; UML}, Unified}, activity, analysis; behavior, checking; communicating, design, diagnostics; formal, model, modeling, official, processes; program, semantics; sequential, software, specification; specifications; stage; system {FDR; {analysis; {diagrams;},
lccn = {0006},
month = dec,
pages = {450 --453},
timestamp = {2013-02-28T11:14:11.000+0100},
title = {{Towards Formalizing {UML} Activity Diagrams in {CSP}}},
volume = 2,
year = 2008
}