Reconfiguration and module replacement in Argus: theory and practice
Reconfiguration and module replacement in Argus: theory and practice
- Author(s): Bloom Toby and Day Mark
- DOI: 10.1049/sej.1993.0014
For access to this article, please select a purchase option:
Buy article PDF
Buy Knowledge Pack
IET members benefit from discounts to all IET publications and free access to E&T Magazine. If you are an IET member, log in to your account and the discounts will automatically be applied.
Thank you
Your recommendation has been sent to your librarian.
- Author(s): Bloom Toby 1 and Day Mark 2
-
-
View affiliations
-
Affiliations:
1: Lotus Development Corporation, Cambridge, USA
2: Laboratory for Computer Science, MIT, Cambridge, USA
-
Affiliations:
1: Lotus Development Corporation, Cambridge, USA
- Source:
Volume 8, Issue 2,
March 1993,
p.
102 – 108
DOI: 10.1049/sej.1993.0014 , Print ISSN 0268-6961, Online ISSN 2053-910X
- « Previous Article
- Table of contents
- Next Article »
Early work on reconfiguration of distributed applications was carried out as part of the Argus project at MIT. In this paper, we review that work, focusing on correctness conditions and on alternative implementations, and discuss lessons learnt, not only about the reconfiguration system, but also about language design for supporting reconfigurable systems.
Inspec keywords: high level languages; distributed processing; program verification
Other keywords:
Subjects: Programming and algorithm theory; High level languages; Distributed systems software; Software engineering techniques
References
-
-
1)
- Liskov, B., Bloom, T., Gifford, D., Scheifler, R., Weihl, W.: `Communication in the Mercury system', Proc. 21st Annual Hawaii Conf. on System Sciences, 1988, p. 178–187.
-
2)
- J.E.B. Moss . (1985) , Nested transactions: an approach to reliable distributed computing.
-
3)
- Purtilo, J.M., Hofmeister, C.R.: `Dynamic reconfiguration of distributed programs', Proc. 11th Int. Conf. on Distributed Computing Systems, May 1991, Arlington, Texas, p. 560–571.
-
4)
- Bloom, T.: `Dynamic module replacement in a distributed programming system', TR-303, March 1983.
-
5)
- J. Kramer , J. Magee . The evolving philosophers problem: dynamic change management. IEEE Trans. , 11 , 1293 - 1306
-
6)
- J. Kramer , J. Magee . Dynamic configuration for distributed systems. IEEE Trans. , 4 , 424 - 436
-
7)
- K. Narayanaswamy , W. Scacchi . Maintaining configurations of evolving software systems. IEEE Trans. , 3 , 324 - 334
-
8)
- B. Liskov , A. Snyder , R.R. Atkinson , J.C. Schaffert . Abstraction mechanisms in CLU. Commun. ACM , 8 , 564 - 576
-
9)
- M. Herlihy , B. Liskov . A value transmission method for abstract data types. ACM Trans. Program. Lang. Syst. , 4 , 527 - 551
-
10)
- Skarra, A., Zdonik, S.: `The management of changing types in an object-oriented database system', OOPSLA '86, Proc. Conf. on Object-Oriented Programming Languages, Systems, and Applications, September 1986, Portland, Oregon, p. 483–496.
-
11)
- B. Liskov . Distributed programming in Argus. Commun. ACM , 3 , 300 - 313
-
12)
- B. Liskov , R. Gruber , P. Johnson , L. Shrira , A. Dearle , G.M. Shaw , S.B. Zdonik . (1990) A highly available object repository for use in a heterogeneous distributed system, Implementing persistent object bases: principles and practice.
-
13)
- Day, M.S.: `Replication and reconfiguration in a distributed mail repository', TR-376, April 1987.
-
14)
- J. Jacob . A model of reconfiguration in communicating sequential processes. Inf. Process. Lett. , 1 , 19 - 22
-
15)
- B. Liskov , J. Guttag . (1986) , Abstraction and specification in software design.
-
16)
- Hwang, D.J.: `Constructing a highly-available location service for a distributed environment', TR-410, January 1988.
-
1)