From SysML State Machines to Petri Nets using ATL Transformations

João Paulo Barros, Rui Pais, Luís Filipe dos Santos Gomes

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

5 Citations (Scopus)

Abstract

The ATLAS Transformation Language (ATL) is a well-known hybrid model transformation language that allows both declarative and imperative constructs to be used in the definition of model transformations. In this paper, we present ATL transformations providing an integrated structural description of the source and target metamodels and the transformation between them. More specifically, the paper presents translation rules of Systems Modeling Language (SysML) state machines models into a class of non-autonomous Petri net models using ATL. The target formalism for the translation is the class of Input-Output Place Transition Nets (IOPT), which extends the well-known low-level Petri net class of Place/Transition Petri nets with input and output signals and events dependencies. Based on this Petri net class, a set of tools have been developed and integrated on a framework for the project of embedded systems using co-design techniques. The main goal is to benefit from the model-based attitude while allowing the integration of development flows based on SysML state machines with the ones based on Petri nets.
Original languageEnglish
Title of host publicationIFIP Advances in Information and Communication Technology
Pages227-236
ISBN (Electronic)978-3-642-54733-1
DOIs
Publication statusPublished - 2014
Event5th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS) - Costa da Caparica, Portugal
Duration: 7 Apr 20149 Apr 2014

Conference

Conference5th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS)
CountryPortugal
CityCosta da Caparica
Period7/04/149/04/14

Keywords

  • ATL
  • IOPT
  • MDA
  • MDE
  • Petri Nets
  • PNML
  • State Machines
  • SysML
  • Transformation Models
  • UML

Fingerprint

Dive into the research topics of 'From SysML State Machines to Petri Nets using ATL Transformations'. Together they form a unique fingerprint.

Cite this