Welcome to the InfoSci Platform
Analysis of Service Compatibility: Complexity and Computation

Analysis of Service Compatibility: Complexity and Computation

Ken Q. Pu
Copyright: © 2009 |Pages: 20
ISBN13: 9781605663302|ISBN10: 1605663301|ISBN13 Softcover: 9781616926113|EISBN13: 9781605663319
DOI: 10.4018/978-1-60566-330-2.ch009
Cite Chapter Cite Chapter

MLA

Pu, Ken Q. "Analysis of Service Compatibility: Complexity and Computation." Services and Business Computing Solutions with XML: Applications for Quality Management and Best Processes, edited by Patrick Hung, IGI Global, 2009, pp. 136-155. https://doi.org/10.4018/978-1-60566-330-2.ch009

APA

Pu, K. Q. (2009). Analysis of Service Compatibility: Complexity and Computation. In P. Hung (Ed.), Services and Business Computing Solutions with XML: Applications for Quality Management and Best Processes (pp. 136-155). IGI Global. https://doi.org/10.4018/978-1-60566-330-2.ch009

Chicago

Pu, Ken Q. "Analysis of Service Compatibility: Complexity and Computation." In Services and Business Computing Solutions with XML: Applications for Quality Management and Best Processes, edited by Patrick Hung, 136-155. Hershey, PA: IGI Global, 2009. https://doi.org/10.4018/978-1-60566-330-2.ch009

Export Reference

Mendeley
Favorite

Abstract

In this chapter, the authors apply type-theoretic techniques to the service description and composition verification. A flexible type system is introduced for modeling instances and mappings of semi-structured data, and is demonstrated to be effective in modeling a wide range of data services, ranging from relational database queries to web services for XML. Type-theoretic analysis and verification are then reduced to the problem of type unification. Some (in)tractability results of the unification problem and the expressiveness of their proposed type system are presented in this chapter. Finally, the auhtors construct a complete unification algorithm which runs in EXP-TIME in the worst case, but runs in polynomial time for a large family of unification problems rising from practical type analysis of service compositions.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.