On structuring cooperative and competitive concurrent systems

Computer Journal

Volumn 42, Issue 8, 1999, Pages 627-637

  Romanovsky, Alexander ^a  

^a NEWCASTLE UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; CONCURRENT ENGINEERING; FAULT TOLERANT COMPUTER SYSTEMS; GROUPWARE; STRUCTURED PROGRAMMING;

CONCURRENT SYSTEMS; SEQUENTIAL SYSTEMS;

SYSTEMS ANALYSIS;

EID: 0033337648     PISSN: 00104620     EISSN: None     Source Type: Journal    
DOI: 10.1093/comjnl/42.8.627     Document Type: Article

References (43)

1. Lee, P. A. and Anderson, T. (1990) Fault Tolerance: Principles and Practice. Springer-Verlag, Vienna.
2. Horning, J. J. and Randell, B. (1973) Process structuring. Comp. Surveys, 5, 5-30.
3. Hoare, C. A. R. (1976) Parallel programming: an axiomatic approach. In Goos, G. and Hartmaur, J. (eds), Languages, Hierarchies and Interfaces (Lecture Notes in Computer Science, LNCS-46). Springer-Verlag, Berlin.
4. Burns, A. and Wellings, A. (1997) Real-Time Systems and Programming Languages. Addison Wesley, Harlow, England.
5. Xu, J., Randell, B., Romanovsky, A., Rubira, C., Stroud, R. and Wu, Z. (1995) Fault tolerance in concurrent object-oriented software through coordinated error recovery. In Proc. 25th Int. Symp. on Fault-Tolerant Computing, Pasadena, CA, pp. 499-508. IEEE Computer Society Press, Los Alamitos, CA.
6. Romanovsky, A. (1995) Software diversity as a way to well-structured concurrent software. ACM Operating Syst. Rev., 29, 85-90.
7. Lea, D. (1996) Concurrent Programming in Java: Design Principles and Patterns. Addison Wesley, New York.
8. Burns, A. and Wellings, A. (1995) Concurrency in Ada. Cambridge University Press, Cambridge.
9. Lauer, H. C. and Needham, R. M. (1979) On the duality of operating system structures. ACM Operating Syst. Rev., 13, 3-19.
10. Shrivastava, S. K., Mancini, L. V. and Randell, B. (1993) The duality of fault-tolerant system structures. Software - Pract. Exp., 23, 773-798.
11. Randell, B. (1986) System design and structuring. Comp. J., 29, 300-306.
12. Randell, B. (1983) Recursive structured distributed computing systems. In Proc. 3rd Symp. on Reliability in Distributed Software and Database Systems. Florida, USA, pp. 3-11. IEEE Computer Society Press, Los Alamitos, CA.
13. Randell, B. (1975) System structure for software fault tolerance. IEEE TSE, 1, 220-232.
14. Moss, J. E. M. (1981) Nested transactions: an approach to reliable distributed computing. PhD Thesis, Technical Report TR260, MIT Lab. for Computer Science.
15. Jalote, P. and Campbell, R. (1985) Atomic actions in concurrent systems. In Proc. 5th Int. Conf. on Distributed Computing Systems, pp. 184-191. IEEE Computer Society Press, Los Alamitos, CA.
16. Best, E. (1996) Semantics of Sequential and Parallel Programming. Prentice Hall, London.
17. Kurki-Suonio, R. and Mikkonen, T. (1998) Liberating object-oriented modeling from programming-level abstractions. In Bosch, J. and Mitchell, S. (eds), Object-Oriented Technology (Lecture Notes in Computer Science, LNCS 1357). Springer-Verlag, Berlin.
18. Xu, J., Randell, B., Romanovsky, A., Stroud, R. J., Zorzo, A. F., Canver, E. and von Henke, F. (1999) Rigorous development of a safety-critical system based on coordinated atomic actions. In Proc. 29th Int. Symp. on Fault-Tolerant Computing, Madison, Wisconsin, pp. 68-75. IEEE Computer Society Press, Los Alamitos, CA.
19. Campbell, R. H. and Randell, B. (1986) Error recovery in asynchronous systems. IEEE Trans. Software Engng., 12, 811-826.
20. Randell, B. and Xu, J. (1995) The evolution of the recovery blocks. In Lyu, M. R. (ed.), Software Fault Tolerance. John Wiley & Sons, Chichester.
21. Lomet, D. B. (1979) Process structuring, synchronization, and recovery using atomic action. ACM SIGPLAN Notices, 12, 128-137.
22. Gray, J. N. and Reuter, A. (1993) Transaction Processing: Concepts and Techniques. Morgan Kaufmann, San Mateo, CA.
23. Lynch, N. A., Merrit, M., Weihl, W. E. and Fecete, A. (1993) Atomic Transactions. Morgan Kaufmann, San Mateo, CA.
24. Weihl, W. E. and Liskov, B. (1985) Implementation of resilient atomic data types. ACM Trans. Program. Languages Syst., 7, 244-269.
25. Object Management Group (1996) Object Transaction Service. Draft 4. OMG. OMG Document.
26. Elmagarmid, A. K. (ed.) (1993) Database Transaction Models for Advanced Applications. Morgan Kaufmann, San Mateo, CA.
27. Randell, B., Romanovsky, A., Stroud, R. J., Xu, J. and Zorzo, A. F. (1997) Coordinated Atomic Actions: from Concept to Implementation. Technical Report TR595, Computing Dept., University of Newcastle upon Tyne.
28. Strigini, L. and Di Giandomenico, F. (1991) Flexible schemes for application-level fault tolerance. In Proc. 10th Int. Symp. on Reliable Distributed Systems, Pisa, Italy, pp. 86-95. IEEE Computer Society Press, Los Alamitos, CA.
29. Strigini, L., Romanovsky, A. and Di Giandomenico, F. (1994) Recovery in Heterogeneous Systems. Technical Report TR133, PDCS-2 ESPRIT Basic Research Project.
30. Strigini, L., Di Giandomenico, F. and Romanovsky, A. (1997) Coordinated backward recovery between client processes and data servers. IEE Proc. Software Eng., 144, 134-146.
31. Romanovsky, A., Xu, J. and Randell, B. (1996) Exception handling and resolution in distributed object-oriented systems. In Proc. 16th Int. Conf. on Distributed Computing Systems, Hong Kong, pp. 545-553. IEEE Computer Society Press, Los Alamitos, CA.
32. de Lemos, R. and Romanovsky, A. (1998) Coordinated atomic actions in modelling object cooperation. In Proc. 1st Int. Symp. on Object-oriented Real-time Distributed Computing, Kyoto, Japan, pp. 152-161. IEEE Computer Society Press, Los Alamitos, CA.
33. Di Marzo Serugendo, G., Guelfi, N., Romanovsky, A. and Zorzo, A. F. (1999) CO-OPN/2 Specification of the DSGamma system designed using coordinated atomic actions. In Proc. 5th Int. Conf. on Engineering of Complex Computer Systems, Nevada, pp. 96-108.
34. Gregory, S. T. and Knight, J. C. (1989) On the provision of backward error recovery in production programming languages. In Proc. 19th Int. Symp. on Fault-Tolerant Computing, Chicago, IL, pp. 507-511. IEEE Computer Society Press, Los Alamitos, CA.
35. Anderson, T., Barret, P. A., Halliwell, D. N. and Moulding, M. R. (1985) Software fault tolerance: an evaluation. IEEE Trans. Software Engng., 11, 1502-1510.
36. Yang, S. M. and Kim, K. H. (1992) Implementation of the conversation scheme in message-based distributed computer systems. IEEE Trans. Parallel Distrib. Syst., 3, 555-572.
37. Kim, K. H. and Bacellar, L. (1997) Time-bounded cooperative recovery with distributed real-time conversation scheme. In Proc. 3rd Workshop on Object-oriented Real-time Dependable Systems, Newport Beach, CA, pp. 40-47. IEEE Computer Society Press, Los Alamitos, CA.
38. Laprie, J.-C. (1996) Software-based critical systems. In Proc. 15th Int. Conf. on Computer Safety, Reliability and Security. Vienna, Austria, pp. 157-170. Springer-Verlag, Berlin.
39. Lee, P. A. (1994) Software-faults: the remaining problem in fault tolerant systems? In Banatre, M. and Lee, P. A. (eds), Hardware and Software Architectures for Fault Tolerance (Lecture Notes in Computer Science, LNCS 774). Springer-Verlag, Berlin.
40. Silva, J. G., Silva, L. M., Madeira, H. and Bernandino, J. (1994) A fault-tolerant mechanism for simple controllers. In Proc. 1st European Dependable Computing Conf., Berlin, Germany, pp. 39-55. Springer-Verlag, Berlin.
41. Zorzo, F., Romanovsky, A., Xu, J., Randell, B., Stroud, R. J. and Welch, I. S. (1999) Using coordinated atomic actions to design complex safety-critical systems: the production cell case study. Software - Pract. Exp., 29, 1-21.
42. Romanovsky, A., Xu, J. and Randell, B. (1998) Exception handling in object-oriented real-time distributed systems. In Proc. 1st Int. Symp. on Object-oriented Real-time Distributed Computing, Kyoto, Japan, pp. 32-42. IEEE Computer Society Press, Los Alamitos, CA.
43. Romanovsky, A. and Zorzo, A. F. (1999) Coordinated atomic actions as a technique for implementing distributed gamma computation. J. Syst. Architecture (Special Issue on New Trends in Programming and Execution Models for Parallel Architectures, Heterogeneously Distributed Systems and Mobile Computing), 45, 1357-1374.