Skip to main content
DORAS
DCU Online Research Access Service
Login (DCU Staff Only)
Defining theoretical foundations to unified metamodel for model reusability

Thangaraj, Jagadeeswaran ORCID: 0000-0002-2721-0898 and Ulaganathan, Senthilkumaran (2020) Defining theoretical foundations to unified metamodel for model reusability. Recent Advances in Computer Science and Communications, 13 (4). 620- 626. ISSN 2666-2558

Full text available as:

[img]
Preview
PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
961kB

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.

Item Type:Article (Published)
Refereed:Yes
Uncontrolled Keywords:Formal framework;theoretical foundation; unified metamodel; model transformation; USE; Spec#
Subjects:Computer Science > Computer engineering
Computer Science > Computer software
Computer Science > Software engineering
DCU Faculties and Centres:DCU Faculties and Schools > Faculty of Engineering and Computing > School of Computing
Publisher:Bentham Science Publisher
Official URL:https://dx.doi.org/10.2174/2213275911666190320160115
Copyright Information:© 2020 Bentham Science Publishers
Use License:This item is licensed under a Creative Commons Attribution-NonCommercial-Share Alike 3.0 License. View License
ID Code:26843
Deposited On:17 May 2022 11:42 by Jagadeeswaran Thangaraj . Last Modified 17 May 2022 11:42

Downloads

Downloads per month over past year

Archive Staff Only: edit this record

Altmetric
- Altmetric
+ Altmetric
  • Student Email
  • Staff Email
  • Student Apps
  • Staff Apps
  • Loop
  • Disclaimer
  • Privacy
  • Contact Us