Using COALA to develop a distributed object-based application

Proceedings - DOA 2000: International Symposium on Distributed Objects and Applications

Volumn , Issue , 2000, Pages 195-208

  Vachon, J ^a   Guelfi, N ^b   Romanovsky, A ^c  

^a EPFL   (Switzerland)

^b UNIVERSITY OF LUXEMBOURG   (Luxembourg)

^c NEWCASTLE UNIVERSITY   (United Kingdom)

Author keywords

Application software; Concurrency control; Concurrent computing; Control systems; Design engineering; Fault tolerance; Fault tolerant systems; Large scale systems; Software design; Software libraries

Indexed keywords

APPLICATION PROGRAMS; COMPUTATIONAL LINGUISTICS; CONTROL SYSTEMS; FAULT TOLERANCE; HIGH LEVEL LANGUAGES; LARGE SCALE SYSTEMS; SOFTWARE DESIGN;

COMPLEX CONCURRENT SYSTEMS; CONCURRENT ACTIVITIES; CONCURRENT COMPUTING; COOPERATION AND COMPETITIONS; DESIGN ENGINEERING; FAULT TOLERANT SYSTEMS; SOFTWARE LIBRARIES; VERIFICATION-AND-VALIDATION;

CONCURRENCY CONTROL;

EID: 84952309453     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DOA.2000.874191     Document Type: Conference Paper

References (17)

1. O. Biberstein. CO-OPN/2: An Object-Oriented Formalism for the Specification of Concurrent Systems. PhD thesis, University of Geneva, Geneva, Switzerland, 1997. Thesis No 2919.
2. D. Buchs and N. Guelfi. A formal specification framework for object-oriented distributed systems. IEEE Transactions on Software Engineering, special issue on Formal Methods for Open Object Based Distributed Systems, 2000.
3. G.N. Bukhres, A. Elmagarmid, and E. Kuhn. Implementation of the flex transaction model. IEEE Data Engineering, 16(2):28-32, june 1993.
4. P.K. Chrysanthis and K. Ramamritham. Acta: The saga continues. In Database Transaction Models for Advance Applications, chapter 10, pages 349-397. Morgan Kaufmann Publishers, 1992.
5. G. Coulouris, J. Dollimore, and T. Kindberg. Distributed Systems: Concepts and Design. Addison-Wesley, second edition, 1994.
6. H. Garcia-Molina and K. Salem. Sagas. In Proceedings of the ACM Special Interest Group on Management of Data (SIGMOD) 1987, pages 249-259, San Francisco, may 1987.
7. J.N. Gray and A. Reuter. Transaction processing: concepts and techniques. Morgan Kaufmann Publ., 1993.
8. J.E.B. Moss. Concurrency Control and Reliability in Distributed Systems, chapter Chap. 14, Nested Transactions: An introduction, pages 395-425. Van Nostrand Reinhold, New York, 1987.
9. C. Pu, G. Kaiser, and N. Hutchinson. Split-transactions for open-ended activities. In Proceedings of the 14th international conference on VLDB, pages 26-37, Los Angeles, September 1988.
10. B. Randell, A. Romanovsky, R.J. Stroud, and A.F. Zorzo J. Xu. Coordinated atomic actions: from concept to implementation. Technical Report TR-595, University of Newcastle upon Tyne, 1997.
11. A. Romanovsky and A.F. Zorzo. Coordinated atomic actions as a technique for implementing distributed gamma computation. Journal of Systems Architecture, 45:1357-1374, 1999.
12. J. Vachon. COALA : a Design Language for Reliable Distributed Systems. PhD thesis, Ecole Polytechnique Fdrale de Lausanne, 2000. To appear.
13. J. Vachon, D. Buchs, M. Buffo, G. Di Marzo Serugendo, B. Randell, A. Romanovsky, R.J. Stroud, and J. Xu. Coala - a formal language for coordinated atomic actions. In 3rd Year Report, ESPRIT Long Term Research Project 20072 on Design for Validation. LAAS, France, november 1998.
14. J. Vachon and N. Guelfi. Coala: A design language for reliable distributed systems engineering. In Proceedings of the workshop on Software Engineering and Petri Nets within the 21st International Conference on Application and Theory of Petri Nets, number 548 - DAIMI PB, pages 135-154. Department of Computer Science, University of Aarhus, Denmark, June 2000.
15. J. Xu, B. Randell, A. Romanovsky, C. Rubira, R. Stroud, and Z. Wu. Fault tolerance in concurrent object-oriented software through coordinated error recovery. In Twenty Fifth Annual International Symp. on Fault-Tolerant Computing, pages 499-509, California, USA, 1995. IEEE CS.
16. A. Zorzo, A. Romanovsky, J. Xu, B. Randell, R.J. Stroud, and I. Welch. Using coordinated atomic action to design complex safety critical systems: A production cell case study. Software: Practice and Experience, 29(8):667-697, 1999.
17. A.F. Zorzo and R.J. Stroud. A distributed object-oriented framework for dependable multiparty interactions. In Proceedings of OOPSLA'99 (Conference on Object-Oriented Programming, Systems, Languages and Applications), pages 435-446, Denver, USA, november 1999.