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.
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 *