Visual Programming of Fault-Tolerant Distributed Applications

摘要

The design of fault-tolerant distributed applications is a complex task. In addition to application functionalities, the programmer must consider issues related to both replication and distribution for every application component concerned with fault-tolerance.rnThis paper describes an approach which combines two environments (SystemSpecs and GARF) so as to: (1) graphically design applications using high level Petri nets and (2) discharge the programmer of fault-tolerance issues.