Abstract—The block concept is a fundamental modeling construct in the Systems Modeling Language (SysML), a visual modeling language for systems engineering applications. In a top-down systems engineering approach, an abstract block is decomposed into concrete communicating sub-blocks. However, the classifier behavior of the abstract block must be exhibited by the composition of the concrete sub-blocks. We show how the process algebra Communicating Sequential Processes (CSP) and its associated refinement checker, Failures Divergence Refinement (FDR), may be used to ensure that such decompositions are valid. We introduce a small case study in order to validate the approach.
Index Terms—Systems modeling language, communicating sequential processes, composability.
Jaco Jacobs is with the Department of Computer Science, University of Oxford (e-mail: jaco.jacobs@cs.ox.ac.uk).
Andrew Simpson was with the Software Engineering at the University of Oxfor.
[PDF]
Cite:Jaco Jacobs and Andrew Simpson, "A Process Algebraic Approach to Decomposition of Communicating SysML Blocks," International Journal of Modeling and Optimization vol. 3, no. 2, pp. 153-157, 2013.