Negotiation Protocol for Agile and Reliable E-science Collaboration

We present a negotiation protocol based on contract law to enable agile and reliable e-Science collaboration. It is designed to be compatible with existing models of resource sharing, but focuses on forming and dissolving collaborations in a lightweight and dynamic manner. It allows the collaboration within the resource users to be separated from the interaction with resource providers, arguing that this is more efficient in forming shorter term collaboration. The protocol aims at managing the whole collaboration lifecycle. We describe the formal specification of the protocol, along with its verification via a model checker. The protocol is generic, and can be used for accessing any type of resource provided via any existing e-Science resource provision models (e.g. grids, clouds, and clusters).

[1]  R. V. van Nieuwpoort,et al.  The Grid 2: Blueprint for a New Computing Infrastructure , 2003 .

[2]  Siani Pearson,et al.  Privacy, Security and Trust in Cloud Computing , 2013 .

[3]  Ákos Frohner,et al.  VOMS, an Authorization System for Virtual Organizations , 2003, European Across Grids Conference.

[4]  Ian T. Foster,et al.  SNAP: A Protocol for Negotiating Service Level Agreements and Coordinating Resource Management in Distributed Systems , 2002, JSSPP.

[5]  Christopher Millard,et al.  Negotiating Cloud Contracts - Looking at Clouds from Both Sides Now , 2012 .

[6]  John Brooke,et al.  Computational steering in realitygrid , 2003 .

[7]  Sanjay Jha,et al.  G-QoSM: Grid Service Discovery Using QoS Properties , 2002, Comput. Artif. Intell..

[8]  Peter V. Coveney,et al.  Flexible composition and execution of large scale applications on distributed e-infrastructures , 2014, J. Comput. Sci..

[9]  Shin Nakajima,et al.  The SPIN Model Checker : Primer and Reference Manual , 2004 .

[10]  Siani Pearson,et al.  Privacy and Security for Cloud Computing , 2012, Computer Communications and Networks.

[11]  Will Venters,et al.  A Trichordal Temporal Approach to Digital Coordination: The Sociomaterial Mangling of the CERN Grid , 2014, MIS Q..

[12]  Rajkumar Buyya,et al.  Energy-aware resource allocation heuristics for efficient management of data centers for Cloud computing , 2012, Future Gener. Comput. Syst..

[13]  Naidila Sadashiv,et al.  Cluster, grid and cloud computing: A detailed comparison , 2011, 2011 6th International Conference on Computer Science & Education (ICCSE).

[14]  Stephen F. Siegel.  Model Checking Nonblocking MPI Programs , 2007, VMCAI.

[15]  Hamid Beigy,et al.  A new fuzzy negotiation protocol for grid resource allocation , 2014, J. Netw. Comput. Appl..

[16]  Cees T. A. M. de Laat,et al.  Security Services Lifecycle Management in On-Demand Infrastructure Services Provisioning , 2010, 2010 IEEE Second International Conference on Cloud Computing Technology and Science.

[17]  Huang Xiuli,et al.  Access Control of Cloud Service Based on UCON , 2009, CLOUD-II 2009.

[18]  John M. Brooke,et al.  Enabling scientific collaboration on the Grid , 2010, Future Gener. Comput. Syst..

[19]  Morris Riedel,et al.  Design and applications of an interoperability reference model for production e-science infrastructures , 2013 .