Encontrados 5 documentos, a visualizar página 1 de 1
Refinement by interpretation in Pi-institutions
Rodrigues, César J.; Martins, Manuel A.; Madeira, A.; Barbosa, L. S.The paper discusses the role of interpretations, understood as multifunctions that preserve and reflect logical consequence, as refinement witnesses in the general setting of π-institutions. This leads to a smooth generalization of the “refinement by interpretation” approach, recently introduced by the authors in more specific contexts. As a second, yet related contribution a basis is provided to build up a ref...
Revisiting context-aware component interconnection
Barbosa, L. S.; Barbosa, Marco António; Rodrigues, César J.Software connectors are external coordination devices which ensure the flow of data and enforce synchronization constraints within a component’s network. The specification of software connectors through which context dependent behaviour is correctly propagated remains an open, non trivial issue in their semantics. This paper, building on previous work by the authors, revisits this problem and introduces a model...
Foundations of program refinement by calculation
Rodrigues, César J.Tese de doutoramento em Informática (ramo de conhecimento em Fundamentos da Computação) ; Embora não seja prática generalizada, aceita-se hoje o valor da especificação formal de aplicações como ingrediente essencial ao desenvolvimento de software fiável. Isso pressupõe uma noção adicional — a de refinamento — capaz de sistematizar a derivação de implementações correctas a partir de modelos abstractos (ie. espe...
A single complete relational rule for coalgebraic refinement
Rodrigues, César J.; Oliveira, José Nuno Fonseca; Barbosa, L. S.A transition system can be presented either as a binary relation or as a coalgebra for the powerset functor, each representation being obtained from the other by transposition. More generally, a coalgebra for a functor F generalises transition systems in the sense that a shape for transitions is determined by F, typically encoding a signature of methods and observers. This paper explores such a duality to frame...
Pointfree factorization of operation refinement
Oliveira, José Nuno Fonseca; Rodrigues, César J.The standard operation refinement ordering is a kind of “meet of op- posites”: non-determinism reduction suggests “smaller” behaviour while increase of definition suggests “larger” behaviour. Groves’ factorization of this ordering into two simpler relations, one per refinement concern, makes it more mathe- matically tractable but is far from fully exploited in the literature. We present a pointfree theory for t...
| Financiadores do RCAAP | |||||||
|
|
|
|
|
|
||