Augmenting semantic webservice descriptions with compositional specifications
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.
Citation : Cau, A.G., Solanki, M. and Zedan, H. (2004) Augmenting semantic webservice descriptions with compositional specifications, pp. 544-552.
ISBN : 1-58113-844-X
Research Group : Software Technology Research Laboratory (STRL)