Coordinated atomic actions as a technique for implementing distributed gamma computation

Journal of Systems Architecture

Volumn 45, Issue 15, 1999, Pages 1357-1374

  Romanovsky, A ^a   Zorzo, A F ^a  

^a NEWCASTLE UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ARCHITECTURE; JAVA PROGRAMMING LANGUAGE;

COORDINATED ATOMIC ACTIONS; DISTRIBUTED GAMMA COMPUTATION;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 0032593797     PISSN: 13837621     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1383-7621(98)00073-3     Document Type: Article

References (23)

1. J.-P. Banâtre, D.L. Métayer, Gamma and the chemical reaction model: ten years after, in: J.-M. Andréoli, C. Hankin, D.L. Métayer (Eds.), Coordination programming: Mechanisms, Models and Semantics, World Scientific Publishing, IC Press, 1996, pp. 3-41 (http://www.irisa.fr/lande/LeMetayer.html#Publications).
2. Banâtre J.-P., Métayer D.L. Programming by mulitset transformation. CACM. 36(1):1993;98-111.
3. E. Best, Semantics of Sequential and Parallel Programs, Prentice Hall, Englewood Cliffs, NJ, 1996.
4. G. DiMarzo, Distributed Gamma-like addition of integers, Technical Report, EFPL, 1997, (http://lglsun.epfl.ch/Team/GDM/java/DSGamma/DSGamma.html).
5. G. DiMarzo, N. Guelfi, Formal development of Java based Web parallel applications, in: Proceedings Hawaii International Conference of System Science, USA, 1998.
6. G. DiMarzo, N. Guelfi, A. Romanovsky, A.F. Zorzo, Formal development and validation of DSGamma system based on CO-OPN/2 and Coordinated Atomic actions, Technical Report, TR 98/265, Software Eng. Lab., EPFL, Switzerland, 1998.
7. J. Gray, A. Reuter, Transaction Processing: Concepts and Techniques, Kaufman Publishers, San Mateo, California, USA, 1993.
8. S.T. Gregory, J.C. Knight, On the provision of backward error recovery in production programming languages, in: Proceedings 19th International Symposium on Fault-Tolerant Computing Chicago, Illinois, 1989, pp. 507-511.
9. Hoare C.A.R. Monitors - an operating system structuring concept. Communication of ACM. 17(10):1974;549-557.
10. C.A.R. Hoare, Parallel programming: an axiomatic approach, in: G. Goos, J. Hartmaur (Eds.), Languages Hierarchies and Interfaces, LNCS-46, Springer, Berlin, 1976, pp. 11-39.
11. P. Jalote, R. Campbell, Atomic actions in concurrent systems, in: Proceedings Fifth Conference on Distributed Computer Systems 1985, pp. 184-191.
12. Java, The Java Language Specification, Version 1.0 Beta, Sun Microsystems, Inc., 1995.
13. Java, Java Remote Method Invocation Specification, Sun Microsystems, Inc., 1996.
14. P.A. Lee, T. Anderson, Fault Tolerance: Principles and Practice, Springer, Wien, New York, 1990.
15. D.B. Lomet, Process Structuring, Synchronization, and Recovery using Atomic actions, ACM SIGPLAN Notices 12 (1977).
16. Parnas D.L., Clements P.C., Weiss D.M. The modular structure of complex systems. IEEE. TSE/11(3):1985;259-267.
17. Randell B. System structure for software fault tolerance. IEEE Trans. SE/1(2):1975;220-232.
18. B. Randell, A. Romanovsky, R.J. Stroud, J. Xu, A.F. Zorzo, Co-ordinated Atomic actions: from concept to implementation, Technical Report, No.595, Computing Dept., University of Newcastle upon Tyne, 1997.
19. A. Romanovsky, B. Randell, R. Stroud, J. Xu, A. Zorzo, Implementation of blocking Coordinated Atomic actions based on forward error recovery, Journal of System Architecture 43 (10) (1997).
20. A. Romanovsky, J. Xu, B. Randell, Exception handling and resolution in distributed object-oriented systems, in: Proceeding 16th International Conference on Distributed Computing Systems, Hong Kong, 1996, pp. 545-553.
21. Romanovsky A., Zorzo A.F. On distribution of Coordinated Atomic actions. ACM Operating Systems Review. 31(5):1997;70-78.
22. J. Xu, B. Randell, A. Romanovsky, C. Rubira, R. Stroud, Z. Wu, Fault tolerance in concurrent object-oriented software through coordinated error recovery, in: Proceedings 25th International Symposium on Fault-Tolerant Computing USA, 1995, pp. 499-508.
23. A. Zorzo, A. Romanovsky, J. Xu, B. Randell, R. Stroud, I. Welch, Using Coordinated Atomic actions to design complex safety-critical systems: the production cell case study, TR 37, ESPRIT LTR 20072 - DeVa, University of Newcastle upon Tyne, 1997.