Combining tasking and transactions

Proceedings of the 9th International Workshop on Real-Time Ada, IRTAW 1999

Volumn , Issue , 1999, Pages 49-53

  Kienzle, Jorg ^a  

^a EPFL   (Switzerland)

Author keywords

Ada 95; Concurrency; Fault Tolerance; Object Oriented Programming; Transactions

Indexed keywords

ADA (PROGRAMMING LANGUAGE); COMPUTER PROGRAMMING; FAULT TOLERANCE;

ADA 95; CONCURRENCY; CONCURRENT PROGRAMMING LANGUAGES; DESIGN AND DEVELOPMENT; FAULT TOLERANCE MECHANISMS; POSITION PAPERS; TRANSACTION SUPPORT; TRANSACTIONS;

OBJECT ORIENTED PROGRAMMING;

EID: 85012936858     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/329607.334738     Document Type: Conference Paper

References (21)

1. Object Management Group, Inc.: Object Transaction Service, August 1994.
2. Lee, P. A.; Anderson, T.: "Fault Tolerance-Principles and Practice". In Dependable Computing and Fault-Tolerant Systems, volume 3, Springer Verlag, 2nd ed., 1990.
3. Kermarrec, Y.; Nana, L.; Pautet, L.: "Providing fault-tolerant services to distributed Ada 95 applications". In TRI-Ada'96 conference, pp. 39-47, ACM Press, December 1996.
4. Miranda, J.; Alvarez, A.; Arevalo, S.; Guerra, F.: "Drago: An Ada Extension to Program Fault-Tolerant Distributed Applications". In Reliable Software Technologies-Ada-Europe'96, volume 1088 of Lecutre Notes in Computer Science, pp. 235-246, Springer Verlag, 1996.
5. Wolf, T.: "Fault Tolerance in Distributed Ada 95". Proceedings of the 8th International Real-Time Ada Workshop XVH(5), pp. 106-110, September 1997.
6. de las Heras-Quiros, P.; Gonzalez-Barahona, J. M.: "Programming Distributed Fault Tolerant Systems: The replicAda Approach". In TRI-Ada'97 Conference, pp. 21-29, St. Louis, MO, November 1997, ACM Press.
7. Gray, J.; Reuter, A.: Transaction Processing: Concepts and Techniques. Morgan Kaufmann Publishers, San Mateo, California, 1993.
8. Moss, J. E. B.: Nested Transactions, An Approach to Reliable Computing. Ph.D. Thesis, MIT, Cambridge, April 1981.
9. Randell, B.: "System structure for software fault tolerance". IEEE Transactions on Software Engineering 1(2), pp. 220-232, 1975.
10. Strigini, L.; Giandomenico, F. D.; Romanovsky, A: "Coordinated backward recovery between client processes and data servers". IEE Proceedings-Software Engineering 144(2), pp. 134-146, April 1997.
11. Jalote, P.; Campbell, R. H.: "Atomic Actions in Concurrent Systems". In 5th International Conference on Distributed Computing Systems, pp. 184-191, Denver, 1985.
12. Bums, A.; Wellings, A. J.: "Ada 95: An Effective Concurrent Programming Language". In Reliable Software Technologies-Ada-Europe '96, volume 1088 of Lecture Notes in Computer Science, pp. 58-77, Springer Verlag, 1996.
13. Romanovsky, A.; Mitchell, S. E.; Wellings, A. J.: "On Programming Atomic Actions in Ada 95". In Reliable Software Technologies-Ada-Europe '97, volume 1251 of Lecture Notes in Computer Science, pp. 254-265, Springer Verlag, June 1997.
14. Romanovsky, A.: "A Study of Atomic Action Schemes Intended for Standard Ada". Technical Report 600, University of Newcastle upon Tyne, June 1997.
15. Xu, J.; Randell, B.; Romanovsky, A.; Rubira, C. M. F.; Stroud, R. J.; Wu, Z.: 'Tault Tolerance in Concurrent Object-Oriented Software through Coordinated Error Recovery". In FTCS-25: 25th International Symposium on Fault Tolerant Computing, pp. 499-509, Pasadena, California, 1995.
16. Liskov, B.: "Distributed Programming in Argus". Communications of the ACM 31(3), pp. 300-312, March 1988.
17. Specter, A. Z.; Pausch, R. F.; Bruell, G.: "Camelot: A Flexible, Distributed Transaction Processing System". In Proceedings of the 33rd IEEE Computer Society International Conference (Spring COMPCON 88), pp. 432-437, San Francisco CA, USA, March 1988, IEEE Computer Society Press.
18. Zorzo, A. F.; Romanovsky, A.; Xu, J.; Stroud, R. J.; Welch, I. S.: "Using Coordinated Atomic Actions to Design Complex Safety-Critical Systems: The Production Cell Case Study". Technical report, Esprit Long Term Research Project DeVa-Second Year Report, December 1997.
19. Zorzo, A. F.; Romanovsky, A.; Xu, J.; Stroud, R. J.; Welch, I. S.: "Using Coordinated Atomic Actions to Design Dependable Distributed Object Systems". Technical report, Esprit Long Term Research Project DeVa-Second Year Report, December 1997.
20. Vachon, J.; Buchs, D.; Buffo, M.; Randell, B.; Romanovsky, S.; Xu, J.: "COALA-A Formal Language for Coordinated Atomic Actions". Technical report, Published in DeVa third year report, December 1998.
21. Shrivastava, S. K.; Mancini, L. V; Randell, B.: "The Duality of Fault-tolerant System Structures". Software-Practice and Experience 23(7), pp. 773-798, July 1993.