Negotiation Protocol for Agile Collaboration in e-Science Zeqian Meng, John M. Brooke School of...
-
Upload
job-hudson -
Category
Documents
-
view
213 -
download
0
Transcript of Negotiation Protocol for Agile Collaboration in e-Science Zeqian Meng, John M. Brooke School of...
![Page 1: Negotiation Protocol for Agile Collaboration in e-Science Zeqian Meng, John M. Brooke School of Computer Science, University of Manchester October 29th,](https://reader035.fdocuments.in/reader035/viewer/2022081603/56649f065503460f94c1b3ce/html5/thumbnails/1.jpg)
Negotiation Protocol for Agile Collaboration in e-Science
Zeqian Meng, John M. Brooke
School of Computer Science, University of Manchester
October 29th, 2014
![Page 2: Negotiation Protocol for Agile Collaboration in e-Science Zeqian Meng, John M. Brooke School of Computer Science, University of Manchester October 29th,](https://reader035.fdocuments.in/reader035/viewer/2022081603/56649f065503460f94c1b3ce/html5/thumbnails/2.jpg)
Roadmap
• Introduction• Methodology• Results
Protocol SPIN model Ontology
• Hypothesis and Challenges• Future work
![Page 3: Negotiation Protocol for Agile Collaboration in e-Science Zeqian Meng, John M. Brooke School of Computer Science, University of Manchester October 29th,](https://reader035.fdocuments.in/reader035/viewer/2022081603/56649f065503460f94c1b3ce/html5/thumbnails/3.jpg)
Roadmap
• Introduction• Methodology• Results
Protocol SPIN model Ontology
• Hypothesis and Challenges• Future work
![Page 4: Negotiation Protocol for Agile Collaboration in e-Science Zeqian Meng, John M. Brooke School of Computer Science, University of Manchester October 29th,](https://reader035.fdocuments.in/reader035/viewer/2022081603/56649f065503460f94c1b3ce/html5/thumbnails/4.jpg)
Introduction | Motivation
Requirements from participants of distributed and collaborative resource sharing.
resource requester
resource requester’s organization
resource provider
![Page 5: Negotiation Protocol for Agile Collaboration in e-Science Zeqian Meng, John M. Brooke School of Computer Science, University of Manchester October 29th,](https://reader035.fdocuments.in/reader035/viewer/2022081603/56649f065503460f94c1b3ce/html5/thumbnails/5.jpg)
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
![Page 6: Negotiation Protocol for Agile Collaboration in e-Science Zeqian Meng, John M. Brooke School of Computer Science, University of Manchester October 29th,](https://reader035.fdocuments.in/reader035/viewer/2022081603/56649f065503460f94c1b3ce/html5/thumbnails/6.jpg)
• 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
![Page 7: Negotiation Protocol for Agile Collaboration in e-Science Zeqian Meng, John M. Brooke School of Computer Science, University of Manchester October 29th,](https://reader035.fdocuments.in/reader035/viewer/2022081603/56649f065503460f94c1b3ce/html5/thumbnails/7.jpg)
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
![Page 8: Negotiation Protocol for Agile Collaboration in e-Science Zeqian Meng, John M. Brooke School of Computer Science, University of Manchester October 29th,](https://reader035.fdocuments.in/reader035/viewer/2022081603/56649f065503460f94c1b3ce/html5/thumbnails/8.jpg)
Roadmap
• Introduction• Methodology• Results
Protocol SPIN model Ontology
• Hypothesis and Challenges• Future work
![Page 9: Negotiation Protocol for Agile Collaboration in e-Science Zeqian Meng, John M. Brooke School of Computer Science, University of Manchester October 29th,](https://reader035.fdocuments.in/reader035/viewer/2022081603/56649f065503460f94c1b3ce/html5/thumbnails/9.jpg)
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
![Page 10: Negotiation Protocol for Agile Collaboration in e-Science Zeqian Meng, John M. Brooke School of Computer Science, University of Manchester October 29th,](https://reader035.fdocuments.in/reader035/viewer/2022081603/56649f065503460f94c1b3ce/html5/thumbnails/10.jpg)
Roadmap
• Introduction• Methodology• Results
Protocol SPIN model Ontology
• Hypothesis and Challenges• Future work
![Page 11: Negotiation Protocol for Agile Collaboration in e-Science Zeqian Meng, John M. Brooke School of Computer Science, University of Manchester October 29th,](https://reader035.fdocuments.in/reader035/viewer/2022081603/56649f065503460f94c1b3ce/html5/thumbnails/11.jpg)
Results | Protocol analysis
Collaboration participants and responsibilities:
![Page 12: Negotiation Protocol for Agile Collaboration in e-Science Zeqian Meng, John M. Brooke School of Computer Science, University of Manchester October 29th,](https://reader035.fdocuments.in/reader035/viewer/2022081603/56649f065503460f94c1b3ce/html5/thumbnails/12.jpg)
Results | Protocol
Negotiation protocol states and state transition:
![Page 13: Negotiation Protocol for Agile Collaboration in e-Science Zeqian Meng, John M. Brooke School of Computer Science, University of Manchester October 29th,](https://reader035.fdocuments.in/reader035/viewer/2022081603/56649f065503460f94c1b3ce/html5/thumbnails/13.jpg)
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
![Page 14: Negotiation Protocol for Agile Collaboration in e-Science Zeqian Meng, John M. Brooke School of Computer Science, University of Manchester October 29th,](https://reader035.fdocuments.in/reader035/viewer/2022081603/56649f065503460f94c1b3ce/html5/thumbnails/14.jpg)
Results | SPIN model
Code snippet:
![Page 15: Negotiation Protocol for Agile Collaboration in e-Science Zeqian Meng, John M. Brooke School of Computer Science, University of Manchester October 29th,](https://reader035.fdocuments.in/reader035/viewer/2022081603/56649f065503460f94c1b3ce/html5/thumbnails/15.jpg)
Results | Ontology
![Page 16: Negotiation Protocol for Agile Collaboration in e-Science Zeqian Meng, John M. Brooke School of Computer Science, University of Manchester October 29th,](https://reader035.fdocuments.in/reader035/viewer/2022081603/56649f065503460f94c1b3ce/html5/thumbnails/16.jpg)
Results | Ontology
![Page 17: Negotiation Protocol for Agile Collaboration in e-Science Zeqian Meng, John M. Brooke School of Computer Science, University of Manchester October 29th,](https://reader035.fdocuments.in/reader035/viewer/2022081603/56649f065503460f94c1b3ce/html5/thumbnails/17.jpg)
Roadmap
• Introduction• Methodology• Results
Protocol SPIN model Ontology
• Hypothesis and Challenges• Future work
![Page 18: Negotiation Protocol for Agile Collaboration in e-Science Zeqian Meng, John M. Brooke School of Computer Science, University of Manchester October 29th,](https://reader035.fdocuments.in/reader035/viewer/2022081603/56649f065503460f94c1b3ce/html5/thumbnails/18.jpg)
Hypotheses
• distributed & collaborative resource sharing
• to form and dissolve collaboration in a dynamic and lightweight manner
• to allow analysis of algorithms for performance
![Page 19: Negotiation Protocol for Agile Collaboration in e-Science Zeqian Meng, John M. Brooke School of Computer Science, University of Manchester October 29th,](https://reader035.fdocuments.in/reader035/viewer/2022081603/56649f065503460f94c1b3ce/html5/thumbnails/19.jpg)
Challenges
Performance: •Distributed communication via network•Multi-round negotiation
Functionality:•Negotiation decision•Access control decision•Resource co-allocation scheduling
![Page 20: Negotiation Protocol for Agile Collaboration in e-Science Zeqian Meng, John M. Brooke School of Computer Science, University of Manchester October 29th,](https://reader035.fdocuments.in/reader035/viewer/2022081603/56649f065503460f94c1b3ce/html5/thumbnails/20.jpg)
Roadmap
• Introduction• Methodology• Results
Protocol SPIN model Ontology
• Hypothesis and Challenges• Future work
![Page 21: Negotiation Protocol for Agile Collaboration in e-Science Zeqian Meng, John M. Brooke School of Computer Science, University of Manchester October 29th,](https://reader035.fdocuments.in/reader035/viewer/2022081603/56649f065503460f94c1b3ce/html5/thumbnails/21.jpg)
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
![Page 22: Negotiation Protocol for Agile Collaboration in e-Science Zeqian Meng, John M. Brooke School of Computer Science, University of Manchester October 29th,](https://reader035.fdocuments.in/reader035/viewer/2022081603/56649f065503460f94c1b3ce/html5/thumbnails/22.jpg)
Future workBroker with ontology for negotiation with different providers:
![Page 23: Negotiation Protocol for Agile Collaboration in e-Science Zeqian Meng, John M. Brooke School of Computer Science, University of Manchester October 29th,](https://reader035.fdocuments.in/reader035/viewer/2022081603/56649f065503460f94c1b3ce/html5/thumbnails/23.jpg)
![Page 24: Negotiation Protocol for Agile Collaboration in e-Science Zeqian Meng, John M. Brooke School of Computer Science, University of Manchester October 29th,](https://reader035.fdocuments.in/reader035/viewer/2022081603/56649f065503460f94c1b3ce/html5/thumbnails/24.jpg)
Contacts: [email protected]@manchester.ac.uk