ASDL: a wide spectrum language for designing web services
Date
2006-05-01
Advisors
Journal Title
Journal ISSN
ISSN
Volume Title
Publisher
Type
Other
Peer reviewed
Abstract
Description
This paper presents a novel approach to designing Web services using a Wide Spectrum Design Language: ASDL. It provides a notation for the design of service composition and interaction protocols at an abstract level. It presents the syntax of ASDL along with its specification oriented semantics ITL. The paper lays the foundation for Semantic Unification in Service Verification where properties of the service and the model can be specified using a common formalism of ITL. A reprint of this paper appeared in "Semantic Web Processes and their Applications", Cardoso and Sheth (eds.), Springer, 2005.
Keywords
RAE 2008, UoA 23 Computer Science and Informatics
Citation
Zedan, H.S.M., Cau, A. and Solanki, M. (2006) ASDL: a wide spectrum language for designing web services. The proceedings of the 15th international world wide web conference (ACM), pp. 687-696.