Abstract
Background: In model-driven development, model transformation transforms one model
to another between different phases of software engineering. In model transformation, metamodel
plays a vital role which defines the abstract syntax of models and the interrelationship between their
elements. A unified metamodel defines an abstract syntax for both source and target models when
they share core elements. Theoretical approaches define language and platform independent representation
of models in software engineering. This paper investigates the theoretical foundation to
this unified meta-modelling for their consistent transformation.
Objective: This paper aims to define the formal foundations to the unified metamodel for generating
implementation from design specifications and model reusability.
Method: In this paper, the study considers transformation from design to implementation and vice
versa using theoretical foundations to build a verified software system.
Results: The related tools provide a formal representation of the design phase for verification purpose.
Our approach provides a set-theoretical foundation to the unified metamodel for model transformation
from USE (UML/OCL) to Spec#. In other words, our approach defines the formal foundation
to define a model which consists of all the required properties for verification at the design
and implementation phase.
Conclusion: This paper introduced a new set of the theoretical framework which acts as an interface
between the design and implementation to generate verified software systems.
Keywords:
Formal framework, theoretical foundation, unified metamodel, model transformation, USE, Spec#.
Graphical Abstract
[2]
J. Thangaraj, and S. Ulaganathan, "A formal framework to unified metamodel for consistent transformation".In PhD Symposium at iFM’18 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM’18) Research report 483, 2018. ISBN 978-82-7368- 435-6 ISSN 0806-3036,
[4]
M. Farrell, "Event-B in the institutional framework: Defining a semantics, modularisation constructs and interoperability for a specification language", PhD Thesis, Department of Computer Science, Maynooth University, Maynooth, 2017.
[5]
S. Sepúlveda, C. Cares, and C. Cachero, "Towards a unified feature metamodel: A systematic comparison of feature languages", In: 7th Iberian Conference on Information Systems and Technologies (CISTI 2012), Madrid, 2012, pp. 1-7.
[6]
A. Fayoumi, E. Kavakli, and P. Loucopoulos, "Towards a unified meta-model for goal oriented modelling", In: European, Mediterranean & Middle Eastern Conference on Information Systems (EMCIS), 2015, pp. 1-10. ISBN 9789606897085.
[7]
H. Ergin, and E. Syriani, "A unified template for model transformation design patterns", In: Patterns in Model Engineering, Colocated with Software Technologies: Applications and Foundations STAF, 2015, pp. 27-30.
[11]
M.V. Cengarle, and A. Knapp, "An institution for UML 2.0 static structures", Technical Report TUM-I0807, Technische Universität München, München, .
[12]
A. Achouri, "Towards a semantic for UML activity diagram based on institution theory for its transformation to event-B model", In: 4th International Conference on Computer Science & Information Technology - CSCP 4, 2014, pp. 123-138.
[13]
A. Knapp, and M.V. Cengarle, "Institutions for OCL-like expression languages", In: Software, Services, and Systems.Lecture Notes in Computer Science, Springer, Cham., vol. 8950. 2015.
[15]
M. Farrell, R. Monahan, and J.F. Power, An institution for event-B . In Recent Trends in Algebraic Development Techniques, WADT
[16]
N. Messaoudi, A. Chaoui, and M. Bettaz, "An approach to UML consistency checking based on compositional semantics", Int. J. Embed. Real-Time Commun. Syst., vol. 8, no. 2, pp. 1-23, 2017.
[17]
B. Falah, M. Akour, I. Arab, and M. Yassine, "An attempt towards a formalizing UML class diagram semantics", In: New Trends in Information Technology (NTIT 2017)., The University of Jordan: Amman, Jordan, pp. 21-27 ,2018.
Download PDF Flyer