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

Research Assistant / Associate

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

The Open University’s Knowledge Media Institute (KMi) is a distinct research unit within the Faculty of Science, Technology, Engineering and Mathematics (STEM). KMi is looking for a Research Assistant or a Research Associate to work on an EU funded...

Project Officer - Data Hub Development

Knowledge Media Institute (KMi)
�32,548 - �38,833
Based in Milton Keynes
Temporary contract until 30 June 2019

The Open University�s Knowledge Media Institute (KMi) is a distinct research unit within the Faculty of Science, Technology, Engineering and Mathematics (STEM). KMi is looking for a Project Officer to support the maintenance and evolution of the...

Web Developer (Front-end and CMS)

Knowledge Media Institute (KMi)
£26,495 - £31,604
Based in Milton Keynes
Temporary contract until 30 June 2018

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 Web Developer to join their team of developers and researchers...

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