ASDL: a wide spectrum language for designing web services
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.
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.
Research Group : Software Technology Research Laboratory (STRL)