Augmenting semantic webservice descriptions with compositional specifications
Date
2004-05-01
Advisors
Journal Title
Journal ISSN
ISSN
Volume Title
Publisher
Type
Other
Peer reviewed
Abstract
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.
Keywords
RAE 2008, UoA 23 Computer Science and Informatics
Citation
Cau, A.G., Solanki, M. and Zedan, H. (2004) Augmenting semantic webservice descriptions with compositional specifications, pp. 544-552.