Exception handling model with influence factors for distributed systems

Program specification is clearly identified in sequential programing where it has its standard and exceptional transitions. The paper extends the model of program specification to distributed environments where a set of control drivers is taken into account. The model includes the analysis of program specification for distributed data and multiprocess communication. Further, the impact of distributed hardware is discussed for both deterministic and indeterministic systems. The general model was implemented in CORBA to test various system designs behavior. The implementation is a simulator of distributed applications that measures reliability characteristics for different exception handling strategies.