ABOUT |
Computer Science Internal Seminars — 2005/06The Internal Seminar Series is a relaxed forum for members of the Department to present their current research and discuss ideas of interest. Semester 2Seminar programme
Seminar detailsSemantic Web Services Composition via Planning as Model Checking Harry Hong Qing Yu
(The University of Leicester, UK)
The ability to automatically compose services is one essential aspect of
Service Oriented Architecture. It can reduce time and cost in
development and maintenance of complex services and software systems. We
are developing a technique to realize this aim by combining the
"Planning as Model Checking" approach with Semantic Web Service
concepts. We have modified current a Planning as Model Checking
algorithm by using a bounded On-The-Fly Depth-First Search algorithm
that is possible service execution plans are generated on the fly. One
of the challenges is to model a web service as a state transition
system. The approach will be suitable in the context of ontologies, but
for now we are simply using dictionaries for mapping operations and
parameters. The planning as model checking approach forms part of a
larger framework to automatically compose services, which addresses
several drawbacks of current composition approaches.
Semester 1Seminar programme
|
Author: Vincent Schmitt (V.Schmitt@mcs.le.ac.uk), T: 0116 252 3813. |