• Apr 24, 2017 News! Vol.6, No.4 has been indexed by EI (Inspec).   [Click]
  • May 08, 2018 News!The papers published in Vol.8, No. 1-No. 2 have all received dois from Crossref.
  • May 04, 2018 News!Vol 8, No 2 has been published with online version 12 original aritcles from 6 countries are published in this issue    [Click]
General Information
Prof. Adrian Olaru
University Politehnica of Bucharest, Romania
I'm happy to take on the position of editor in chief of IJMO. It's a journal that shows promise of becoming a recognized journal in the area of modelling and optimization. I'll work together with the editors to help it progress.
IJMO 2013 Vol.3(2): 153-157 ISSN: 2010-3697
DOI: 10.7763/IJMO.2013.V3.257

A Process Algebraic Approach to Decomposition of Communicating SysML Blocks

Jaco Jacobs and Andrew Simpson
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.


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.

Copyright © 2008-2015.International Journal of Modeling and Optimization. All rights reserved.
E-mail: ijmo@iacsitp.com