SysML Blocks Adaptation

Regarding the increasing complexity of today’s systems, system engineering domain knows a constant evolution in term of processes and paradigms (Object Oriented, Component Oriented). SysML constitutes a new trends of system engineering which allows to model the system as a set of blocks. In this paper, we propose a bottom-up approach to build a system, based on its partial specifications. Our goal consists on proposing a methodology which allows to a system architect, in order to build a reliable system, to start from an abstract specification of a system, that we model as a SysML composite block, and then select a set of suitable blocks to meet this specification. The approach is based on reusing and adapting formally SysML blocks using a converter-complement block, which plays the role of a mediator between the reused blocks and the rest part of the system.

[1]  Carlos Canal,et al.  Adaptation of Asynchronously Communicating Software , 2014, ICSOC.

[2]  Antonio Brogi,et al.  A formal approach to component adaptation , 2005, J. Syst. Softw..

[3]  Samir Chouali,et al.  Adaptation sémantique des protocoles des composants par les automates d'interface , 2012, Tech. Sci. Informatiques.

[4]  Carlos Canal,et al.  Adaptation de composants logiciels Une approche automatisée basée sur des expressions régulières de vecteurs de synchronisation , 2006, CAL.

[5]  S. Ramesh,et al.  Interface synthesis and protocol conversion , 2008, Formal Aspects of Computing.

[6]  Paola Inverardi,et al.  Software Architecture for Correct Components Assembly , 2003, SFM.

[7]  Samir Chouali,et al.  Formal verification of components assembly based on SysML and interface automata , 2011, Innovations in Systems and Software Engineering.

[8]  Hassan Mountassir,et al.  A Petri Net Approach for Reusing and Adapting Components with Atomic and non-atomic Synchronisation , 2014, PNSE @ Petri Nets.

[9]  Gwen Salaün,et al.  An Adaptation-based Approach to Incrementally Build Component Systems , 2007, Electron. Notes Theor. Comput. Sci..

[10]  Petru Eles,et al.  Formal verification of component-based designs , 2007, Des. Autom. Embed. Syst..

[11]  Carlos Canal,et al.  Model-Based Adaptation of Behavioral Mismatching Components , 2008, IEEE Transactions on Software Engineering.

[12]  Carlos Canal,et al.  Synchronizing Behavioural Mismatch in Software Composition , 2006, FMOODS.

[13]  Samir Chouali,et al.  Formalizing and verifying compatibility and consistency of SysML blocks , 2012, SOEN.