Towards Statecharts to Input-Output Place Transition Nets Transformations

Abstract : This paper proposes a set of procedures addressing a Model Driven Architecture approach to translate of SysML statechart models into a class of non-autonomous Petri nets. The main goal of this set of procedures is to benefit from the model-based attitude allowing the integration of development flows based on statecharts with the ones based on Petri nets.Several methodologies exist to transform statechart models into specific classes of Petri net models, which depend on the proposed goals to achieve. The target formalism for the translation is the class of Input-Output Place Transition Nets, which extends the well-known low-level Petri net class of place transition nets with input and output signals and events dependencies. With this Petri net class we aim to contribute with tools to be integrated on a framework for the project of embedded systems using co-design techniques.
Type de document :
Communication dans un congrès
Luis M. Camarinha-Matos. 2nd Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Feb 2011, Costa de Caparica, Portugal. Springer, IFIP Advances in Information and Communication Technology, AICT-349, pp.227-236, 2011, Technological Innovation for Sustainability. 〈10.1007/978-3-642-19170-1_25〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01566559
Contributeur : Hal Ifip <>
Soumis le : vendredi 21 juillet 2017 - 11:25:22
Dernière modification le : vendredi 21 juillet 2017 - 11:30:47

Fichier

978-3-642-19170-1_25_Chapter.p...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Rui Pais, Luís Gomes, João Barros. Towards Statecharts to Input-Output Place Transition Nets Transformations. Luis M. Camarinha-Matos. 2nd Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS), Feb 2011, Costa de Caparica, Portugal. Springer, IFIP Advances in Information and Communication Technology, AICT-349, pp.227-236, 2011, Technological Innovation for Sustainability. 〈10.1007/978-3-642-19170-1_25〉. 〈hal-01566559〉

Partager

Métriques

Consultations de la notice

80

Téléchargements de fichiers

11