Title: TGG-based process for automating the transformation of UML models towards B specifications

Authors: Seidali Rehab; Allaoua Chaoui

Addresses: MISC Laboratory, Faculty of IT, Department of Computer Science and its Applications, University Constantine 2, Campus nouvelle ville Ali Mendjeli, Constantine, Algeria ' MISC Laboratory, Faculty of IT, Department of Computer Science and its Applications, University Constantine 2, Campus nouvelle ville Ali Mendjeli, Constantine, Algeria

Abstract: The UML notation provides a standard framework for the purpose of object modelling by several diagrams (classes, statecharts, etc.). These form confirmed advantages: re-use of components, high level of abstraction, semantic richness, graphic and synthetic view. Nevertheless, the object-oriented notations lack of formalisation and miss of reliable bases for the analysis and verification of the applications. To overcome this problem, we suggest a solution to the UML graph transformation towards formal methods, in particular the B method. The goal of this paper is to automate the generation of B language, starting from UML class and statechart diagrams by mean of graph grammar rules. This automation is achieved by the tool TGG Interpreter. The major advantage of this transformation: it is a declarative; visual; and formal approach to handle graphs. A lift control system is developed to illustrate our study.

Keywords: Unified Modelling Language; UML diagrams; triple graph grammar; UML graph transformation; B method; object modelling; statechart diagrams; lift control; elevator control.

DOI: 10.1504/IJCAET.2015.071299

International Journal of Computer Aided Engineering and Technology, 2015 Vol.7 No.3, pp.378 - 400

Received: 20 Jun 2013
Accepted: 19 Dec 2013
Published online: 20 Aug 2015 *

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