checking compatibility of context-aware service protocols

ISCAS OpenIR

	checking compatibility of context-aware service protocols
	Gao Chushu; Wei Jun
	2011
会议名称	6th IEEE International Symposium on Service-Oriented System Engineering, SOSE 2011
会议录名称	Proceedings - 6th IEEE International Symposium on Service-Oriented System Engineering, SOSE 2011
页码	335-340
会议日期	December 12, 2011 - December 14, 2011
会议地点	Irvine, CA, United states
收录类别	EI
ISBN	9781467304108
部门归属	(1) Institute of Software Chinese Academy of Sciences Beijing China
摘要	Service based business applications are built through the interaction of Web services. The behaviours of these Web services can be described by service protocols representing acceptable sequences of message exchanges. In order to guarantee the correct interaction between Web services, one can check the compatibility of their service protocols. Recent research efforts address the impact of non-functional requirements of service coordination on the analysis of service protocols. The introducing of context-awareness into Web services makes the invocation of Web services adaptable and the service protocol analysis different. In this paper, we use an extended service protocol model in which context-aware behaviours are made explicit. Based on this model, we define the notion of compatibility with respect to the context-awareness and provide the approach for checking compatibility of context-aware Web services. © 2011 IEEE.; Service based business applications are built through the interaction of Web services. The behaviours of these Web services can be described by service protocols representing acceptable sequences of message exchanges. In order to guarantee the correct interaction between Web services, one can check the compatibility of their service protocols. Recent research efforts address the impact of non-functional requirements of service coordination on the analysis of service protocols. The introducing of context-awareness into Web services makes the invocation of Web services adaptable and the service protocol analysis different. In this paper, we use an extended service protocol model in which context-aware behaviours are made explicit. Based on this model, we define the notion of compatibility with respect to the context-awareness and provide the approach for checking compatibility of context-aware Web services. © 2011 IEEE.
关键词	Information Services Model Checking Systems Engineering
主办者	IEEE Computer Society
语种	英语
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/16284
专题	中国科学院软件研究所
推荐引用方式 GB/T 7714	Gao Chushu,Wei Jun. checking compatibility of context-aware service protocols[C],2011:335-340.