Premium
The duality of fault‐tolerant system structures
Author(s) -
Shrivastava Santosh K.,
Mancini Luigi V.,
Randell Brian
Publication year - 1993
Publication title -
software: practice and experience
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.437
H-Index - 70
eISSN - 1097-024X
pISSN - 0038-0644
DOI - 10.1002/spe.4380230706
Subject(s) - dual polyhedron , duality (order theory) , computer science , context (archaeology) , class (philosophy) , process (computing) , theoretical computer science , dual (grammatical number) , fault tolerance , distributed computing , programming language , artificial intelligence , mathematics , pure mathematics , linguistics , paleontology , philosophy , biology
An examination of the structure of fault‐tolerant systems incorporating backward error recovery indicates a partitioning into two broad classes. Two canonical models, each representing a particular class of systems, have been constructed. The first model incorporates objects and actions as the entities for program construction whereas the second model employs communicating processes and conversations. Applications in areas such as office information and banking systems are typically described and built in terms of the first model whereas applications in the area of process control are usually described and built in terms of the second model. The paper claims that the two models are duals of each other and presents arguments and examples to substantiate this claim. It will be shown that the techniques that have been developed within the context of one model turn out to have interesting and hitherto unexplored duals in the other model.