• Dec 26, 2017 News!Vol. 4, No. 1-No.3 has been indexed by EI (Inspec).   [Click]
  • Dec 26, 2017 News!Vol. 3, No. 4 has been indexed by EI (Inspec).   [Click]
  • Dec 25, 2017 News!Welcome to 2018 7th International Conference on Software and Computing Technologies (ICSCT 2018), which will be held in Kuala Lumpur during April 7-9, 2018.   [Click]
General Information
    • ISSN: 2301-3559
    • Frequency: Quarterly
    • DOI: 10.18178/LNSE
    • Editor-in-Chief: Prof. Jemal Antidze
    • Executive Editor: Ms. Nina Lee
    • Abstracting/ Indexing: EI (INSPEC, IET), Electronic Journals Library,  Ulrich's Periodicals Directory, International Computer Science Digital Library (ICSDL), ProQuest and Google Scholar.
    • E-mail: lnse@ejournal.net
Prof. Jemal Antidze
I. Vekua Scientific Institute of Applied Mathematics
Tbilisi State University, Georgia
I'm happy to take on the position of editor in chief of LNSE. We encourage authors to submit papers concerning any branch of Software Engineering.

LNSE 2013 Vol.1(1): 39-43 ISSN:2301-3559
DOI: 10.7763/LNSE.2013.V1.9

A Modeling and Verification Approach Based on Graph Transformation

Wafa Chama, Raida Elmansouri, and Allaoua Chaoui

Abstract—UML is a standard modeling language with an open notation and several concepts to be widely used in software modeling. However UML suffers from a lack of formal semantics. So, their models still need to be formally checked against incoherencies or inconsistencies. To reach this goal we propose in this paper, a framework and a tool based on graph transformation allowing an automatic translation of some UML diagrams to equivalent Maude formal specifications. To realize this automatic mapping we use UML Class diagram formalism to define three meta-models. The first one for Class Diagram, the second for State Machine Diagram and the third for the Communication Diagram. Then, we propose a graph grammar to generate Maude specifications of the UML diagrams based on theses meta-models. The meta-modeling tool AToM3 is used to produce our visual modeling tool according to the proposed UML meta-models. An example is presented to illustrate our approach.

Index Terms—AToM3 tool, graph grammar, maude specification, meta-model.

The authors are with the MISC laboratory (Manipulation et Implémentation des Systèmes Critique), Department of Computer Science, Faculty of Engineering, University Mentouri2 Constantine, Algeria. (e-mail: wafachama@gmail.com, raidaelmansouri@yahoo.fr, a_chaoui2001@yahoo.com).


Cite: Wafa Chama, Raida Elmansouri, and Allaoua Chaoui, "A Modeling and Verification Approach Based on Graph Transformation," Lecture Notes on Software Engineering  vol. 1, no. 1, pp. 39-43, 2013.

Copyright © 2008-2015. Lecture Notes on Software Engineering. All rights reserved.
E-mail: lnse@ejournal.net