Design of Reliable Software in Distributed Systems Using the Conversation Scheme

IEEE Transactions on Software Engineering

Volumn SE-12, Issue 9, 1986, Pages 921-928

  Tyrrell, Andrew M ^a   Holding, David J ^b  

^a Faculty of Health and Life Sciences   (United Kingdom)

^b ASTON UNIVERSITY   (United Kingdom)

Author keywords

Communicating sequential processes; concurrent processes; conversation; distributed systems; fault tolerant software; occam; Petri nets; recovery block

Indexed keywords

EID: 9644282700     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSE.1986.6313047     Document Type: Article

References (22)

1. B. Randell, P. A. Lee, and P. C. Treleaven, “Reliability issues in computing,” Comput. Surveys, vol. 10, no. 2, pp. 123–165, June 1978.
2. C. A. R. Hoare, “Communicating sequential processes,” Commun. ACM, vol. 21, no. 8, pp. 666–677, 1978.
3. T. Anderson and P. A. Lee, Fault Tolerance Principles and Practice. Englewood Cliffs, NJ: Prentice-Hall, 1981.
4. R. H. Campbell, T. Anderson, and B. Randell, “Practical fault tolerant software for asynchronous systems,” in IFAC Safecomp ‘83, Cambridge, England, Aug. 1983, pp. 59–65.
5. B. Randell, “System structure for software fault tolerance,” IEEE Trans. Software Eng., vol. SE-1, pp. 220–232, June 1975.
6. K. H. Kim, “Approaches to mechanisation of the conversation scheme based on monitors,” IEEE Trans. Software Eng., vol. SE-8, pp. 189–197, 197, May 1982.
7. D. L. Russell and M. J. Tiedeman, “Multiprocess recovery using conversations,” in Proc. FTC-9, 1979, pp. 106–109.
8. T. Anderson and J. C. Knight, “A framework for software fault tolerance in real time systems,” IEEE Trans. Software Eng., vol. SE-9, 9, pp. 355–364, May 1983.
9. C. A. R. Hoare, “Monitors: An operating system structuring concept,” Commun. ACM, vol. 17, no. 10, pp. 549–557, Oct. 1974.
10. P. M. Merlin and B. Randell, “State restoration in distributed systems,” in Dig. Papers FTCS-8: Eighth Annu. Int. Symp. Fault Tolerant Comput., Toulouse, France, 1978, pp. 129–134.
11. K. M. Kim, “An approach to programmer-transparant coordination of recovering parallel processes and its efficient implementation rules,” in Proc. Int. Conf. Parallel Processing, 1978, pp. 58–68.
12. G. Barigazzi and L. Stringini, “Application transparent setting of recovery points,” in Proc. 13th Int. Symp. Fault Tolerant Comput., 1983, pp. 48–55.
13. D. L. Russell, “State restoration in systems of communicating processes,” IEEE Trans. Software Eng., vol. SE-6, pp. 183–194, Mar. 1980.
14. J. L. Peterson, Petri Net Theory and the Modeling of Systems. Englewood Cliffs, NJ: Prentice-Hall, 1981.
15. D. May, “Occam,” Sigplan Notices, vol. 18, no. 4, pp. 69–79, 1983.
16. J. M. Kerridge and D. Simpson, “Three solutions for a robot arm controller using Pascal-Plus, occam and Edison,” Software—Practice and Experience, vol. 14, pp. 3–15, 1984.
17. J. L. Peterson, “An introduction to Petri nets,” in Proc. Nat. Electron. Conf., vol. 32, 1978, pp. 144–148.
18. ―, “Petri nets,” Comput. Surveys, vol. 9, no. 3, pp. 223–252, Sept. 1977.
19. J. Dennis, “Concurrency in software systems,” in Advanced Course in Software Engineering, X. Eauer, Ed. 1973, pp. 111–127.
20. L. J. Mekly and S. S. Yau, “Software design representation using abstract process networks,” IEEE Trans. Software Eng., vol. SE-6, pp. 420–434, Sept. 1980.
21. J. W. Winchester and G. Estrin, “Requirements definition and its interface to the SARA design methodology for computer-based systems,” in AFIPS Conf. Proc. Nat. Comput. Conf., vol. 51, 1982, pp. 369–379.
22. W. Ruggiero, G. Estrin, R. Fenchel, R. Razouk, D. Schwabe, and M. Vernon, “Analysis of data flow models using the SARA graph model of behavior,” in AFIPS Conf. Proc. Nat. Comput. Conf., vol. 48, 1979, pp. 975–988.