Formal Model for Contract Negotiation in Knowledge-Based Virtual Organizations

Authors:
Mikołaj Zuzek;Marek Talik;Tomasz Świerczyński;Cezary Wiśniewski;Bartosz Kryza;Łukasz Dutka;Jacek Kitowski
Affiliations:
Institute of Computer Science, AGH-UST, Krakow, Poland;Institute of Computer Science, AGH-UST, Krakow, Poland;Institute of Computer Science, AGH-UST, Krakow, Poland;Institute of Computer Science, AGH-UST, Krakow, Poland;Academic Computer Centre CYFRONET, AGH, Krakow, Poland;Academic Computer Centre CYFRONET, AGH, Krakow, Poland;Institute of Computer Science, AGH-UST, Krakow, Poland and Academic Computer Centre CYFRONET, AGH, Krakow, Poland
Venue:
ICCS '08 Proceedings of the 8th international conference on Computational Science, Part III
Year:
2008

Citing 4
Cited 3

The PERMIS X.509 role based privilege management infrastructure

Future Generation Computer Systems - Special section: Selected papers from the TERENA networking conference 2002
Formalization of a voting protocol for virtual organizations

Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Grid organizational memory-provision of a high-level Grid abstraction layer supported by ontology alignment

Future Generation Computer Systems
Contract enactment in virtual organizations: a commitment-based approach

AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1

Dynamic VO Establishment in Distributed Heterogeneous Business Environments

ICCS 2009 Proceedings of the 9th International Conference on Computational Science
Knowledge-based virtual organizations for the E-decisional community

KES'10 Proceedings of the 14th international conference on Knowledge-based and intelligent information and engineering systems: Part II
Monitoring of SLA parameters within VO for the SOA paradigm

PPAM'09 Proceedings of the 8th international conference on Parallel processing and applied mathematics: Part II

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we propose a formal model which supports the process of setting up a Virtual Organization by means of allowing contract negotiation between parties pariticipating in such VO. The negotiated contract is used to configure the necessary Grid middleware components for the purpose of contract enforcement during the lifetime of the Virtual Organization. We present a brief overview of the framework and discuss in detail the formal model underlying the process of contract negotiation and how the ontological description of the domains related to given VO supports this process.