Communicating sequential processes
Communicating sequential processes
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
The Theory and Practice of Concurrency
The Theory and Practice of Concurrency
Fault Tolerance: Principles and Practice
Fault Tolerance: Principles and Practice
Exception Handling in Component-Based System Development
COMPSAC '01 Proceedings of the 25th International Computer Software and Applications Conference on Invigorating Software Development
Architecture-based Exception Handling
HICSS '01 Proceedings of the 34th Annual Hawaii International Conference on System Sciences ( HICSS-34)-Volume 9 - Volume 9
Reo: a channel-based coordination model for component composition
Mathematical Structures in Computer Science
Verification of coordinated exception handling
Proceedings of the 2006 ACM symposium on Applied computing
Hi-index | 0.00 |
Architectures based on Coordinated Atomic action (CA action) concepts have been used to build concurrent fault-tolerant systems. This conceptual model combines concurrent exception handling with action nesting to provide a general mechanism for both enclosing interactions among system components and coordinating forward error recovery measures. This paper proposes an architectural model to guide the formal specification of concurrent fault-tolerant systems. This architecture provides built-in CSP (Communicating Sequential Process) processes and predefined channels to coordinate exception handling of the user-defined components. As a result, a formal and general architecture supporting software fault-tolerance are ready to be used.