DocumentCode
877995
Title
Reconfiguration and module replacement in Argus: theory and practice
Author
Bloom, Toby ; Day, Mark
Author_Institution
Lotus Development Corp., Cambridge, MA, USA
Volume
8
Issue
2
fYear
1993
fDate
3/1/1993 12:00:00 AM
Firstpage
102
Lastpage
108
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;
fLanguage
English
Journal_Title
Software Engineering Journal
Publisher
iet
ISSN
0268-6961
Type
jour
Filename
206968
Link To Document