Describing and Verifying Web Service Using Type Theory
Zhiwei Chen; Jian Wu; Shuiguang Deng; Ying Li; Zhaohui Wu
Computer Supported Cooperative Work in Design, 2006. CSCWD apos;06. 10th International Conference on
Volume , Issue , 3-5 May 2006 Page(s):1 - 5
Digital Object Identifier   10.1109/CSCWD.2006.253183
Summary:A Web service is a basic software component that can be accessed by standard Internet protocols. It provides a new approach to cooperative and federated computing among different organizational units. There are many specifications which can describe the elements of Web services and make the end-users interact with each other. However, they are remaining at the descriptive level, without supporting any kind of mechanisms or tools for the verifying the specified attributes of the Web services. In the paper, we provide a mathematical scheme, type theory, to describe the basic elements of Web services and the specified attributes. We also present the mechanism to deduce the automated programs in other languages (for example ML) from the type theory. Thus we can verify the behavioral properties of a Web service as well as analyzing and verifying Web services composition

» View citation and abstract

Log in by entering your IEEE Web Account Username and Password.

IEEE Communications Society members: If you subscribe to the IEEE Electronic Periodicals Package or IEEE Electronic Periodicals Package Plus, you must access your subscription at www.comsoc.org.

Check with your librarian, information professional, or system manager to determine if you need to log in. Please complete the online Technical Support Form if you need assistance.

Select the Purchase History link to access the document. You will have 5 Days after purchase to access the Full Text PDF. Please complete the online Technical Support Form if you need assistance.

• Search and access Abstract records free of charge
• Register for table of contents alerts
• Purchase Full Text PDF documents

» Learn more about subscription options or how to become an IEEE Member.