Show simple item record

dc.contributor.authorZedan, Husseinen
dc.contributor.authorCau, A. (Antonio)en
dc.contributor.authorSolanki, Monikaen
dc.date.accessioned2008-11-24T13:57:19Z
dc.date.available2008-11-24T13:57:19Z
dc.date.issued2006-05-01en
dc.identifier.citationZedan, 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.urihttp://hdl.handle.net/2086/260
dc.descriptionThis 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.isoenen
dc.subjectRAE 2008
dc.subjectUoA 23 Computer Science and Informatics
dc.titleASDL: a wide spectrum language for designing web servicesen
dc.typeOtheren
dc.identifier.doihttp://dx.doi.org/10.1145/1135777.1135878en
dc.researchgroupSoftware Technology Research Laboratory (STRL)


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record