Mobile Components as Topological Action Systems

Luigia Petre*, Marina Walden

*Corresponding author for this work

Research output: Book/Journal/ReportCommissioned reportProfessional

17 Downloads (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.
Original languageEnglish
PublisherTurku Center for Computer Science (TUCS)
ISBN (Print)952-12-0708-6
Publication statusPublished - 2000
MoE publication typeD4 Published development or research report or study

Publication series

NameTUCS Technical Reports


  • Component-Based Software Engineering
  • Mobile and Distributed Systems
  • Action Systems
  • Mobility Refinement


Dive into the research topics of 'Mobile Components as Topological Action Systems'. Together they form a unique fingerprint.

Cite this