Title: SysML model-driven approach to verify blocks compatibility

Authors: Hamida Bouaziz; Samir Chouali; Ahmed Hammad; Hassan Mountassir

Addresses: FEMTO-ST Institute, University of Bourgogne Franche-Comté, Besançon, France ' FEMTO-ST Institute, University of Bourgogne Franche-Comté, Besançon, France ' FEMTO-ST Institute, University of Bourgogne Franche-Comté, Besançon, France ' FEMTO-ST Institute, University of Bourgogne Franche-Comté, Besançon, France

Abstract: In the component paradigm, the system is seen as an assembly of heterogeneous components, where the system reliability depends on these components compatibility. In our approach, we focus on verifying compatibility of components modelled with SysML diagrams. Thus, we model component interactions with sequence diagrams (SDs) and components with SysML blocks. The SDs constitutes a good start point for compatibility verification. However, this verification is still inapplicable directly on SDs, because they are expressed in informal language. Thus, to apply a verification method, it is necessary to translate the SDs into formal models, and then verify the wanted properties. In this paper, we propose a high-level model-driven approach which consists of an ATL grammar that automates the transformation of SDs into interface automata. Also, to allow an easy use of Ptolemy tool to verify properties on automata, we have proposed some Acceleo templates, which generate the Ptolemy entry specification.

Keywords: model-driven; SysML; sequence diagram; SD; interface automata; ATL; Acceleo.

DOI: 10.1504/IJCAET.2019.098134

International Journal of Computer Aided Engineering and Technology, 2019 Vol.11 No.2, pp.206 - 231

Received: 26 Feb 2016
Accepted: 21 Oct 2016
Published online: 05 Mar 2019 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article