Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/36172
Registo completo
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.author | Sun Meng | por |
dc.contributor.author | Zhang Naixiao | por |
dc.contributor.author | Barbosa, L. S. | por |
dc.date.accessioned | 2015-07-15T17:32:01Z | - |
dc.date.available | 2015-07-15T17:32:01Z | - |
dc.date.issued | 2004 | - |
dc.identifier.isbn | 0-7695-2222-X | - |
dc.identifier.uri | https://hdl.handle.net/1822/36172 | - |
dc.description.abstract | Statecharts was conceived as a visual formalism for the design of reactive systems. UML statecharts is an object-based variant of classical statecharts, incorporating several concepts different from the classical statecharts. This paper discusses a coalgebraic description of UML statecharts, directly derived from its operational semantics. In particular such an approach induces suitable notions of equivalence and (behavioral) refinement for statecharts. Finally, a few refinement laws are investigated to support verifiable stepwise system development with statecharts. | por |
dc.description.sponsorship | (undefined) | por |
dc.language.iso | eng | por |
dc.publisher | IEEE | por |
dc.rights | openAccess | por |
dc.subject | Statechart | por |
dc.subject | Semantics | por |
dc.subject | Coalgebra | por |
dc.subject | Refinement | por |
dc.title | On semantics and refinement of UML statecharts: a coalgebraic view | por |
dc.type | conferencePaper | por |
dc.peerreviewed | yes | por |
dc.relation.publisherversion | http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=1347517 | por |
sdum.publicationstatus | published | por |
oaire.citationStartPage | 164 | por |
oaire.citationEndPage | 173 | por |
oaire.citationTitle | Second International Conference on Software Engineering and Formal Methods | por |
dc.publisher.uri | IEEE Computer Society Press | por |
dc.identifier.doi | 10.1109/SEFM.2004.1347517 | por |
sdum.conferencePublication | Second International Conference on Software Engineering and Formal Methods | por |
Aparece nas coleções: |