Previous CoS Meetings

Abstract:

I will describe how we are using a formalisation of intuitionistic linear logic in Isabelle, based on Abramsky's presentation [1], as a framework for deriving grid services that meet a given specification. The project is in its early stages and we describe what we believe the main challenges are and how we intend to tackle them. [1] Samson Abramsky. Computational interpretations of linear logic. Theoretical Computer Science 111(1&2):3-57, 1993

Abstract:

Abstract to follow

Abstract:

Abstract to follow

Abstract:

MathServe is a framework for integrating reasoning systems as Web Services into a networked environment. The functionality of these Web Services is captured in Semantic Web Service descriptions using the OWL-S upper ontology for Semantic Web Services. This allows the MathServe Broker, given a problem description, to automatically retrieve services and to combine services in case one single service is not sufficient to tackle the problem. Our Broker performs a "semantic" best match by analysing incoming problems and choosing the best service available for that problem. With the help of the AI planning system PRODIGY the broker can also find promising composite services to tackle a problem. Since our services can have nondeterministic outcomes we represent composite services in the decision-theoretic programming language DTGolog.

In my talk I'll give a brief overview of the MathServe framework and I will present some of the theorem proving and proof transformation services offered by the system. The focus of the talk will be on our requirements for automated web service composition and the approach we have chosen to meet those requirements.

Abstract:

I will give an overview of the EU project SENSORIA, which will start in the autumn. SENSORIA "stands for" "software engineering for service-oriented overlay computers", and involves almost 20 partners, mostly academic. Here is a paragraph from its proposal, on which I will attempt to expand. "The aim of SENSORIA is to develop a novel comprehensive approach to the engineering of software systems for service-oriented overlay computers where foundational theories, techniques and methods are fully integrated in a pragmatic software engineering approach. It will focus on global services that are context-adaptive, personalisable, and may require hard and soft constraints on resources and performance, and will take into account the fact that services have to be deployed on different, possibly interoperating, global computers, to provide novel and reusable service-oriented overlay computers. The results of SENSORIA will include a new generalised concept of service for global overlay computers, new semantically well-defined modelling and programming primitives for services, new powerful mathematical analysis and verification techniques and tools for system behaviour and quality of service properties, and novel model-based transformation and development techniques. The innovative methods of SENSORIA will be demonstrated by applying them in the service-intensive areas of e-business, automotive systems, and telecommunications."

Abstract:

Web Services, Grid Services are quite similar in many aspects and they do share some common idea and standards. However, they are still different from some points of view. This talk will give the basic concepts of Web Services and Grid Computing, compare the details of their idea origination, basic standards, what\x{FFFD}s their relationship, past history, current development, , why they are separated during the past and start to merge together and outlook their future. The talk will base on W3C Web Services standards specification, GGF and Ian Foster\x{FFFD}s definition of Grid Computing and their Globus project developing experience.

General overview of the meeting

1. Adam Barker took notes, which he will circulate. He also offered to be secretary to the group, so please send titles and abstracts to him. 2. We will meet once a month: 9.30-11.00 1st Tuesday of the month, usually in 4.03 Appleton Tower. 3. Typical meeting structure will be a 20-30min talk from someone, followed by question/answer then general discussion. Talks might be summaries of relevant local projects or addressing specific issues that have been raised. We have speakers for the first 3 slots. Details to follow. 4. We will set up an email alias and announce its existence for people to subscribe to. 5. We will try to collect common examples to work on. 6. We are called the Composition of Services (CoS) group.