Department of Computer Engineering and IT;
Shiraz University of Technology;
Shiraz;
Iran;
Department of Computer Engineering and IT;
Tehran University;
Kish;
Iran;
Fault; Tolerance; Service; Oriented; Architecture; Service; Composition; Finite; State; Process;