2012 Seventh ChinaGrid Annual Conference (2012)
Beijing, China China
Sept. 20, 2012 to Sept. 23, 2012
Service composition and substitution are major research fields in Service Oriented Computing (SOC). Behavioral compatibility is very important. This paper proposes a context-dependent behavioral substitutability analysis approach. Web service processes are modeled by Petri nets. By analyzing the partial orders of transitions for the substituted service, several algorithms are given for temporal constraints generation. And this paper proves that if new services satisfy the temporal constraints, the new composite service must be sound and deadlock-free. To explain the algorithms clearly, a detailed example is shown. The results and algorithms can be used to improve the existing methods of service substitution verification.
System recovery, Transient analysis, Educational institutions, Business, Computational modeling, Analytical models, Web services, soundness, service composition, behavioral compatibility, service substitution, partial constraints, deadlock-free
J. Jin, J. Hu, Y. Cao and J. Wang, "Behavioral Compatibility Analysis for Context-independent Service Substitution," 2012 Seventh ChinaGrid Annual Conference(CHINAGRID), Beijing, China China, 2012, pp. 121-127.