IEEE Transactions on Software Engineering
Atomic actions for fault-tolerance using CSP
IEEE Transactions on Software Engineering
Design of reliable software in distributed systems using the conversation scheme
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
Fault-tolerant computing: theory and techniques; Vol. 2
A Simplification of a Conversation Design Scheme Using Petri Nets
IEEE Transactions on Software Engineering
The use of GMB in the design of robust software for distributed systems
Software Engineering Journal
Performance Impacts of Look-Ahead Execution in the Conversation Scheme
IEEE Transactions on Computers
Modeling and Verification of Time Dependent Systems Using Time Petri Nets
IEEE Transactions on Software Engineering
Communicating Real-Time State Machines
IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
Concepts and Notations for Concurrent Programming
ACM Computing Surveys (CSUR)
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
The Specification of Complex Systems
The Specification of Complex Systems
Implementation of the Conversation Scheme in Message-Based Distributed Computer Systems
IEEE Transactions on Parallel and Distributed Systems
IEEE Transactions on Software Engineering
Implementations and Extensions of the Conversation Concept
Proceedings of the 5th International GI/ITG/GMA Conference on Fault-Tolerant Computing Systems, Tests, Diagnosis, Fault Treatment
Dependability: A Unifying Concept for Reliable, Safe, Secure Computing
Proceedings of the IFIP 12th World Computer Congress on Algorithms, Software, Architecture - Information Processing '92, Volume 1 - Volume I
Hi-index | 0.00 |
Only a few mechanisms have been proposed for the design of fault-tolerant software.One of these is the conversation, which, though it has some drawbacks, is a potentiallypromising structure. One of the problems with conversations is that they must be definedand verified by the user. In this short note, a systematic method for generating theboundaries of conversations directly from the specification is proposed. This method canalso be used to verify conversations selected by the user. The specification is describedby a high-level modified Petri net which can easily be transformed into a state modelcalled an action-ordered tree. The conversation boundaries are then determined from thistree. It is proved that the method proposed is complete in the sense that all of thepossible boundaries can be determined, and it has the merit of simplicity. A robot armcontrol system is used to illustrate the idea. The proposed method can serve as the basisof a tool to assist in conversation designs.