J 2003

Modelling Multi-Agents Systems as Concurrent Constraint Processes

BRIM, Luboš, Jean-Marie JACQUET, David GILBERT a Mojmír KŘETÍNSKÝ

Základní údaje

Originální název

Modelling Multi-Agents Systems as Concurrent Constraint Processes

Autoři

BRIM, Luboš (203 Česká republika), Jean-Marie JACQUET (56 Belgie), David GILBERT (826 Velká Británie a Severní Irsko) a Mojmír KŘETÍNSKÝ (203 Česká republika, garant)

Vydání

Computing and Informatics, 2003, 1335-9150

Další údaje

Jazyk

angličtina

Typ výsledku

Článek v odborném periodiku

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Slovensko

Utajení

není předmětem státního či obchodního tajemství

Impakt faktor

Impact factor: 0.254

Kód RIV

RIV/00216224:14330/03:00008381

Organizační jednotka

Fakulta informatiky

UT WoS

000183082100003

Klíčová slova anglicky

agents; concurrent constraint programming; semantics; synchronny; concurrency

Štítky

agents, concurrency, concurrent constraint programming, semantics, synchronny

Příznaky

Mezinárodní význam, Recenzováno
Změněno: 22. 11. 2006 08:32, prof. RNDr. Luboš Brim, CSc.

Anotace

V originále

We present a language Scc for a specification of the direct exchange and/or the global sharing of information in multi-agent systems. Scc is based on concurrent constraint programming paradigm which we modify in such a way that agents can (i) maintain its local private store, (ii) share (read/write) the information in the global store and (iii) communicate with other agents (via multi-party or hand-shake). To justify our proposal we compare Scc to a recently proposed language for the exchange of information in multi-agent systems. Also we provide an operational semantics of Scc. The full semantic treatment is sketched only and done elsewhere. (full and enlarged version of SOFSEM'01 conference paper).

Návaznosti

GA201/03/1161, projekt VaV
Název: Verifikace nekonečně stavových systémů
Investor: Grantová agentura ČR, Verifikace nekonečně stavových systémů
MSM 143300001, záměr
Název: Nesekvenční modely výpočtů - kvantové a souběžné distribuované modely výpočetních procesů
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů
Zobrazeno: 16. 11. 2024 19:24