Utilize este identificador para referenciar este registo:
acessibilidade
http://hdl.handle.net/20.500.12207/494
Título: | Towards Statecharts to Input-Output Place Transition Nets Transformations |
Autor: | Pais, Rui Gomes, Luís Barros, João Paulo |
Palavras-chave: | Statecharts Petri Nets SysML PNML MDA ATL |
Data: | 2011 |
Editora: | Springer |
Citação: | Estilo IEEE: [1] L. Camarinha-Matos, R. Pais, L. Gomes, and J. Barros, "Towards Statecharts to Input-Output Place Transition Nets Transformations," in Technological Innovation for Sustainability. vol. 349, ed: Springer Berlin Heidelberg, 2011, pp. 227-236. |
Resumo: | 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. |
Arbitragem científica: | no |
URI: | http://hdl.handle.net/20.500.12207/494 |
ISBN: | 978-3-642-19170-1 |
Versão do Editor: | http://dx.doi.org/10.1007/978-3-642-19170-1_25 |
Aparece nas coleções: | D-ENG - Livros e Capítulo de livro |
Ficheiros deste registo:
Não existem ficheiros associados a este registo.
Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.