University of Leicester

informatics

Computer Science Internal Seminars — 2005/06

The Internal Seminar Series is a relaxed forum for members of the Department to present their current research and discuss ideas of interest.

Semester 2

Seminar programme

  • 16 March, 10:30 in Benett LT3
    Harry Hong Qing Yu (The University of Leicester, UK)
    Semantic Web Services Composition via Planning as Model Checking

  • 9 March, 10:30 in Benett LT10
    Delpratt O'Neil (The University of Leicester, UK)
    TBA

  • 2 March, 10:30 in Benett LT10
    Stephen Gorton (The University of Leicester, UK)
    Task-Oriented Business Requirements Specifications for Web Services

  • 9 february, 10:30 in Benett LT10
    Cristovao Oliveira (The University of Leicester, UK)
    CommUnity Workbench - A Methodology for High-Level Design


Seminar details

Semantic Web Services Composition via Planning as Model Checking

Harry Hong Qing Yu (The University of Leicester, UK)
16 March, 10:30 in Benett LT3

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 1

Seminar programme

  • Tuesday 20 December, 10:30 in Benett LT3
    Ahmed Alghamdi (The University of Leicester, UK)
    Towards an Architectural Approach for Business SLA in Web Service

  • 8 December, 10:30 in Benett LT3
    Usama Ahmed (The University of Leicester, UK)
    Architectural Support for Role based Collaborative Systems

Author: Vincent Schmitt (V.Schmitt@mcs.le.ac.uk), T: 0116 252 3813.
© University of Leicester November 2005. Last modified: 16th March 2006, 10:09:39.
Informatics Web Maintainer. This document has been approved by the Head of Department.