Formal model for contract negotiation in knowledge-based virtual organizations

被引：0

作者：

Zuzek, Mikolaj ^{[1
]}

Talik, Marek ^{[1
]}

Swierczynski, Tomasz ^{[1
]}

Wisniewski, Cezary ^{[1
]}

Kryza, Bartosz ^{[2
]}

Dutka, Lukasz ^{[2
]}

Kitowski, Jacek ^{[1
,2
]}

机构：

[1] AGH Univ Sci & Technol, Inst Comp Sci, Krakow, Poland

[2] CYFRONET AGH, Acad Comp Ctr, Krakow, Poland

来源：

COMPUTATIONAL SCIENCE - ICCS 2008, PT 3 | 2008年 / 5103卷

关键词：

virtual organization; contract negotiation; ontology; grid;

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

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.

引用

页码：409 / +

页数：2

共 50 条

[1] Ontology alignment for contract based virtual organizations negotiation and operation
Zieba, Joanna
Kryza, Bartosz
Slota, Renata
Dutka, Lukasz
Kitowski, Jacek
[J]. PARALLEL PROCESSING AND APPLIED MATHEMATICS, 2008, 4967 : 835 - +
[2] Virtual Training for Knowledge-Based Society Organizations of Knowledge
Marino, Olga
[J]. EDUWEB-REVISTA DE TECNOLOGIA DE INFORMACION Y COMUNICACION EN EDUCACION, 2009, 3 (02): : 9 - 21
[3] Distributed Contract Negotiation System for Virtual Organizations
Stelmach, Marcin
Kryza, Bartosz
Slota, Renata
Kitowski, Jacek
[J]. PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE (ICCS), 2011, 4 : 2206 - 2215
[4] A FORMAL MODEL OF KNOWLEDGE-BASED SYSTEMS
KALAS, I
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 281 : 170 - 181
[5] A mathematical model to evaluate knowledge in the knowledge-based organizations
Bagheri, R.
Rezaeian, A.
Fazlaly, A.
[J]. SCIENTIA IRANICA, 2015, 22 (06) : 2716 - 2721
[6] A FORMAL MODEL FOR KNOWLEDGE-BASED SYSTEMS VERIFICATION
LAITA, LM
COUTO, J
DELEDESMA, L
MARGARIT, AF
[J]. INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 1994, 9 (09) : 769 - 786
[7] Knowledge-Based Virtual Organizations for the E-Decisional Community
Mancilla-Amaya, Leonardo
Sanin, Cesar
Szczerbicki, Edward
[J]. KNOWLEDGE-BASED AND INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT II, 2010, 6277 : 553 - +
[8] USING HUMAN BEHAVIOR TO DEVELOP KNOWLEDGE-BASED VIRTUAL ORGANIZATIONS
Mancilla-Amaya, Leonardo
Sanin, Cesar
Szczerbicki, Edward
[J]. CYBERNETICS AND SYSTEMS, 2010, 41 (08) : 577 - 591
[9] FORMAL KNOWLEDGE IN KNOWLEDGE-BASED CAD
OXMAN, RM
OXMAN, RE
[J]. BUILDING AND ENVIRONMENT, 1991, 26 (01) : 35 - 40
[10] A formal theory for knowledge-based product model representation
Salustri, FA
[J]. KNOWLEDGE INTENSIVE CAD, VOL 2, 1997, : 59 - 78

← 1 2 3 4 5 →