From SysML State Machines to Petri Nets Using ATL Transformations

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.
Type de document :
Communication dans un congrès
Luis M. Camarinha-Matos; Nuno S. Barrento; Ricardo Mendonça. 5th Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Apr 2014, Costa de Caparica, Portugal. Springer, IFIP Advances in Information and Communication Technology, AICT-423, pp.227-236, 2014, Technological Innovation for Collective Awareness Systems. 〈10.1007/978-3-642-54734-8_26〉
Liste complète des métadonnées

Littérature citée [14 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01274779
Contributeur : Hal Ifip <>
Soumis le : mardi 16 février 2016 - 11:19:11
Dernière modification le : jeudi 12 mai 2016 - 10:38:03
Document(s) archivé(s) le : samedi 12 novembre 2016 - 21:54:26

Fichier

978-3-642-54734-8_26_Chapter.p...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Rui Pais, João Barros, Luís Gomes. From SysML State Machines to Petri Nets Using ATL Transformations. Luis M. Camarinha-Matos; Nuno S. Barrento; Ricardo Mendonça. 5th Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Apr 2014, Costa de Caparica, Portugal. Springer, IFIP Advances in Information and Communication Technology, AICT-423, pp.227-236, 2014, Technological Innovation for Collective Awareness Systems. 〈10.1007/978-3-642-54734-8_26〉. 〈hal-01274779〉

Partager

Métriques

Consultations de la notice

85

Téléchargements de fichiers

90