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

PDF 14663.pdf - Published Version Restricted to Registered users only Download (5MB) | Request a copy

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

Actions (login required)

View Item