A study of atomic action schemes intended for standard Ada

Journal of Systems and Software

Volumn 43, Issue 1, 1998, Pages 29-44

  Romanovsky, A ^a,b  

^a NEWCASTLE UNIVERSITY   (United Kingdom)

^b ISTI CNR   (Italy)

Author keywords

Concurrent systems; Conversations; Fault tolerance; Standard languages; System structuring

Indexed keywords

CONCURRENT ENGINEERING; FAULT TOLERANT COMPUTER SYSTEMS; JAVA PROGRAMMING LANGUAGE; MODIFICATION; STANDARDIZATION; SYSTEMS ANALYSIS;

ATOMIC ACTION SCHEMES;

ADA (PROGRAMMING LANGUAGE);

EID: 0032186584     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0164-1212(98)10020-1     Document Type: Article

References (24)

1. ANSI, 1983. ANSI/MIL-STD-1815a Reference Manual for the Ada Programming Language. American National Standards Institute, 1983.
2. Burns, A., Wellings, A., 1995. Concurrency in Ada. Cambridge University Press, p. 396.
3. Burns, A., Wellings, A.J., 1989. Real-time Systems and their Programming Languages. Addison-Wesley, New York, p. 575.
4. Campbell, R.H., Randell, B., 1986. Error Recovery in Asynchronous Systems. IEEE Trans, on Software Eng SE- 12 (8), 811-826.
5. Clematis, A., Gianuzzi, V., 1993. Structuring conversation in operation/procedure oriented programming languages. Computer Languages 18(3), 153-168.
6. Cristian, F., 1979. A Recovery Mechanism for Modular Software, in Proceedings of the Fourth International Conference on Software Engineering, Munich.
7. DiSanto, M., Nigro, L., Russo, W., 1983. Programming Reliable and Robust Software in Ada. Proceedings of the 13th International Fault Tolerant Computing System Symposium, Italy.
8. Gregory, S.T., Knight, J.C., 1985. A New Linguistic Approach to Backward Error Recovery. Proceedings of the 15th International Symposium on Fault-Tolerant Computing, Michigan.
9. Gregory, S.T., Knight, J.C., 1989. On the Provision of Backward Error Recovery in Production Programming Languages. Proceedings of the 19th International Symposium on Fault-Tolerant Computing, Chicago, IL.
10. Hoare, C.A.R., 1976. Parallel Programming: An Axiomatic Approach. In: Goos, G., Hartmaur, J., (Eds.), Languages Hierarchies and Interfaces, Lecture Notes in Computer Science, LNCS-46, Springer, Berlin.
11. Horning, J.J., 1979. Programming Languages. In: Anderson, T., Randell, B. (Eds.), Computing Systems Reliability, Cambridge University Press, Cambridge.
12. Intermetrics, 1995. Information technology - Programming languages - Ada. Language and Standard Libraries. ISO/IEC 8652: 1995(E), Intermetrics, Inc.
13. Lee, P.A., Anderson, T., 1990. Fault Tolerance: Principles and Practice, Springer, Berlin, p. 320.
14. Lynch, N.A., Merrit, M., Weihl, W.E., Fecete, A., 1993. Atomic Transactions. Morgan Kaufman, San Mateo, p. 500.
15. Randell, B., 1975. System Structure for Software Fault Tolerance. IEEE Trans, on Software Engrg. SE- 1 (2), 220-232.
16. Randell, B., 1993. Approaches to Software Fault Tolerance. Proceedings of the 25th Annual LAAS Conference, Toulouse, France.
17. Randell, B., Xu, J., 1995. The Evolution of the Recovery Blocks. In: Lyu, M.R. (Ed.), Software Fault Tolerance. Wiley, New York.
18. Romanovsky, A., 1995a. Application specific conversation schemes for ADA programs. Microprocessing and Microprogramming 41 (10), 703-713.
19. Romanovsky, A., 1995b. Conversations of Objects. Computer Languages 21 (3/4), 147-163.
20. Romanovsky, A., Strigini, L., 1995. Backward error recovery via conversations in Ada. Software Engineering Journal 10 (8), 219-232.
21. Romanovsky, A., 1996. Practical exception handling and resolution in concurrent programs. Technical Report 545, Computing Department, University of Newcastle upon Tyne.
22. Strigini, L., Romanovsky, A., 1993. Implementing atomic transactions in Ada, Technical Report (unpublished) IEI CNR. Pisa, Italy.
23. Wellings, A.J., Burns, A., 1996. Implementing Atomic Actions in Ada95, Technical Report YCS-263. Department of Computer Science, University of York.
24. Xu, J., Randell, B., Romanovsky, A., Rubira, C., Stroud, R., Wu, Z., 1995. Fault Tolerance in Concurrent Object-Oriented Software through Coordinated Error Recovery. Proceedings of the 25th International Symposium on Fault-Tolerant Computing, California.