Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/15251
Título: | Models as arrows: the role of dialgebras |
Autor(es): | Martins, Manuel A. Madeira, A. Barbosa, L. S. |
Palavras-chave: | Dialgebra Software models |
Data: | 2011 |
Editora: | St. Kliment Ohridski University Press |
Resumo(s): | A large number of computational processes can suitably be described as a combination of construction, i.e. algebraic, and observation, i.e. coalgebraic, structures. This paper suggests dialgebras as a generic model in which such structures can be combined and proposes a small calculus of dialgebras including a wrapping combinator and se- quential composition. To take good care of invariants in software design, the paper also discusses how dialgebras can be typed by predicates and proves that invariants are preserved through composition. This lays the foundations for a full calculus of invariant proof-obligation discharge for dialgebraic models. |
Tipo: | Artigo em ata de conferência |
URI: | https://hdl.handle.net/1822/15251 |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: | HASLab - Artigos em revistas internacionais DI/CCTC - Artigos (papers) |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
OriginalCie2011.pdf | 480,34 kB | Adobe PDF | Ver/Abrir |