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: (1) graphically design applications using high level Petri nets and (2) discharge the programmer of faulttolerance issues. 1 Introduction The design of fault-tolerant distributed applications is a complex task. Considering replication and distribution at design time complicates the programmer's work and may distract him from his main task: implementing application functionalities. Moreover, making a component fault-tolerant is independent of its functionality and may be automatically performed. This paper presents the integration of two environments: GARF [1, 2] and SystemSpecs [3] in order to automatically build fault-tolerant ap..

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 (Specs and Garf) so as to: (1) graphically design applications using high level Petri nets and (2) discharge the programmer of fault-tolerance issues