Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/36172
Título: | On semantics and refinement of UML statecharts: a coalgebraic view |
Autor(es): | Sun Meng Zhang Naixiao Barbosa, L. S. |
Palavras-chave: | Statechart Semantics Coalgebra Refinement |
Data: | 2004 |
Editora: | IEEE |
Resumo(s): | 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. |
Tipo: | Artigo em ata de conferência |
URI: | https://hdl.handle.net/1822/36172 |
ISBN: | 0-7695-2222-X |
DOI: | 10.1109/SEFM.2004.1347517 |
Versão da editora: | http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=1347517 |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: |