Negotiation Protocol for Agile Collaboration in e-Science

Zeqian Meng, John M. Brooke

School of Computer Science, University of Manchester

October 29th, 2014

Roadmap

• Introduction• Methodology• Results

Protocol SPIN model Ontology

• Hypothesis and Challenges• Future work

Roadmap

• Introduction• Methodology• Results

Protocol SPIN model Ontology

• Hypothesis and Challenges• Future work

Introduction | Motivation

Requirements from participants of distributed and collaborative resource sharing.

resource requester

resource requester’s organization

resource provider

Introduction | Motivation

Resource requester: performance& functionality requirements (user-interactive computational steering)

Resource requester’s organization: agile & reliable collaboration formation & dissolve

Resource provider: finance support & improved utility

• How to form & dissolve a distributed resource sharing collaboration in an agile and lightweight manner?

• How to fulfill resource requesters’ QoS requirements?

• How to form & dissolve a distributed resource sharing collaboration in a reliable manner?

Introduction | Main questions

Negotiation protocols based on Virtual Organization, include following features:

• No communication between user’s organization and provider

• Symmetric• Not based on e-commerce regulation

Introduction | Related research

Roadmap

• Introduction• Methodology• Results

Protocol SPIN model Ontology

• Hypothesis and Challenges• Future work

Methodology

• Protocol design agile collaboration analysis based on European Union Electronic Commerce

Directive

• Protocol verification by SPIN model checker formal method to check the correctness of

designed protocol

• Protocol implementation interoperability performance & feasibility

Roadmap

• Introduction• Methodology• Results

Protocol SPIN model Ontology

• Hypothesis and Challenges• Future work

Results | Protocol analysis

Collaboration participants and responsibilities:

Results | Protocol

Negotiation protocol states and state transition:

Results | Protocol

• asymmetric three types participants with different requirements

and responsibility to avoid denial of service for provider

• based on European Union Electronic Commerce Directive accept acknowledgement from resource requester

• re-negotiation supported can support interactive computational steering

Results | SPIN model

Code snippet:

Results | Ontology

Results | Ontology

Roadmap

• Introduction• Methodology• Results

Protocol SPIN model Ontology

• Hypothesis and Challenges• Future work

Hypotheses

• distributed & collaborative resource sharing

• to form and dissolve collaboration in a dynamic and lightweight manner

• to allow analysis of algorithms for performance

Challenges

Performance: •Distributed communication via network•Multi-round negotiation

Functionality:•Negotiation decision•Access control decision•Resource co-allocation scheduling

Roadmap

• Introduction• Methodology• Results

Protocol SPIN model Ontology

• Hypothesis and Challenges• Future work

Future work• Ontology workflow description languages semantics of system specific languages

• Collaboration with e-business contract researchers how to realize functionalities in a law-based manner

• Testbed broker: negotiation agent testbed: local cluster, Amazon Web Services, and remote

supercomputer

Future workBroker with ontology for negotiation with different providers:

Contacts: zeqian.meng@manchester.ac.ukJohn.Brooke@manchester.ac.uk