1. Negotiation Protocol for Agile Collaboration in e-Science Zeqian Meng, John M. Brooke School of Computer Science, University of Manchester October 29th, 2014

2. Roadmap Introduction Methodology Results  Protocol  SPIN model  Ontology Hypothesis and Challenges Future work

3. Roadmap Introduction Methodology Results  Protocol  SPIN model  Ontology Hypothesis and Challenges Future work

4. Introduction | Motivation Requirements from participants of distributed and collaborative resource sharing. resource requester resource requester’s organization resource provider

5. 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

6. 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

7. 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

8. Roadmap Introduction Methodology Results  Protocol  SPIN model  Ontology Hypothesis and Challenges Future work

9. 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

10. Roadmap Introduction Methodology Results  Protocol  SPIN model  Ontology Hypothesis and Challenges Future work

11. Results | Protocol analysis Collaboration participants and responsibilities:

12. Results | Protocol Negotiation protocol states and state transition:

13. 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

14. Results | SPIN model Code snippet:

15. Results | Ontology

17. Roadmap Introduction Methodology Results  Protocol  SPIN model  Ontology Hypothesis and Challenges Future work

18. Hypotheses distributed & collaborative resource sharing to form and dissolve collaboration in a dynamic and lightweight manner to allow analysis of algorithms for performance

19. Challenges Performance: Distributed communication via network Multi-round negotiation Functionality: Negotiation decision Access control decision Resource co-allocation scheduling

20. Roadmap Introduction Methodology Results  Protocol  SPIN model  Ontology Hypothesis and Challenges Future work

21. 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

22. Future work Broker with ontology for negotiation with different providers:

24. Contacts: zeqian.meng@manchester.ac.uk John.Brooke@manchester.ac.uk