Transformation of sequence diagram to timed Petri net using Atlas Transformation Language metamodel approach

Shailesh, Tanuja and Nayak, Ashalatha and Deviprasad, . (2021) Transformation of sequence diagram to timed Petri net using Atlas Transformation Language metamodel approach. Journal of Software: Evolution and Process. ISSN 2047-7481

[img] PDF
14663.pdf - Published Version
Restricted to Registered users only

Download (5MB) | Request a copy
Official URL: https://onlinelibrary.wiley.com/journal/20477481

Abstract

Real-time systems are complex and composed of time-bounded events that must satisfy the real-time constraints for their proper functioning. To cope with the complexity of real-time systems, model-driven approaches such as model-driven architecture (MDA) can be followed, which uses the conceptual models for system representation. This paper presents an MDA-based automated approach for an early stage performance evaluation and verification of a real-time system using the Unified Modeling Language (UML)/Modeling and Analysis of Real-Time and Embedded sys�tems (MARTE) sequence diagram. A metamodel-based model-to-model transforma�tion technique is used for mapping the UML/MARTE sequence diagram into the generalized Petri Net Markup Language (PNML) representation of the timed Petri net model using Atlas Transformation Language (ATL). The derived PNML represen�tation has the advantage to support the interoperability between different Petri net tools when compared over the existing methods that produce tool-specific represen�tation. The proposed approach enables the system designers to create and evaluate alternate system designs and predict their behavior, contributing to improving the system quality. The contribution of the proposed technique for identifying the opti�mal system design is analyzed using a real-time embedded sensor application. The proposed transformation approach is also validated using a real-time system from the manufacturing domain

Item Type: Article
Uncontrolled Keywords: ATL, metamodel, model transformation, Petri net, real-time system
Subjects: Engineering > MIT Manipal > Computer Science and Engineering
Information Sciences > MCIS Manipal
Depositing User: MIT Library
Date Deposited: 03 Mar 2022 06:27
Last Modified: 03 Mar 2022 06:27
URI: http://eprints.manipal.edu/id/eprint/158357

Actions (login required)

View Item View Item