The Evolving Philosophers Problem: Dynamic Change Management

IEEE Transactions on Software Engineering

Volumn 16, Issue 11, 1990, Pages 1293-1306

  Kramer, Jeff ^a   Magee, Jeff ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

Change management; distributed systems; dynamic configuration; system evolution

Indexed keywords

COMPUTER SOFTWARE--SOFTWARE ENGINEERING; COMPUTER SYSTEMS, DIGITAL--DISTRIBUTED;

EVOLVING PHILOSOPHERS PROBLEM;

COMPUTER OPERATING SYSTEMS;

EID: 0025521832     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/32.60317     Document Type: Article

References (21)

1. G. R. Andrews et al, “An Overview of the SR language and its implementation,” ACM TOPLAS, vol. 10, no. 1, pp. 51–86, Jan. 1988.
2. R. Balzer, “A 15 year perspective on automatic programming,” IEEE Trans. Software Eng., vol. SE-11, no. 11, Nov. 1985.
3. M. R. Barbacci, C. B. Weinstock, and J. M. Wing, “Programming at the processor-memory-switch level,” in Proc. IEEE 10th Int. Conf. Software Eng., Singapore, Apr. 1988, pp. 19–29.
4. T. Bloom, “Dynamic module replacement in a distributed system,” MIT Lab. Comput. Sci., Tech. Rep. MIT/LCS/TR-303, Mar. 1983.
5. K. M. Chandy and J. Misra, “The drinking philosophers problem,” ACM TOPLAS, vol. 6, no. 4, pp. 632–646, Oct. 1984.
6. F. De Remer and H. Kron, “Programming-in-the-large versus programming-in-the-small,” in Proc. Conf. Reliable Software, 1975, pp. 114–121.
7. E. W. Dijkstra, “Hierarchical ordering of sequential processes,” in Operating Systems Techniques, C. A. R. Hoare and R. H. Perrot, Eds. New York: Academic, 1972.
8. N. Francez, “Distributed termination,” ACM TOPLAS, vol. 2, no. 1, pp. 42–55, Jan. 1980.
9. O. Frieder and M. E. Segal, “Dynamic program updating in a distributed computer system,” in Proc. IEEE Conf. Software Maintenance, Phoenix, AZ, Oct. 1988, pp. 198–203.
10. S. A. Friedberg, “Transparent reconfiguration requires a third-party connect,” Dep. Comput. Sci., Univ. Rochester, Rochester, NY, Tech. Rep. TR220, Nov. 1987.
11. S.M. Kaplan and G.E. Kaiser, “Garp: Graph abstractions for concurrent programming,” in Proc. ESOP ’88, Nancy, France, March 1988. New York: Springer-Verlag, pp. 191–205.
12. S.M Kaplan, S.K. Goering, and R.H. Campbell, “Specifying concurrent systems with A-gTammars,” in Proc. 5th Int. Workshop Software Specification and Design, Pittsburgh, PA, May 1989, pp. 20–27.
13. J. Kramer and R. J. Cunningham, “Towards a notation for the functional design of distributed processing systems,” in Proc. IEEE 1978 Int. Conf. Parallel Processing, Aug. 1978, pp. 69–76.
14. J. Kramer and J. Magee, “Dynamic configuration for distributed systems,” IEEE Trans. Software Eng., vol. SE-11, no. 4, pp. 424–436, Apr. 1985.
15. J. Kramer, J. Magee, and M. Sloman, “The CONIC toolkit for building distributed systems,” IEE Proc, vol. 134, part D, no. 2, pp. 73–82, Mar. 1987.
16. J. Kramer, J. Magee, and K. Ng, “Graphical configuration programming,” Computer, vol. 22, no. 10, pp. 53–65, Oct. 1989.
17. T.J. Leblanc and S. A. Friedberg, “HPC: A model of structure and change in distributed systems,” IEEE Trans. Comput., vol. C-34, no. 12, pp. 1114–1129, Dec. 1985.
18. M. M. Lehman, “Program evolution,” in Proc. Symp. Empirical Foundations of Information and Software Science, Atlanta, GA, Nov. 1982.
19. J. Magee, J. Kramer, and M. Sloman, “Constructing distributed systems in conic,” IEEE Trans. Software Eng., vol. 15, pp. 663–675, June 1989.
20. J. Misra, “Reasoning about networks of communicating processes,” INRIA Advanced NATO Studies Inst. Logics and Models for Verification and Specification of Concurrent Systems, Nice, France, 1984.
21. D. E. Perry, “Software interconnection models,” in Proc. 9th Int. Conf. Software Engineering, Apr. 1987, pp. 142–149.