Upload
job-hudson
View
213
Download
0
Tags:
Embed Size (px)
Citation preview
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: [email protected]@manchester.ac.uk