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. This paper describes an approach which combines two environments (SystemSpecs and GARF) so as to: graphically design applications using high level Petri nets; and discharge the programmer of fault-tolerance issues.