Please use this identifier to cite or link to this item:
acessibilidade
http://hdl.handle.net/20.500.12207/648
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Pais, Rui | - |
dc.contributor.author | Gomes, Luís | - |
dc.contributor.author | Barros, João Paulo | - |
dc.date.accessioned | 2013-12-09T12:44:07Z | - |
dc.date.available | 2011-11 | - |
dc.date.available | 2013-12-09T12:44:07Z | - |
dc.date.issued | 2011-11 | - |
dc.identifier.citation | [IEEE style] R. Pais, L. Gomes, and J. P. Barros, "From UML state machines to Petri nets: History attribute translation strategies," in IECON Proceedings (Industrial Electronics Conference), 2011, pp. 3776-3781. | pt_PT |
dc.identifier.isbn | 978-1-61284-972-0 | - |
dc.identifier.uri | http://hdl.handle.net/20.500.12207/648 | - |
dc.description | ICELIE/IES Industry Forum/37th Annual Conference of the IEEE Industrial-Electronics-Society (IECON) Book Series:IEEE Industrial Electronics Society | pt_PT |
dc.description.abstract | This paper presents a set of translation strategies from state machines using the history attribute to a class of non-autonomous Petri nets named Input-Output Place Transition Nets (IOPT nets). IOPT nets extend the well-known low-level Petri net class of place transition nets with input and output signals and events. Other state machine elements translation mechanisms were already proposed and are here revised and improved to support the last available version of UML (UML 2.4 - Beta 2, March 2011). There are various goals that we intend to achieve with the translation from state machines to IOPT nets: benefit from the integration on a Petri net-based framework for the development of embedded systems using co-design techniques allowing generation of code for different platforms and languages; contribution for the development of tools to create, edit, verify proprieties, optimize, support model transformation, execute and visualize UML state machines. | pt_PT |
dc.language.iso | eng | pt_PT |
dc.publisher | IEEE | pt_PT |
dc.rights | info:eu-repo/semantics/closedAccess | pt_PT |
dc.subject | Embedded systems | pt_PT |
dc.subject | Industrial electronics | pt_PT |
dc.subject | Petri nets | pt_PT |
dc.subject | UML state machine | pt_PT |
dc.subject | Translation strategies | pt_PT |
dc.subject.classification | Indexação ISI | pt_PT |
dc.subject.classification | Indexação Scopus | pt_PT |
dc.title | From UML State Machines to Petri nets: history attribute translation strategies | pt_PT |
dc.type | conferenceObject | pt_PT |
dc.peerreviewed | yes | pt_PT |
degois.publication.firstPage | 3776 | pt_PT |
degois.publication.lastPage | 3781 | pt_PT |
degois.publication.location | Melbourne, Australia | pt_PT |
Appears in Collections: | D-ENG - Comunicações com peer review |
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.