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: |
