Coordinated atomic actions for dependable distributed systems: The current state in concepts, semantics and verification means

Proceedings - International Symposium on Software Reliability Engineering, ISSRE

Volumn , Issue , 2007, Pages 29-38

  Gallina, Barbara ^a   Guelfi, Nicolas ^a   Romanovsky, Alexander ^b  

^a UNIVERSITY OF LUXEMBOURG   (Luxembourg)

^b NEWCASTLE UNIVERSITY   (United Kingdom)

Author keywords

Coordinated atomic actions; Dependability; Exception handling; Fault tolerance; Formal methods; Formal properties; System structuring; Verification

Indexed keywords

ARSENIC COMPOUNDS; ATOMIC PHYSICS; ATOMS; COMPUTER SOFTWARE SELECTION AND EVALUATION; INFORMATION THEORY; QUALITY ASSURANCE; SEMANTICS; SOFTWARE RELIABILITY; TECHNICAL PRESENTATIONS;

ATOMIC ACTIONS; CONCEPTUAL FRAMEWORKS; CONCURRENT DISTRIBUTED SYSTEMS; CONCURRENT SYSTEMS; CURRENT STATE; DEPENDABLE SYSTEMS; DEVELOPMENT METHODOLOGIES; DISTRIBUTED SYSTEMS; FAULT-TOLERANT; FORMAL VERIFICATIONS; FUNDAMENTAL CONCEPTS; INTERNATIONAL SYMPOSIUM; SOFTWARE RELIABILITY ENGINEERING;

RELIABILITY;

EID: 47349116542     PISSN: 10719458     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISSRE.2007.10     Document Type: Conference Paper

References (23)

1. B. Randell; System Structure for Software Fault Tolerance. IEEE Trans. On Software Engineering, SE-1 (2), pp.220-32, 1975.
2. J. Gray, A.Reuter; Transactions Processing: Concepts and Techniques. Morgan Kaufmann Publishers, 1993.
3. J. Xu, B. Randell, A. Romanovsky, C. Rubira, R. Stroud, Z. Wu; Fault tolerance in concurrent object-oriented software through coordinated error recovery. In FTCS-25, California, USA, pp.499-509, 1995.
4. R. H. Campbell and B. Randell; Error Recovery in Asynchronous Systems. IEEE Trans. Software Eng.,. 12,.8, pp. 811-826, Aug. 1986.
5. J. Xu, A. Romanovsky, B. Randell; Concurrent Exception Handling and Resolution in Distributed Object Systems. In IEEE, TPDS-11, 10, 2000.
6. A. Romanovsky, J. Xu and B. Randell; Exception Handling in Object-Oriented Real-Time Distributed Systems. In the 1st IEEE Int. Symposium on Object-oriented Real-time Distributed Computing. Kyoto, Japan. April, pp.32-42, 1998.
7. F. Tartanoglu; Dependable Composition of Web Services. PhD Thesis Report, University of Paris 6, France, December 2005.
8. J. Vachon; COALA: a design language for reliable distributed systems. PhD thesis, EPFL, no 2302, 2000.
9. O. Biberstein; CO-OPN/2: An Object-Oriented Formalism for the Specification of Concurrent Systems. PhD thesis, University of Geneva, July 1997.
10. J. Xu, B. Randell, A. Romanovsky, R.J. Stroud, A.F. Zorzo, E. Canver, F. von Henke; Rigorous Development of a Safety-Critical System Based on Coordinated Atomic Actions. In FTCS-29, Madison, USA, pp. 68-75, 1999.
11. F. C. Filho, A. Romanovsky, C. M. F. Rubira; Verification of Coordinated Exception Handling. In Proceedings of the Applied Computing 2006: the 21st annual ACM Symposium on Applied Computing, Dijon, France, Volume 1, pp. 680-685, April 23-27, 2006.
12. F. Tartanoglu, N. Levy, V. Issarny, A. Romanovsky; Using the B Method for the Formalization of Coordinated Atomic Actions. CS-TR: 865 School of Computing Science, University of Newcastle, Oct 2004.
13. S. Veloudis and N. Nissanke; Modelling Coordinated Atomic Actions in Timed CSP. In Proceedings, 6th International Symposium on Formal Techniques in Real-Time Fault Tolerant Systems. Pune, India. LNCS 1926 Springer Verlag, pages 228-239. September 2000.
14. D. Schwier, F. von Henke, J. Xu , R.J. Stroud, A. Romanovsky, B. Randell; Formalization of the CA Action Concept Based on Temporal Logic. (DeVa) Basic ESPRIT Project. Second Year Report, Volume 2, University of Newcastle, UK, February, 1998.
15. M. Koutny, G. Pappalardo; The ERT Model of Fault-Tolerant Computing and Its Application to a Formalisation of Coordinated Atomic Actions. CS-TR: 636, Department of Computing Science, Newcastle University, 1998.
16. J. E. B. Moss; Nested transactions: an approach to reliable distributed computing. Massachusetts Institute of Technology Cambridge, MA, USA, 1985.
17. S. K Shrivastava, L. V. Mancini, B. Randell; The Duality of Fault-tolerant System Structures. Softw., Pract. Exper. 23(7): 773-798, 1993.
18. A.F. Zorzo, P. Periorellis, A. Romanovsky; Using Coordinated Atomic Actions for Building Complex Web Applications: a Learning Experience. The 8th IEEE International Workshop on Object-oriented Real-time Dependable Systems, Guadalajara, Mexico, IEEE CS, 2003.
19. G. Di Marzo Serugendo, A. Romanovsky. Designing Fault-tolerant Mobile Systems. In Proceedings of the International Workshop on Scientific Engineering for Distributed Java Applications (FIDJI 2002), Luxembourg, Luxembourg, 28-29 November 2002 Guelfi, N., Astesiano, E. and Reggio, G. (eds.). LNCS 2604 pp. 185-201. Springer-Verlag 2003.
20. A. Iliasov, A. Romanovsky. CAMA: Structured Coordination Space and Exception Propagation for Mobile Agents. ECOOP 2005, Workshop on Exception Handling in Object Oriented Systems: Developing Systems that Handle Exceptions. Glasgow UK, July 25, 2005.
21. A. Iliasov, L. Laibinis A. Romanovsky, E. Troubitsyna. Towards Formal Development of Mobile Location-based Systems. REFT 2005 Workshop on Rigorous Engineering of Fault-Tolerant Systems, at FME, Newcastle Upon Tyne, UK, June 2005.
22. A. Iliasov, V. Khomenko, M. Koutny, A. Romanovsky. On Specification and Verification of Location-Based Fault Tolerant Mobile Systems. M. Butler, C. B. Jones, A. Romanovsky, E. Troubitsyna (Eds.): Rigorous Development of Complex Fault-Tolerant Systems. LNCS 4157 Springer 2006.
23. K.H. Kim. Approaches to Mechanization of the Conversation Scheme Based on Monitors. IEEE TSE-8, pp. 189-197, 1982.