Title :
Reconfiguration and module replacement in Argus: theory and practice
Author :
Bloom, Toby ; Day, Mark
Author_Institution :
Lotus Development Corp., Cambridge, MA, USA
fDate :
3/1/1993 12:00:00 AM
Abstract :
Early work on reconfiguration of distributed applications was carried out as part of the Argus project at MIT. The paper reviews that work, focusing on correctness conditions and on alternative implementations, and discusses lessons learnt, not only about the reconfiguration system, but also about language design for supporting reconfigurable systems
Keywords :
distributed processing; high level languages; program verification; Argus project; correctness conditions; distributed applications; language design; module replacement; reconfiguration system;
Journal_Title :
Software Engineering Journal
