Study on the Correctness of Web Service Composition Evolution

Abstract:

When Internet has been becoming a platform of all kinds of resources sharing and integrating, service computing can just satisfy this kind of computation. When the users needs and the running environment change frequently, the original structure of the composite service should be rebuilt and reconfigured to need these alterations. Since the availability and the reliability of service composition will not be guaranteed, the correctness of service composition evolution must be verified. In this paper, a formal model-WSPN was presented to describe service composition evolution, WSPN can express the structure of service composition and also can simulate the evolving process of the composite service. In order to keep the evolving correctness of Web service composition, an algorithm was provided to verify the composition relationship between both component services, in this way, the reasonable relationship can be obtained. Finally, the concluding remarks and the future work were pointed out.

• Periodical: Advanced Materials Research (Volumes 694-697)
• Pages: 2370-2373
• DOI: https://doi.org/10.4028/www.scientific.net/AMR.694-697.2370
• Online since: May 2013
• Authors: Yong Shang Cheng, Zhi Jian Wang
• Keywords: Correctness Verification, Evolution, Petri Net, Web Service Composition

References

[1] Zhang Fan, Ying Shi, Yuan Wenjie: A reflective framework for dynamic evolution of semantic Web service composition, Proc. of Computational Intelligence and Industrial Applications Conderence (2009).

DOI: 10.1109/paciia.2009.5406616

[2] Rinderle S, Reichert M, Dadam P: Correctness criteria for dynamic changes in workflow systems-A survey, Data & Knowledge Engineering (2004).

DOI: 10.1016/j.datak.2004.01.002

[3] Zhen Jin, Sun hailong, Liu xudong, Deng Ting, and Huai Jinpeng: Dynamic Evolution Mechanism for Trustworthy Software Based on Service Composition, Journal of Software, Science Press, Beijing China，In Chinese (2010).

DOI: 10.3724/sp.j.1001.2010.03735

[4] Yongshang Cheng, Zhijian Wang: Research on reachability verification of Web service composition, Proc. of World Conference of Software Engineering (2009).

[5] J.Zeng J.P. Huai，H.LSun，T.Deng，X.Li: LiveMig:an approach to live instance migration in composite service evolution, Proc. of IEEE International Conference on Web Services (2009).

DOI: 10.1109/icws.2009.96

[6] Yuan Chongyi: Theory and application of Petri net, Publishing house of electronics industry, Beijing (2005).