Issue No. 10 - October (1994 vol. 5)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/71.313126
<p>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.</p>
Index TermsPetri nets; fault tolerant computing; software reliability; system recovery; systemsanalysis; formal specification; parallel processing; Petri nets; conversation boundaries;fault-tolerant software; software design; high-level modified Petri net; state model;action-ordered tree; robot arm control system; conversation design tool
E. Fernandez and J. Wu, "Using Petri Nets for the Design of Conversation Boundaries in Fault-Tolerant Software," in IEEE Transactions on Parallel & Distributed Systems, vol. 5, no. , pp. 1106-1112, 1994.