From SysML State Machines to Petri Nets Using ATL Transformations

  • Rui Pais
  • João Paulo Barros
  • Luís Gomes
Part of the IFIP Advances in Information and Communication Technology book series (IFIPAICT, volume 423)


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.


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


  1. 1.
    Gasevic, D., Djuric, D.: Devedzic, V., Selic, B.V., Bézivin, J.: Model Driven Engineering and Ontology Development. Springer (2009) ISBN-13: 978-3642101342Google Scholar
  2. 2.
    Moutinho, F., Gomes, L., Ramalho, F., Figueiredo, J., Barros, J.P., Barbosa, P., Pais, R., Costa, A.: Ecore Representation for Extending PNML for Input-Output Place-Transition Nets. In: IECON 2010 - 36th Annual Conference of the IEEE Industrial Electronics Society, Phoenix, AZ, USA, pp. 2010–2036 (2010)Google Scholar
  3. 3.
    OMG: OMG MOF 2 XMI Mapping Specification. v2.4.1. (2013),
  4. 4.
    ATL - A Model Transformation Technology, (accessed on December 30, 2013)
  5. 5.
    OMG: MDA - The Architecture of Choice For A Changing World (2013) ,
  6. 6.
    Gomes, L., Barros, J.P., Costa, A., Nunes, R.: The Input-Output Place-Transition Petri Net Class and Associated Tools. In: INDIN 2007 - 5th IEEE International Conference on Industrial Informatics, Vienna, Austria, Julho 23-26 (2007)Google Scholar
  7. 7.
    Pais, R., Gomes, L., Barros, J.P.: Towards Statecharts to Input-Output Place Transition Nets Transformations. In: Camarinha-Matos, L.M. (ed.) Technological Innovation for Sustainability. IFIP AICT, vol. 349, pp. 227–236. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  8. 8.
    Pais, R., Gomes, L., Barros, J.P.: From UML State Machines to Petri nets – History Attribute Translation Strategies. In: 37th Annual Conference on IECON 2011. IEEE Computer Society (2011)Google Scholar
  9. 9.
    Markopoulos, P., Mackay, W.: Awareness Systems - Advances in Theory, Methodology, and Design. Springer (2009) ISBN 978-1-84882-476-8Google Scholar
  10. 10.
    Future Internet Enterprise Systems (FInES): Embarking on New Orientations Towards Horizon 2020 (2013) Google Scholar
  11. 11.
    Lochmann, H.: HybridMDSD: Multi Domain Engineering with Model Driven Software Development Using Ontological Foundations, PhD Dissertation (2010)Google Scholar
  12. 12.
    Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF: Eclipse Modeling Framework, 2nd edn. Addison-Wesley (2008) ISBN-13: 978-0-321-33188-5 Google Scholar
  13. 13.
    OMG: Meta Object Facility (MOF) 2.0 Query/View/Transformation Specification. Version 1.1 (2011) Google Scholar
  14. 14.
    OMG: OMG Systems Modeling Language, v 1.3 (2012),
  15. 15.
    Choppy, C., Petrucci, L., Reggio, G.: A Modelling Approach with Coloured Petri Nets. In: Kordon, F., Vardanega, T. (eds.) Ada-Europe 2008. LNCS, vol. 5026, pp. 73–86. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  16. 16.
    Zurawski, R., Zhou, M.C.: Petri Nets and Industrial Applications: A Tutorial. IEEE Transactions on Industrial Electronics 41(6) (1994)Google Scholar
  17. 17.
    Ribeiro, J., Moutinho, F., Pereira, F., Barros, J.P., Gomes, L.: An Ecorebased Petri Net Type Definition for PNML IOPT Models. In: INDIN 2011 - 9th IEEE International Conference on Industrial Informatics, Caparica, Lisbon, Portugal, pp. 777–782 (2011), doi:10.1109/INDIN.2011.6034992 ISBN 978-1-4577-0434-5Google Scholar
  18. 18.
    Allilaire, F., Bézivin, J., Jouault, F., Kurtev, I.: ATL - Eclipse Support for Model Transformation. In: Proc. of the Eclipse Technology Exchange Eorkshop (ETX) at ECOOP (2006)Google Scholar
  19. 19.
    OMG: Unified Modeling LanguageTM (OMG UML), Superstructure. v2.4.1,
  20. 20.
    Barbosa, P., Ramalho, F., Figueiredo, J., Junior, A., Costa, A., Gomes, L.: Checking Semantics Equivalence of MDA Transformations in Concurrent Systems. Journal of Universal Computer Science 15(11), 2196–2224 (2009), doi:10.3217/jucs-015-11-2196Google Scholar
  21. 21.
    Jiang, M., Ding, Z.: From Textual Use Cases to Message Sequence Charts. In: Information Engineering and Applications. Lecture Notes in Electrical Engineering, vol. 154, pp. 732–739. Springer (2012)Google Scholar

Copyright information

© IFIP International Federation for Information Processing 2014

Authors and Affiliations

  • Rui Pais
    • 1
    • 2
    • 3
  • João Paulo Barros
    • 2
    • 3
  • Luís Gomes
    • 1
    • 2
  1. 1.Faculty of Sciences and TechnologyUniversidade Nova de LisboaPortugal
  2. 2.Center of Technologies and SystemsUNINOVAPortugal
  3. 3.Instituto Politécnico de BejaEscola de Superior Tecnologia e GestãoPortugal

Personalised recommendations