标题：Algorithm optimization of checking atomicity-equivalent public view
作者：Guo, Rui ;He, Hong
作者机构：[Guo, Rui ;He, Hong ] School of Mechanical, Electrical and Information Engineering, Shandong University at Weihai, Weihai, China
会议名称：5th International Conference on Pervasive Computing and Applications, ICPCA10
会议日期：1 December 2010 through 3 December 2010
来源：ICPCA10 - 5th International Conference on Pervasive Computing and Applications
关键词：Algorithm optimization; Atomic sphere; Exception handling; Process algebra; Public view; Web service composition
摘要：Service-oriented Architecture (SOA) is a novel software engineering methodology of the internet era for developing distributed application. Different organizations and service providers develop their own web services independently and the service consumers can put these services together to develop their applications. Background processes are often hidden by their service providers and consumer can only get limited public views. To avoid inconsistent situations, applications always need the supporting of transaction. But having ACID(atomicity, consistency, isolation, and durability) is almost impossible. Exception handling is a kind of week-consistent that can keep atomicity and the consistency of composition process at the same time. This paper materializes a method to get task signature while taking exception handler into consideration and improves the checking atomicity-equivalent public view algorithm of  in the hope of lowering time complexity. ©2010 IEEE.