Full Seminar Details

Dr Barry Norton

Solutions Architect, Ontotext

Dr Barry Norton
Double talk
This event took place on Wednesday 20 August 2008 at 11:30

Barry Norton, Ontology-based Behavioural Semantics for Business Processes

We present the Business Process Modelling Ontology, developed in the SUPER project, and a Behavioural Reasoning Ontology which confers process algebraic behavioural semantics on processes via ontology-based rules. This is based on previous work on giving compositional process algebraic semantics to the OWL-S process model, which led to the Cashew process model developed in the DIP project. As there the emphasis is on judging behavioural equivalences; on-going work concerns making such judgements via ontology-based reasoning.

Monika Solanki, Imperial College London: Towards Verifying Compliance in Agent-based Web Service Compositions

We explore the problem of specification and verification of compliance in agent based Web service compositions. We use the formalism of temporal-epistemic logic suitably extended to deal with compliance/violations of contracts. We illustrate these concepts using a motivating example where behaviours of participating agents are governed by contracts. The composition is specified in OWL-S and mapped to our chosen formalism. Finally we use an existing symbolic model checker to verify the example specification whose state space is approx 2^21 and discuss the experimental results.

Watch the webcast replay >>

Jobs

Senior Research Fellow x 2

Knowledge Media Institute (KMi)
50,618 - 56,950 (Grade AC4)
Based in Milton Keynes
Permanent Position

WE ACCEPT APPLICATIONS FROM CITIZENS GLOBALLY The Knowledge Media Institute (KMi) is one of the top research centres in the world in the area of knowledge and media technologies, and we offer a creative and flexible working environment. The...

Research Assistant / Associate

Knowledge Media Institute (KMi)
29.799 - 38,833 (Grade AC1 / AC2)
Based in Milton Keynes
Temporary contract until 30th November 2018

WE ACCEPT APPLICATIONS FROM CITIZENS GLOBALLY The Knowledge Media Institute (KMi) is a distinct research unit within the Faculty of Science, Technology, Engineering and Mathematics (STEM) at the Open University. KMi is looking for a Research...

Research Assistant / Associate

Knowledge Media Institute (KMi)
29,799 - 38,833 (Grade AC1 / AC2)
Based in Milton Keynes
Temporary contract until 31st December 2018

WE ACCEPT APPLICATIONS FROM CITIZENS GLOBALLY The Knowledge Media Institute (KMi) is a distinct research unit within the Faculty of Science, Technology, Engineering and Mathematics (STEM) at the Open University. KMi is looking for a Research...

CONTACT US

Knowledge Media Institute
The Open University
Walton Hall
Milton Keynes
MK7 6AA
United Kingdom

Tel: +44 (0)1908 653800

Fax: +44 (0)1908 653169

Email: KMi Support

COMMENT

If you have any comments, suggestions or general feedback regarding our website, please email us at the address below.

Email: KMi Development Team