Sequence diagrams depict the interaction between entities as a sequence of messages arranged in a temporal order. However, they lack a formal execution semantics: the Unified Modeling Language (UML) specification opts to use natural language to describe fundamental concepts such as interaction operators that alter the behaviour of a fragment. Communicating Sequential Processes (CSP) is a process-algebraic formalism that is suited to modelling patterns of behavioural interaction. Moreover, the associated refinement checker, Failures-Divergence Refinement (FDR), gives rise to a practical approach that enables us to reason about these interactions in a formal setting. In this paper, we show how CSP and FDR have been used to provide a process-algebraic representation of sequence diagrams that is amenable to refinement-checking.
CITATION STYLE
Jacobs, J., & Simpson, A. (2015). On a process algebraic representation of sequence diagrams. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8938, pp. 71–85). Springer Verlag. https://doi.org/10.1007/978-3-319-15201-1_5
Mendeley helps you to discover research relevant for your work.