Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/21233
Título: | Software components as invariant-typed arrows |
Autor(es): | Barbosa, L. S. |
Palavras-chave: | Invariant Software component Coalgebra |
Data: | Set-2012 |
Editora: | Springer Verlag |
Revista: | Lecture Notes in Computer Science |
Citação: | BarbosaCBSOFT12 |
Resumo(s): | nvariants are constraints on software components which restrict their behavior in some desirable way, but whose maintenance entails some kind of proof obligation discharge. Such constraints may act not only over the input and output domains, as in a purely functional setting, but also over the underlying state space, as in the case of reactive components. This talk introduces an approach for reasoning about invariants which is both compositional and calculational: compositional because it is based on rules which break the complexity of such proof obligations across the structures involved; calculational because such rules are de- rived thanks to an algebra of invariants encoded in the language of binary relations. A main tool of this approach is the pointfree transform of the predicate calculus, which opens the possibility of changing the underly- ing mathematical space so as to enable agile algebraic calculation. The development of a theory of invariant preservation requires a broad, but uniform view of computational processes embodied in software components able to take into account data persistence and continued interaction. Such is the plan for this talk: we first introduce such processes as arrows, and then invariants as their types. |
Tipo: | Artigo em ata de conferência |
Descrição: | Keynote talk at CBSOFT, Natal, September 2012 |
URI: | https://hdl.handle.net/1822/21233 |
ISBN: | 9783642331817 |
DOI: | 10.1007/978-3-642-33182-4_1 |
ISSN: | 0302-9743 |
Versão da editora: | http://dx.doi.org/10.1007/978-3-642-33182-4_1 |
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 | |
---|---|---|---|---|
BarbosaCBSOFT12.pdf | preprint | 186,81 kB | Adobe PDF | Ver/Abrir |