Abstract
Web services can be described as local autonomous routines communicating with each other through message exchange. Hence a good understanding of the messages defined in each web service is crucial to enabling automatic composition. This paper presents a semantic specification framework for analyzing the functional composability of autonomous web services. As the locally described web services contain both semantics and business protocols, we model the former using ontologies and the latter by finite-state machines. A layered approach is adopted to analyze the web service composability, which shows how to check whether two web services are composable or not. Based on the specification and analysis, a polynomial-time algorithm is devised for checking the composability of web services efficiently. © 2007 IEEE.
| Original language | English |
|---|---|
| Title of host publication | Proceedings - 2007 IEEE International Conference on Web Services, ICWS 2007 |
| Pages | 695-702 |
| DOIs | |
| Publication status | Published - 2007 |
| Event | 2007 IEEE International Conference on Web Services, ICWS 2007 - Salt Lake City, UT, United States Duration: 9 Jul 2007 → 13 Jul 2007 |
Conference
| Conference | 2007 IEEE International Conference on Web Services, ICWS 2007 |
|---|---|
| Place | United States |
| City | Salt Lake City, UT |
| Period | 9/07/07 → 13/07/07 |
Fingerprint
Dive into the research topics of 'A semantic specification framework for analyzing functional composability of autonomous web services'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver