Mobile Components as Topological Action Systems

Luigia Petre*, Marina Walden

*Korresponderande författare för detta arbete

Forskningsoutput: Bok/tidskrift/rapportBeställd rapportProfessionell

3 Nedladdningar (Pure)


Component-based software engineering means assembling software systems from existing, service-providing components. The increased flexibility and reliability of the component-based systems are among the main benefits of this method. However, for ensuring the correctness of their services, the components themselves should be correctly developed. The topological action systems approach provides a formal model for world-wide software resources. This framework is based on the refinement calculus, a specification language with well-defined semantics and logic for reasoning. Topological action systems can be correctly developed using refinement techniques, but they lack some of the flexibility features required by world-wide networks. Hence, both the component-based development and the topological action systems model of specification can benefit from them being integrated. We present the principles of this integration, argue for mobility being a natural component property and further study the refinement of mobile components.
FörlagTurku Center for Computer Science (TUCS)
ISBN (tryckt)952-12-0708-6
StatusPublicerad - 2000
MoE-publikationstypD4 Publicerad utvecklings- eller forskningsrapport eller studie


NamnTUCS Technical Reports


Fördjupa i forskningsämnen för ”Mobile Components as Topological Action Systems”. Tillsammans bildar de ett unikt fingeravtryck.

Citera det här