JSEA  Vol.3 No.8 , August 2010
Applications of Norm and Situation Calculus in the Semantic Web Service Composition
Abstract: Semantic Web service studies are carried out around the OWL-S, however, OWL-S model does not contain the descrip-tion of preferences and constraints when we choose and use them in different organizations, different cultures, different sectors and actors because of OWL capacity limitations in rules. It means that Semantic Web service composition can not compose users’ subjective services from the user requirements. The paper makes up for the semantic shortcoming of OWL-S through using norm semantic scalability, and achieves the formal description of the norm by using the situation calculus. Finally, the paper also takes a tourism composite service as an example how to extend the ability of the semantic description of OWL-S, which shows us the combination of the norm and the situation calculus. It is positive significance for eventually realizing semantic extension of OWL-S.
Cite this paper: nullZhao, J. and Gu, X. (2010) Applications of Norm and Situation Calculus in the Semantic Web Service Composition. Journal of Software Engineering and Applications, 3, 776-783. doi: 10.4236/jsea.2010.38090.

[1]   S. N. Sheila and S. Mcilraith, “Analysis and Simulation of Web Services,” Computer Networks, Vol. 42, May 2003, pp. 675-693.

[2]   A. Ferrara, “Web Services:A Process Algebra Approach,” Proceedings of the International Conference on Service Oriented Computing, New York, 2004, pp.1-18

[3]   Y. S. Cheng and Z. J. Wang, “Research on Formal Description and Verification of Semantic Service Composition,” Computer Science, Vol. 35, No. 4, April 2008, pp. 40-43.

[4]   J. Liao, H. Tan and J. D. Liu, “Describing and Verifying Web Service Using Pi-Calculus,” Chinese Journal of Computers, Vol. 28, No. 4, April 2005, pp. 635-643.

[5]   R. Stamper and K. Liu, “Organisational Dynamics, Social Norms and Information Norms,” Proceedings of Hawaii International Conference on System Sciences, Hawaii, 1994, pp. (IV)645-654.

[6]   H. Q. Yang, S. Z. Li, J. P. Zhao and W. Pu, “Research on Architecture Design and Requirement Modeling Based on Semiotics of Adaptive Healthcare Information System,” Journal of Computer Engineering and Applications, Vol. 45, No. 9, September 2009, pp. 244-248.

[7]   G. Wang, “Research and Implement on the Behaviors of Multiple Intelligent Virtual Human Based on the Si- tuation Calculus,” JiangSu University, Zhenjiang, 2006.

[8]   D. M. Xu and H. Q. Wang, “Muti-Agent Collabo-Ration for B2B Workflow Monitoring,” Knowledge-Based System, Vol. 15, No. 8, November 2002, pp. 485-491.

[9]   S. Liang, “Research on Technology of Automatic Services Composition Based on Semantic Web,” Chinese Academy of Sciences, Beijing, 2003.

[10]   S. McIlraith and T. C. Son, “Adapting Golog for Programming the Semantic Web,” International Con- ference on Knowledge Representation and Reasoning, Toulouse, 2002, pp. 482-493.

[11]   Z. S. Gao, “A Multi-Agent Based Approach for Automated Semantic Web Services Composition,” XiHua University, Chengdu, 2006.