CAA-DRIP: A framework for implementing coordinated atomic actions

Proceedings - International Symposium on Software Reliability Engineering, ISSRE

Volumn , Issue , 2006, Pages 385-394

  Capozucca, A ^a   Guelfi, N ^a   Pelliccione, P ^a   Romanovsky, A ^b   Zorzo, A ^c  

^a UNIVERSITY OF LUXEMBOURG   (Luxembourg)

^b NEWCASTLE UNIVERSITY   (United Kingdom)

^c PONTIFICAL CATHOLIC UNIVERSITY OF RIO GRANDE DO SUL   (Brazil)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SYSTEM RECOVERY; FAULT TOLERANT COMPUTER SYSTEMS; JAVA PROGRAMMING LANGUAGE; SEMANTICS; SYSTEMS ANALYSIS;

COORDINATED ATOMIC ACTION (CAA); DEPENDABLE MULTIPARTY INTERACTIONS (DMI); DEPENDABLE REMOTE INTERACTING PROCESSES;

SOFTWARE DESIGN;

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

References (17)

1. Java 2 Platform, Standard Edition (J2SE). http://java.sun.com.
2. A. R Zorzo and R. J. Stroud. A distributed object-oriented framework for dependable multiparty interactions. In OOP-SLA '99, pages 435-446. ACM Press, 1999.
3. A. Avizienis. The N-Version Approach to Fault-Tolerant Software. IEEE Trans. Soft. Eng, pages 1491-1501, 1985.
4. C. Bertolini, L. Brenner, P. Fernandes, A. Sales, and A. F. Zorzo. Structured Stochastic Modeling of Fault-Tolerant Systems. In MASCOTS, pages 139-146, 2004.
5. Correct Web Page. http://lassy.uni.lu/correct, 2006.
6. Ferda Tartanoglu and Nicole Levy and Valerie Issarny and Alexander Romanovsky. Using the B Method for the Formalization of Coordinated Atomic Actions. In Proc. ICSE 2003 Workshop on Software Architectures for Dependable System.
7. G. Di Marzo Serugendo, N. Guelfi, A. Romanovsky, A. Zorzo. Formal Development and Validation of Java Dependable Distributed Systems. In ICECCS'99, pages 98-108, Nevada, USA, October, 1999.
8. J. Gray and A. Reuter. Transaction Processing: Concepts and Techniques. Morgan Kaufmann, 1993.
9. D. Harel. Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming, 8(3):231-274, June 1987.
10. D. Harel and A. Naamad. The STATEMATE semantics of statecharts. ACM Trans. Softw. Eng. Methodol., 5(4):293-333, 1996.
11. P. Lee and T. Anderson. Fault Tolerance: Principles and Practice, Second Edition. Prentice-Hall, 1990.
12. B. Randell. System Structure for Software Fault Tolerance. IEEE Transactions on Software Engineering. IEEE Press, SE-1(2):220-232, 1975.
13. A. Romanovsky, P. Periorellis, and A. Zorzo. On Structuring Integrated Web Applications for Fault Tolerance. Proceedings of ISADS 2003, pages 99-106, 2003.
14. J. Xu, B. Randell, A. Romanovsky, R. Stroud, A. Zorzo, E. Canver, and F. von Henke. Rigorous Development of a Safety-Critical System Based on Coordinated Atomic Actions. IEEE Trans. on Computers, pages 164-179, 2002.
15. J. Xu, B. Randell, A. B. Romanovsky, C. M. F. Rubira, R. J. Stroud, and Z. Wu. Fault Tolerance in Concurrent Object-Oriented Software Through Coordinated Error Recovery. In Symposium on Fault-Tolerant Computing, 1995.
16. A. Zorzo. Multiparty Interactions in Dependable Distributed Systems. PhD Thesys, University of Newcastle upon Tyne, Newcastle upon Tyne, UK, 1999.
17. A. F. Zorzo. A Production Cell Controlled by Dependable Multiparty Interactions. In Technical Report Series No. 667. University of Newcastle, March 1999.