Sciweavers

4 search results - page 1 / 1
» OWL-S Atomic Services Composition with SWRL Rules
Sort
View
SWAP
2007
13 years 6 months ago
OWL-S Atomic Services Composition with SWRL Rules
This paper presents a method for encoding OWL-S atomic processes by means of SWRL rules and composing them using a backward search planning algorithm. A description of the prelimin...
Domenico Redavid, Luigi Iannone, Terry R. Payne
ECOWS
2007
Springer
13 years 11 months ago
Specifying and Monitoring Composite Events for Semantic Web Services
Execution monitoring of complex web service process models is critical for effective management and control of web services based systems. During the composite process model execu...
Roman Vaculín, Katia P. Sycara
WWW
2005
ACM
14 years 5 months ago
Ensuring required failure atomicity of composite Web services
The recent evolution of Internet, driven by the Web services technology, is extending the role of the Web from a support of information interaction to a middleware for B2B interac...
Sami Bhiri, Olivier Perrin, Claude Godart
ESWS
2009
Springer
13 years 2 months ago
Towards an Agent Based Approach for Verification of OWL-S Process Models
Abstract. In this paper we investigate the transformation of OWL-S process models to ISPL - the system description language for MCMAS, a symbolic model checker for multi agent syst...
Alessio Lomuscio, Monika Solanki