Augmenting semantic webservice descriptions with compositional specifications

De Montfort University Open Research Archive

Show simple item record

dc.contributor.author Cau, A. (Antonio) en
dc.contributor.author Solanki, Monika en
dc.contributor.author Zedan, Hussein en
dc.date.accessioned 2008-11-24T13:57:22Z
dc.date.available 2008-11-24T13:57:22Z
dc.date.issued 2004-05-01 en
dc.identifier.citation Cau, A.G., Solanki, M. and Zedan, H. (2004) Augmenting semantic webservice descriptions with compositional specifications, pp. 544-552.
dc.identifier.isbn 1-58113-844-X en
dc.identifier.uri http://hdl.handle.net/2086/268
dc.description This is a pioneering paper as it was the first to demonstrate the reactive nature of web services and provides a sound compositional theory for service integration. It shows how temporal properties of services can be specified as part of the Interface description of Web service behaviour and shows the use of SWRL for their encoding. The paper proposes a framework for enriching semantic service descriptions with two temporal assertions: assumption and commitment. These assertions are formally specified in ITL. They are then encoded in SWRL to make them an integral part of the OWL-S description of Web services. According to Google Scholar this paper has been cited 39 times. en
dc.language.iso en en
dc.subject RAE 2008
dc.subject UoA 23 Computer Science and Informatics
dc.title Augmenting semantic webservice descriptions with compositional specifications en
dc.type Other en
dc.researchgroup Software Technology Research Laboratory (STRL)


Files in this item

This item appears in the following Collection(s)

Show simple item record