We found a match
Your institution may have rights to this item. Sign in to continue.
- Title
EQUIVALENCE CHECKING OF COMMUNICATING UML STATECHART DIAGRAMS.
- Authors
LAM, VITUS S. W.; PADGET, JULIAN
- Abstract
We demonstrate how a subset of UML statechart diagrams (SCDs) as distinct from statecharts is encoded in the π-calculus as a number of processes which communicate via a channel-passing interaction paradigm. An extension to the original UML semantics for communicating statechart diagrams is presented. Different sorts of equivalences of UML SCDs encompassing isomorphism, strong behavioural equivalence and weak behavioural equivalence are defined. Determining equivalence of any two UML SCDs is transformed to a problem of checking whether their respective π-calculus process expressions are equivalent. The practicality of the approach is exemplified using an industry level case study.
- Subjects
STATECHARTS (Computer science); CALCULUS software; UNIFIED modeling language; STRUCTURED techniques of electronic data processing; ISOMORPHISM (Mathematics); MATHEMATICAL transformations; CASE studies
- Publication
International Journal of Software Engineering & Knowledge Engineering, 2012, Vol 22, Issue 2, p265
- ISSN
0218-1940
- Publication type
Article
- DOI
10.1142/S0218194012500076