Login Register Cart 0
Generic placeholder image

Recent Advances in Computer Science and Communications

Editor-in-Chief

ISSN (Print): 2666-2558
ISSN (Online): 2666-2566

Back
Journal Home About Journal Editorial Board Current Issue Volumes/Issues
Subscribe
Research Article

Defining Theoretical Foundations to Unified Metamodel For Model Reusability

Author(s): Jagadeeswaran Thangaraj* and Senthilkumaran Ulaganathan

Volume 13, Issue 4, 2020

Page: [620 - 626] Pages: 7

DOI: 10.2174/2213275911666190320160115

Price: $65

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

[1]
H. Shimba, K. Hanada, K. Okano, and S. Kusumoto, "Bidirectional translation between OCL and JML for round-trip engineering", In: 20th Asia-Pacific Software Engineering Conference (APSEC), Bangkok, 2013, pp. 49-54.
[http://dx.doi.org/10.1109/APSEC.2013.111]
[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,
[3]
J. Thangaraj, and S. Ulaganathan, "A comparative study on transformation of UML/OCL to other specifications", Rec. Pat. Comput. Sci., vol. 13, no. 2, pp. 256-264, 2020.
[http://dx.doi.org/10.2174/2213275912666190129121059]
[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.
[8]
M. Broy, K. Havelund, and R. Kumar, "Towards a unified view of modeling and programming", In: International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications. ISoLA, Cham: Springer, 2016.
[http://dx.doi.org/10.1007/978-3-319-47169-3_17]
[9]
J. Thangaraj, and S. Ulaganathan, "Introducing ownership types to specification design", In: J. Sci. Eng. Res., vol. 8. 2017, no. 8, pp. 843-848. ISSN: 2229- 5518,
[http://dx.doi.org/10.14299/ijser.2017.08.]
[10]
J. Thangaraj, and S. Ulaganathan, "Mapping USE specifications into Spec", In: Software Technologies: Applications and Foundations. STAF., Springer: Cham, 2018, pp. 331-339.
[http://dx.doi.org/10.1007/978-3-319-74730-9_29]
[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.
[14]
C. Fu, D. Yang, X. Zhang, and H. Hu, An approach to translating OCL invariants into OWL 2 DL axioms for checking inconsistencyAutomat. Softw. Eng. J., vol. 24. 2017, no. 2, pp. 295-339. ISSN: 1573-753,
[http://dx.doi.org/10.1007/s10515-017-0210-9]
[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.
[18]
Y. Shang, "Limit of a nonpreferential attachment multitype network model", Int. J. Modern Phys. B, vol. 31, no. 5, ., 1750026, 2017
[http://dx.doi.org/10.1142/S0217979217500266]
[19]
J. Thangaraj, and S. Ulaganathan, "Model reusability and multidirectional transformation using unified meta-model", In: 2018 IEEE Distributed Computing, VLSI, Electrical Circuits and Robotics (DISCOVER), Mangalore (Mangaluru), India, pp. 88-92, 2018.
[http://dx.doi.org/10.1109/DISCOVER.2018.8674127.]

Rights & Permissions Print Cite
Article Metrics
3
© 2024 Bentham Science Publishers | Privacy Policy