ASDL: a wide spectrum language for designing web services

De Montfort University Open Research Archive

Show simple item record

dc.contributor.author Zedan, Hussein en
dc.contributor.author Cau, A. (Antonio) en
dc.contributor.author Solanki, Monika en
dc.date.accessioned 2008-11-24T13:57:19Z
dc.date.available 2008-11-24T13:57:19Z
dc.date.issued 2006-05-01 en
dc.identifier.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.
dc.identifier.uri http://hdl.handle.net/2086/260
dc.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. en
dc.language.iso en en
dc.subject RAE 2008
dc.subject UoA 23 Computer Science and Informatics
dc.title ASDL: a wide spectrum language for designing web services en
dc.type Other en
dc.identifier.doi http://dx.doi.org/10.1145/1135777.1135878 en
dc.researchgroup Software Technology Research Laboratory (STRL)


Files in this item

This item appears in the following Collection(s)

Show simple item record