Implementation of resilient, atomic data types
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
Nested transactions: an approach to reliable distributed computing
Nested transactions: an approach to reliable distributed computing
Error recovery in asynchronous systems
IEEE Transactions on Software Engineering
Atomic actions for fault-tolerance using CSP
IEEE Transactions on Software Engineering
Concepts and experiments in computational reflection
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
Distributed programming in Argus
Communications of the ACM
Object-oriented concurrent programming
Object-oriented concurrent programming
Apologizing versus asking permission: optimistic concurrency control for abstract data types
ACM Transactions on Database Systems (TODS)
Journal of Object-Oriented Programming
Object-oriented reuse, concurrency and distribution: an ADA-based approach
Object-oriented reuse, concurrency and distribution: an ADA-based approach
Advances in object-oriented software engineering
Advances in object-oriented software engineering
Transparency and reflection in distributed systems
ACM SIGOPS Operating Systems Review
The duality of fault-tolerant system structures
Software—Practice & Experience
Transaction Processing: Concepts and Techniques
Transaction Processing: Concepts and Techniques
Fault Tolerance: Principles and Practice
Fault Tolerance: Principles and Practice
An Overview of the Arjuna Distributed Programming System
IEEE Software
Designing an Extensible Distributed Language with a Meta-Level Architecture
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Using Metaobject Protocols to Implement Atomic Data Types
ECOOP '95 Proceedings of the 9th European Conference on Object-Oriented Programming
Process structuring, synchronization, and recovery using atomic actions
Proceedings of an ACM conference on Language design for reliable software
Approaches to Mechanization of the Conversation Scheme Based on Monitors
IEEE Transactions on Software Engineering
The N-Version Approach to Fault-Tolerant Software
IEEE Transactions on Software Engineering
ACM SIGOPS Operating Systems Review
Implementing Atomic Actions in Ada 95
IEEE Transactions on Software Engineering
On distribution of coordinated atomic actions
ACM SIGOPS Operating Systems Review
Fault tolerance in distributed Ada 95
IRTAW '97 Proceedings of the eighth international workshop on Real-Time Ada
A distributed object-oriented framework for dependable multiparty interactions
Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Concurrent Exception Handling and Resolution in Distributed Object Systems
IEEE Transactions on Parallel and Distributed Systems
Coordinated atomic actions: how to remain ACID in the modern world
ACM SIGSOFT Software Engineering Notes
ACM SIGOPS Operating Systems Review
Rigorous Development of an Embedded Fault-Tolerant System Based on Coordinated Atomic Actions
IEEE Transactions on Computers - Special issue on fault-tolerant embedded systems
Implementing exceptions in open multithreaded transactions based on Ada 95 exceptions
ACM SIGAda Ada Letters - Exception handling for a 21st century programming language proceedings
Implementing transactions using Ada exceptions: which features are missing?
ACM SIGAda Ada Letters - Exception handling for a 21st century programming language proceedings
Advances in exception handling techniques
Action-oriented exception handling in cooperative and competitive concurrent object-oriented systems
Advances in exception handling techniques
Designing Fault-Tolerant Mobile Systems
FIDJI '01 Revised Papers from the International Workshop on Scientific Engineering for Distributed Java Applications
Ada-Europe '99 Proceedings of the 1999 Ada-Europe International Conference on Reliable Software Technologies
Action-Oriented Exception Handling in Cooperative and Competitive Concurrent Object-Oriented Systems
Advances in Exception Handling Techniques (the book grow out of a ECOOP 2000 workshop)
Advances in Exception Handling Techniques (the book grow out of a ECOOP 2000 workshop)
An abstract architecture for dependable and flexible distributed applications
Systems engineering for business process change
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
Analysing failure behaviours in component interaction
Journal of Systems and Software
The atomic manifesto: a story in four quarks
ACM SIGOPS Operating Systems Review
The atomic manifesto: a story in four quarks
ACM SIGMOD Record
Self-healing components in robust software architecture for concurrent and distributed systems
Science of Computer Programming - Special issue on system and software architectures(IWSSA'04)
Architectural reconfiguration using coordinated atomic actions
Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems
Verification of coordinated exception handling
Proceedings of the 2006 ACM symposium on Applied computing
Journal of Systems and Software
Recovery domains: an organizing principle for recoverable operating systems
Proceedings of the 14th international conference on Architectural support for programming languages and operating systems
Improving reliability of cooperative concurrent systems with exception flow analysis
Journal of Systems and Software
Designing reliable real-time concurrent object-oriented software systems
Proceedings of the 2009 ACM symposium on Applied Computing
Global-to-local approach to rigorously developing distributed system with exception handling
Journal of Computer Science and Technology
Science of Computer Programming
Software fault tolerance: an overview
Ada-Europe'03 Proceedings of the 8th Ada-Europe international conference on Reliable software technologies
A model of behaviour abstraction for communicating processes
STACS'99 Proceedings of the 16th annual conference on Theoretical aspects of computer science
Intrusion-tolerant architectures: concepts and design
Architecting dependable systems
Dependability in the web services architecture
Architecting dependable systems
A pattern-based approach for modeling and analyzing error recovery
Architecting dependable systems IV
A template for requirement elicitation of dependable product lines
REFSQ'07 Proceedings of the 13th international working conference on Requirements engineering: foundation for software quality
A transactional model for automatic exception handling
Computer Languages, Systems and Structures
Software dependability: a personal view
FTCS'95 Proceedings of the Twenty-Fifth international conference on Fault-tolerant computing
Atomic boxes: coordinated exception handling with transactional memory
Proceedings of the 25th European conference on Object-oriented programming
Automated addition of fault recovery to cyber-physical component-based models
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
The fault-tolerant insulin pump therapy
Rigorous Development of Complex Fault-Tolerant Systems
Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems
Hi-index | 0.00 |
Abstract: Presents a scheme for coordinated error recovery between multiple interacting objects in a concurrent object-oriented system. A conceptual framework for fault tolerance is established based on a general object concurrency model that is supported by most concurrent object-oriented languages and systems. This framework integrates two complementary concepts-conversations and transactions. Conversations (associated with cooperative exception handling) are used to provide coordinated error recovery between concurrent interacting activities whilst transactions are used to maintain the consistency of shared resources in the presence of concurrent access and possible failures. The serialisability property of transactions is exploited in order to help prevent unexpected information smuggling. The proposed framework is illustrated by means of a case study, and various linguistic and implementation issues are discussed.