Sciweavers

4 search results - page 1 / 1
» OWL-S Atomic Services Composition with SWRL Rules
Sort
View
111
Voted
SWAP
2007
15 years 3 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
155
Voted
ECOWS
2007
Springer
15 years 9 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
112
Voted
WWW
2005
ACM
16 years 3 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
163
Voted
ESWS
2009
Springer
15 years 17 days 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