Transactional Agents: Towards a Robust Multi-Agent System

216 Pages·2001·3.64 MB·English

by  Khaled Nagi (eds.)

Lecture Notes in Computer Science 2249
EditedbyG.Goos,J.Hartmanis,andJ.vanLeeuwen
3
Berlin
Heidelberg
NewYork
Barcelona
HongKong
London
Milan
Paris
Tokyo
Khaled Nagi
Transactional Agents
Towards a Robust Multi-Agent System
1 3
SeriesEditors
GerhardGoos,KarlsruheUniversity,Germany
JurisHartmanis,CornellUniversity,NY,USA
JanvanLeeuwen,UtrechtUniversity,TheNetherlands
Author
KhaledNagi
UniversityofKarlsruhe,InstituteforProgramStructuresandDataOrganization
AmFasanengarten5,76131Karlsruhe,Germany
E-mail:[email protected]
ThisisthedoctoralthesisofKhaledNagi,borninKarlsruhe.
The thesis was accepted by the Faculty of Computer Science of the Fridericiana
UniversityofKarlsruheandtheauthorwasgrantedtheacademicdegree"Doctorof
Engineering"(DoktorderIngenieurwissenschaften)basedonthiswork.
Dateoftheoralexamination:July6th,2001
Firstadvisor:Prof.Dr.-Ing.PeterC.Lockemann
Secondadvisor:Prof.Dr.rer.nat.PeterDeussen
Cataloging-in-PublicationDataappliedfor
DieDeutscheBibliothek-CIP-Einheitsaufnahme
Nagi,Khaled:
Transactionalagents:towardsarobustmulti-agentsystem/KhaledNagi.-
Berlin;Heidelberg;NewYork;Barcelona;HongKong;London;Milan;
Paris;Tokyo:Springer,2001
(Lecturenotesincomputerscience;Vol.2249)
Zugl.:Karlsruhe,Univ.,Diss.,2001
ISBN3-540-43046-6
CRSubjectClassification(1998):H.2.4,I.2.11,C.2.4,D.2.12,H.3,H.4
ISSN0302-9743
ISBN3-540-43046-6Springer-VerlagBerlinHeidelbergNewYork
Thisworkissubjecttocopyright.Allrightsarereserved,whetherthewholeorpartofthematerialis
concerned,specificallytherightsoftranslation,reprinting,re-useofillustrations,recitation,broadcasting,
reproductiononmicrofilmsorinanyotherway,andstorageindatabanks.Duplicationofthispublication
orpartsthereofispermittedonlyundertheprovisionsoftheGermanCopyrightLawofSeptember9,1965,
initscurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer-Verlag.Violationsare
liableforprosecutionundertheGermanCopyrightLaw.
Springer-VerlagBerlinHeidelbergNewYork
amemberofBertelsmannSpringerScience+BusinessMediaGmbH
http://www.springer.de
©Springer-VerlagBerlinHeidelberg2001
PrintedinGermany
Typesetting:Camera-readybyauthor,dataconversionbySteingra¨berSatztechnikGmbH,Heidelberg
Printedonacid-freepaper SPIN:10845957 06/3142 543210
Foreword
Te h term”t enag“ ise on ofeo sthor dscwatchat th eanm dielyw gerinfdif sginthto
e trenfdfipeope. lTo catiiosnnumtelecompeope lit is little ore m antha obile m
piece ofcode att h aymbe teecedux at yanplace. tAe theort he, treexmI Apeople
tenofosacsiate ithw tsenage lik-anmuhtra its chus asoscial oir. avbeh In, eenbetw
are wtosfpeople eiwv tsenag as airlyfetdac ionn-elsfpiec es ofare wtosfat,t hat e th
lowd,e n pretty chumact el ikobjec tsd,a nat e th hgihd,e nore mor lsesotoan-u
lyosumdecide enhwdan ohwto react to li ustimor proelyactivitiate inects fefat th
te.n c ab enetirm ihroo envberderso nvmf
are wtSofts enagare paralrlyticupo trtanim enhwit es comto dstribtediu -iven
.t senmronTere,h chum ofe thcia tionnumcom estakplace , lysorounchnyasat th is
e thcee enqsu of tsenevontc anbe ed pnlaneaadh inall detail. etads, In tsenagare
envigles ruas to ohwto terpinret e thrt rcuenatio situndan, enviga o nmcomogal,
a.odj e stia trsthet e hysratupechoysclnorgdin
ylrgpunirSsi, hogeun ewfreaee rrscsh eemsot pdoenr e hto iteqsnua thwaph-
spen ine thcea s ofpexecntedu – d ancee nh tiernelyepd nnlanuorf – aittsisuon
chus asrc ebsuadtnisor r aeisluf ine th gindenrlyucial ntech, etmsysor oreeesnfnu
d ansdem nie htrea lordl wa thte ht steangare ppeuodss ot eer.sv chuScee xpositn
aymect fafj tsua el gnist,e nagor eytahylicmtf ind onsuw ona ber mun ofcollabo-
rgatints. enagI tis e th osthr’au tteninto e leava rt isfpt rinimo ne thall too por-im
.smets tysnega-itlu e or tussifonat tsbmu
B tu tahw si a gnisiprompapr ohcaot re ossntbsu ni tnega-itlum?s metsysW hti
sihdr nogbukca nidabata es ,oyolnghcet ti si ylonraa ultnorf ehtorht uaot reyl on
soitcasrtnna htiwrie htedni deef-llwraeuli f .scitanmesT esehe avhp rneovrie ht
o rhtw nib ohtcrteazniled da nrettddbisi udaatb,ae ssda ne avhe becom anai tleness
. setmsarey disdelw mspa’r ta o oltlofdfay
, Now iseret h yan lufgineanmec tinocnon eenbetwdatabea sd ant enag-tech
o?einlsog Tereh is– os e thort hau sclaim– iferteh are data to be roc-ahrenhd syas
ylsoun neebewt .stnegadIdeen , ehtba cisp oitnmussa gnidrenylu siht siseht si taht
e th tsenagare hsa orld wodel meo shwtr recnuattes iselctreedf ina onmcomdata-
ba .es ,ylteqensoCun by gnireyl on sihtp oitnmussa ehto rkw siddeeni ari tsfpets ,
. semtsy stenag-ietp t l ejhros tath ,gih dsustn uftirioue i contr ofmtsbu
If siht llitsd snosuoto erean ,lg ti .sid nAddeeni , ehtorht uaerr htuf sarrnow
ndow sihoicc.he sHe rrtiec stse tht enagairtcerhcteu to e thBDI , paramdigd ane h
esuargat tha atr iavn of openetde sn acssttiroann ise thraalt unetrparnt couto e th
. paramdgi chMu ofe tho rkwroes evlvdaron ue the issu of ohwto tie ese tho twto-
ere. thg sWat’hore, me thothr au saimorf anoooal rthgnsotio, lunat this oe n in
VIII Foreword
w h hci r ob u ts n e ssot a n y d e is r e d d e g r eenac b e a dd e d ot a g e n st w hti o n yl v e r y elttil
.e selsve mctiattsstohoeeid nointfahgeoed rn fm
hcuM of s’otdayprroe ssg ni oitanorfmni oyolnghcet si eduot retdranipicsiynil
appro easch– or to gniganch pstoineiwv ona partalirc u. problemTe h iessth isa
lutbiefauple amex of chus an teridnciisaprlyinappr oachat th sgbrinere tthogdata-
base edle gonwkat th rarelycares abot uts, enagdan t enagqies nutechat the avhlit-
dithatabadses. ni w tle min
W tahI ophe orf si taht sihtroo pagnhm lliw etalumitsero shtot ni gnikeesret-ni
drapicsiynilocballor oitanot dael ot err htufprroe ssg ni eht lativra ae ofdrtsidetbi u
.smets tysnega-itlum

oPfr. .D rPet eoLrckemann
Preface
Te h gni rowgperiel-tveyxcom ofod ernmdrtitisebdu at ioonr fmsInetms(SIyS) d an
e th ltycuifdfito orfesee all ptiallyoent garisinrdbstuces iane akme thap plicability
of tnegA-itluM smetsyS)S (MA ni sihtpo trnatmi niadom eryv. pagpnilaepseD eti
yanm eraerscho rtfsef ine th tlasdecade, isth oylnotgech is olwsto d nif its ayw
to incasle el-arg richa-tionormfinapplic astion chus asterEpnrei sroescReu P-aln
gnin(PER) da nProoc ditnu gnPinalnda n rogtoCnnill(PP)C . setmsysT sih canbe
elylargattredibt uto cal inteches gallench gacinfe thtroindctio un ofS MAto chsu
oinssimcritical core appli.c astionTe ho tsm gniprsescial nteche usis ise th lack of
orbnutsess Sr i.t eacertscu hMAgtinis exin
T eh mia of sihto rkw siot rc esaeni ehtre ssontsbu of SAMpapdeil niI Sdo-
snaimr hhotgu an gnidneurylare. didelwmTe hare didelw lmliwbe abe lot prdioe v
al orfmeat reasung one th sesntrsobu ofe th etmsys by ietlsfd an deidpntelneyn
romfe thaloi rnigrctertu us ofe thS MAairtcerhcteu. We e nidefe th sesntrsobupro-
diedv bye thare didlewm in sterm ofeat reasung envig ona cialtn ech, bsias ichhw
si gaerteniuange ht eccrotrnses inal onrmoperatio ndan ocerarevbytili ofe ht-sys
met ni esac ofrdb .secutsian Inorder ot llifluf esehtreo ssntsbu ,stnereriqmeue w
carpet ub otht enag psland a noeiri trah bvceyhen gitncionn andteenexd actst riaonn
odel mat the wdeloevped gdrniue thcorse u ofis tho. rkwTo te ecuexis thsac-tran
t ionodel, me wadd ant eicoEunxt engAatt h isbilesr peosnorf egaterianunge th
reo ssntsbu of oitnucexe of tnega soitcand nae nidef stiret soitcanin htiw ehteor ht
e rSe ait n cosa efigprntMoceArnhcteu. com
hoghutlA sersontbsu sia d ecdginiacotfr nie htappcilaoi tn of SMA niaelr-g
elacsI Spa ,psoitaciln ynare ssontsbu gnieaetraung oitosnul sio tned ollawot de-
crease e thoerall v stemsyce anpoerrfmor its . scalability Inorder to ate alueve th
cean peorrfm ofro upropoesd o,ito snule wdeolepv ane visetnexoa iltnumisode lm
a thtre pstrenese htoperao itn of SMA ni anI S.t enriomvenn By gcodcnitnu yanm
o iantlum issrnudneur a rvsoiuoolradk sw da ne,m tssgniteet syswpreo v ee mhttsys
to be scalable. Te hlatour simes servalso to ce anhene thp redictability ofe thS MA
. etmspoire y aelt bvisiehen trxhh ostfcomhdgi eaera sn eltvsihn
X Preface
Acknowledgment
cSei n1998 I e avhb eena ber emm ofe thDatabea sGpr ou ofe thttisetI unorf Pro-
ragmr ecustrtuSda nDaat zioa itaOrnng nie. hKraruslI am otsm luraegtfot Pr.o f
Dr. P.. C, nanoecmLke hteahd of sihtrpo,gu orf e hta lunictoncaied vda nppuosr.t
I e avhleeadr nos chum romf sihdie w psecmtru ofictciis efnpeerxciee nd ane avh
dicdct c on i iieaasef.ssdnn uveiw r tsvresieuda shayalw
Aer orfme irosvn of isthb ook ashb eenitted bmusd anaccepted asa iessthorf
gonbitaine thrdeege ofDoctor eer nigEnat e thltätu Fakr ,a ütikforeifmrtsäitIv nUn
rdiFera caiin zue hKrarusl(TH), nie, hKrarusl. yanGermI am ervy luraegtfot e ht
anGermic cademAe ganchExSiecrev D) A(DAorf argdinawe ma P.D.h ochlsar-
ip hs in yanGermd ane th anGermeea srRchdnaFt oiuon(DFG) orf dgninufe thre-
o .i ed crat seht khreelbpcsrieorhevdod jeae rr fc i tsyewsnhHtsS,h ecwt AKR
I deepylapprecaiet e htcoopera oitnda nppuosr t of ym ecsoeullagda n dsteutns
ine thDatabase Gropu. spMy escial koang thto Dr. G. Hillebdran dan Js .i orf Nim
eitrh aablluev soinssdciusd an.rtt csiiobonunI aols appreciate e th stenmcom of
Pr. ofDr. P. ssenDeu gdrniue thal nife stag ofis oth. rk wskMyanthto patre ivdin-i
e abv ea p.hsdeleire undxesv speayrlolsn
hKaelda Ng i
tsuguA 2001
List of Abbreviations
2PC tiprootmcoaPeo lsoh -CTmw
ACA booc dair svAaCssgtdniA
ACC e lnanhciaoi tCnnumo tCmengA
ACL e agugacni oaitLnnumo tmCengA
ACP tiProotmco lcoi CmotmA
AMS ceie rt Sevn etmMaeganngA
AOP gni teOtrdenein gPmAroragm
APG t ePng eGraleanntoAr
ATM t eTngearc satrAgiMoaannn
BDI , BDessir tiosees,l ieftenInn
BOT T BOfniaceoi tgrsnan
CAD di endegptAi rDeu-soCm
CIM egptrrra neuaitcegtuItdfno uMCman
CIS setmsao oiytoSCpnoeerr famvIitn
CM eera caMgChan
CP tiPromjo itcoeCnm
CSR tcilreSobtaszilaiifoC erlhyn
DAI ce enicial telligDistrIrbtedintifu A
DBMS etmsy tSenDaatbee maasMgan
DDBMS etms yteSrttdebnisDi uDaatbae esmMagan
DF FDaicrilitatoectorr y
DG rbutce easrnDiGenaotr
ECA t, Codenctio nitioE,v nnA
EOT d TEOnfacrst ainon
XII L is t of A bb re v ia tions
ERP etrEpo rneecs rgueRs inPinaln
FIPA stneg laciAs tdoPney oitanroFf gillethnuIn
GCSR tcilreSbazioltas iifoC elrolGhnybayll
GPG Global Prececdee nGr aph
GTM oGlba lTearcoi tag rMsannan
IS setmsao itySnorfmIn
JDBC Ja ytiabataDvvitcea esnoCn
KIF a teledoe etgFrIgrancnmhoKnw
KQML e agugand o aiLltap ninMuaneeerld QyugowKn
KSE orf tEeaelgdfr hgSniowKn
LDBMS etmsy toSenLca lDaatbee amaMsgan
LTM ocaLl Taecrrst a iMgaoannn
MAS mets tySnegA-itluM
MEG Meedrte g icEGouxrn aph
MGPG Moedid fGliobal Seraliizat ioGrn aph
MGSG Moedid fGliobal Seraliizat ioGrn aph
PG Prececdee nGr aph
PPC Pr d oroatgn godcCon intinlPilunnaln
RC e ceRroavbotlrseiy h
RM e raMg aencoeRrvy
SG Serailizat ioGrn aph
SR Serializotarbyslie h
ST ort tstSichiry
TID Tsoarctio anndne ierI dtifen
TM Tearcoi tag rMsannan
VSR SerialioztrayVbsilieew h
XML e agdueetndEgpx anM uarLk