Apersyunos

References[Abelson,1996]Abelson,S.
(1996).
StructureandInterpretationofComputerPrograms.
TheMITPress.
[Abelsonetal.
,2000]Abelson,H.
,Allen,D.
,Coore,D.
,Hanson,C.
,Homsy,G.
,Knight,T.
,Napal,R.
,Rauch,E.
,Sussmann,G.
,andWeiss,R.
(2000).
AmorphousComputing.
CommunicationsoftheACM,43(5),pages43–50.
[Abowd,1999]Abowd,G.
D.
(1999).
SoftwareEngineeringIssuesforUbiq-uitousComputing.
ProceedingsoftheInternationalConferenceonSoftwareEngineering(ICSE'99),LosAngeles,USA.
[Adornietal.
,2001]Adorni,G.
,Bergenti,F.
,Poggi,A.
,andRimassa,G.
(2001).
EnablingFIPAAgentsonSmallDevices.
ProceedingsoftheInternationalWorkshoponCooperativeInformationAgents(CIA2001),Rome,Italy.
[Aksitetal.
,1993]Aksit,M.
,Wakita,K.
,Bosch,J.
,Bergmans,L.
,andYonezawa,A.
(1993).
AbstractingObject-InteractionsusingComposition-Filters.
Guerraoui,R.
,Nierstrasz,O.
,Riveill,M.
(Eds.
)Object-basedDis-tributedProcessing,Springer-Verlag.
[Albertsetal.
,2001]Alberts,D.
,Garstka,J.
,Hayes,R.
,andSignori,D.
(2001)UnderstandingInformationAgeWarfare.
CCRPPublicationSe-ries.
[Amant,2003]Amant,R.
S.
(2003).
PlanningResourcesattheNorthCar-olinaStateUniversity.
Availableathttp://www.
csc.
ncsu.
edu/faculty/stamant/planning–resources.
html.
[Ankolekaretal.
,2002]Ankolekar,A.
,Burstein,M.
,Hobbs,J.
,Lassila,O.
,McDermott,D.
,Martin,D.
,McIlraith,S.
,Narayanan,S.
,Paolucci,M.
,Payne,T.
,andSycara,K.
(2002).
DAML-S:WebServiceDescriptionfortheSemanticWeb.
ProceedingsoftheInternationalSemanticWebCon-ference(ISWC),pages348–363.
452MethodologiesandSoftwareEngineeringforAgentSystems[AridorandLange,1998]Aridor,Y.
,andLange,D.
B.
(1998).
AgentDesignPatterns:ElementsofAgentApplicationDesign.
ProceedingsoftheInternationalConferenceonAutonomousAgents(Agents'98),pages108–115,St.
Paul,USA.
[ArkandSelker,1999]Ark,W.
S.
,andSelker,T.
(1999).
ALookatHumanInteractionwithPervasiveComputers.
IBMSystemsJournal,38(4).
[Arnoldetal.
,1999]Arnold,K.
,O'Sullivan,B.
,Scheifler,R.
,Waldo,J.
,andWollrath,A.
(1999).
TheJiniSpecification.
SunMicrosystems.
[ArquillaandRonfeldt,2000]Arquilla,J.
,andRonfeldt,D.
(2000).
Swarm-ingandtheFutureofConflict.
Availableathttp://www.
rand.
org/publications/DB/DB311.
[Avila-Rosasetal.
,2002]Avila-Rosas,A.
,Moreau,L.
,Dialani,V.
,Miles,S.
,andLiu,X.
(2002).
AgentsfortheGrid:AComparisonwithWebServices(PartII:ServiceDiscovery).
ProceedingsoftheWorkshoponChallengesinOpenAgentSystems,Bologna,Italy.
[AvourisandGasser,1992]Avouris,N.
A.
,andGasser,L.
(Eds.
)(1992).
Dis-tributedArtificialIntelligence:TheoryandPraxis.
KluwerAcademicPub-lishers.
[Axelrod,1984]Axelrod,R.
(1984).
TheEvolutionofCooperation.
BasicBooks.
[Baeckeretal.
,1997]Baecker,R.
,DiGiano,C.
,andMarcus,A.
(1997).
Soft-wareVisualizationforDebugging.
CommunicationsoftheACM,40(4),pages44–54.
[Ball,1996]Ball,P.
(1996).
TheSelf-MadeTapestry:PatternFormationinNature.
PrincetonUniversityPress.
[Bardram,1998]Bardram,J.
(1998).
DesigningfortheDynamicsofCooper-ativeWorkActivities.
ProceedingsoftheACA4ConferenceonComputerSupportedCooperativeWork.
[BarthelmessandAnderson,2002]Barthelmess,P.
,andAnderson,K.
M.
(2002).
AViewofSoftwareDevelopmentEnvironmentsbasedonActivityTheory.
ComputerSupportedCooperativeWork(CSCW),11(1–2),pages13–37.
[Bauer,1972]Bauer,F.
L.
(1972).
SoftwareEngineering.
InformationPro-cessing71.
References453[Bauer,1999]Bauer,B.
(1999).
ExtendingUMLfortheSpecificationofIn-teractionProtocols.
SubmissionfortheCallforProposalofFIPAandrevisedversionofFIPA-99.
[Bauer,2001]Bauer,B.
(2001).
UMLClassDiagramsRevisitedintheCon-textofAgent-BasedSystems.
Wooldridge,M.
,Ciancarini,P.
,andWeiss,G.
(Eds.
)ProceedingsofAgent-OrientedSoftwareEngineering(AOSE'01),pages1–8.
[Baueretal.
,2001]Bauer,B.
,Müller,J.
P.
,andOdell,J.
(2001).
AgentUML:AFormalismforSpecifyingMultiagentSoftwareSystems.
InternationalJournalofSoftwareEngineeringandKnowledgeEngineering,11(3),pages207–230.
[Bellavistaetal.
,2001]Bellavista,P.
,Corradi,A.
,andStefanelli,C.
(2001).
MobileAgentMiddlewareforMobileComputing.
IEEEComputer,34(3).
[Bellifemineetal.
,2001]Bellifemine,F.
,Poggi,A.
,andRimassa,G.
(2001).
DevelopingMulti-agentSystemswithaFIPA-CompliantAgentFrame-work.
SoftwarePracticeandExperience,31,pages103–128.
[Benni,1988]Beni,G.
(1988).
TheConceptofCellularRoboticSystem.
Pro-ceedingsoftheIEEEInternationalSymposiumonIntelligentControl,LosAlamitos,CA,pages57–62.
[BenniandHackwood,1992]Beni,G.
,andHackwood,S.
(1992).
StationaryWavesinCyclicSwarms.
ProceedingsoftheIEEEInternationalSympo-siumonIntelligentControl,LosAlamitos,CA,pages234–242.
[BenniandWang,1989]Beni,G.
,andWang,J.
(1989).
SwarmIntelligence.
ProceedingsofAnnualMeetingoftheRoboticsSocietyofJapan,Tokyo,pages425–428.
[BenniandWang,1991]Beni,G.
,andWang,J.
,1991.
TheoreticalProblemsfortheRealizationofDistributedRoboticSystems.
ProceedingsoftheIEEEInternationalConferenceonRoboticandAutomation,LosAlamitos,CA,pages1914–1920.
[Bergenti,2003]Bergenti,F.
(2003).
ADiscussionofTwoMajorBenefitsofUsingAgentsinSoftwareDevelopment.
EngineeringSocietiesintheAgentsWorldIII,pages1–12,Springer-Verlag.
[BergentiandPoggi,2001]Bergenti,F.
,andPoggi,A.
(2001).
ADevelop-mentToolkittoRealizeAutonomousandInteroperableAgents.
Proceed-ingsoftheInternationalConferenceonAutonomousAgents,pages632—639.
454MethodologiesandSoftwareEngineeringforAgentSystems[BergentiandRicci,2002]Bergenti,F.
,andRicci,A.
(2002).
ThreeAp-proachestotheCoordinationofMultiagentSystems.
Proceedingsofthe2002ACMSymposiumonAppliedComputing,pages367–372.
[Berlin,1994]BerlinA.
(1994)TowardsIntelligentStructures:ActiveControlofBuckling.
Ph.
D.
Thesis,MIT.
[Berners-Leeetal.
,2001]Berners-Lee,T.
,Hendler,J.
,andLassila,O.
(2001).
TheSemanticWeb.
ScientificAmerican,284(5),pages34–43.
[Bernonetal.
,2003]Bernon,C.
,Camps,V.
,Gleizes,M.
-P.
,andPicard,G.
(2003).
ToolsforSelf-OrganizingApplicationsEngineering.
DiMarzoSerugendo,G.
,Karageorgos,A.
,Rana,O.
F.
,andZambonelli,F.
(Eds.
)ProceedingsoftheInternationalWorkshoponEngineeringSelf-OrganizingApplications(ESOA2003),Melbourne,Australia.
[Bernonetal.
,2002]Bernon,C.
,Gleizes,M.
-P.
,Peyruqueou,S.
,andPicard,G.
(2002).
ADELFE:AMethodologyforAdaptiveMulti-AgentSystemsEngineering.
Petta,P.
,Tolksdorf,R.
,andZambonelli,F.
(Eds.
)ProceedingsoftheInternationalWorkshoponEngineeringSocietiesintheAgentsWorld(ESAW2002),pages156–169.
[Biebricher,C.
K.
,1995]Biebricher,C.
K.
,Nicolis,G.
,andSchuster,P.
(1995).
Self-OrganizationinthePhysico-ChemicalandLifeSciences.
Eu-ropeanUnion,1995.
[Bieszczadetal.
,1998]Bieszczad,A.
,Pagurek,B.
,andWhite,T.
(1998).
MobileAgentsforNetworkManagement.
IEEECommunicationsSurveys,1(1),pages2–9.
[Bigusetal.
,2002]Bigus,J.
P.
,Schlonagle,D.
A.
,Pilgrim,J.
R.
,MillsIII,W.
N.
,andDiao,Y.
(2002).
ABLE:AToolkitforBuildingMultiagentAutonomicSystems.
IBMSystemsJournal,41(2),pages350–371.
[BinderandLichtl,2002]Binder,W.
,andLichtl,B.
(2002).
UsingaSecureMobileObjectKernelasOperatingSystemonEmbeddedDevicestoSup-porttheDynamicUploadofApplications.
ProceedingsoftheIEEEInternationalConferenceonMobileAgents(MA'2002),Barcelona,Spain.
[Bledsoe,1985]Bledsoe,L.
J.
,andHenschenW.
W.
(1985).
WhatisAu-tomatedTheoremProvingJournalofAutomatedReasoning,1(1),pages23–28.
[Boehm,1984]Boehm,B.
W.
(1984).
VerifyingandValidatingSoftwareRe-quirementsandDesignSpecifications.
IEEESoftware,1(1),pages75–84.
References455[Boissier,2003]Boissier,O.
(2003).
MasterWebIntelligence:Organizations.
Availableathttp://www.
emse.
fr/~boissier.
[Bonabeau,2003]Bonabeau,E.
(2003).
SwarmIntelligence.
ProceedingsofSwarming:NetworkEnabledC4ISR,TysonsCorner,VA.
[Bonabeauetal.
,1999]Bonabeau,E.
,Dorigo,M.
,andTheraulaz,G.
(1999).
SwarmIntelligence.
OxfordUniversityPress.
[Booch,1994]Booch,G.
(1994).
Object-OrientedAnalysisandDesignwithApplications.
Addison-Wesley.
[Boochetal.
,1999]Booch,G.
,Rumbaugh,J.
,andJacobson,I.
(1999).
TheUnifiedModelingLanguageUserGuide.
Addison-Wesley.
[Bordinietal.
,2002]Bordini,R.
H.
,Bazzan,A.
L.
C.
,deO.
Jannone,R.
,Basso,D.
M.
,Vicari,R.
M.
,andLesser,V.
R.
(2002).
Agentspeak(XL):EfficientIntentionSelectioninBDIAgentsviaDecision-TheoreticTaskScheduling.
ProceedingsoftheInternationalJointConferenceonAuto-nomousAgentsandMultiagentSystems,pages1294–1302.
[Borriello,2002]Borriello,G.
(2002).
KeyChallengesinCommunicationforUbiquitousComputing.
IEEECommunicationsMagazine.
[Bowen,2003]Bowen,Jonathan(2003).
FormalMethodsResources.
Avail-ableathttp://www.
afm.
sbu.
ac.
uk.
[Boxetal.
,2000]Box,D.
,Skonnard,A.
,andLam,J.
(2000).
EssentialXML:BeyondMarkup.
DevelopMentorSeries.
Addison-Wesley.
[Bratman,1987]Bratman,M.
E.
(1987).
Intentions,Plans,andPracticalRea-son.
HarvardUniversityPress.
[Bratmanetal.
,1988]Bratman,M.
E.
,Israel,D.
,andPollack,M.
(1988).
PlansandResource-BoundedPracticalReasoning.
JournalofComputa-tionalIntelligence,4(4),pages349–355.
[Brazieretal.
,1994]Brazier,F.
M.
T.
,vanLangen,P.
,Treur,J.
,Wijngaards,N.
,andWillems,M.
(1994).
ModellingaDesignTaskinDESIRE:TheVTExample.
TechnicalReportIR-377,UniversiteitAmsterdam.
[Brazieretal.
,1997]Brazier,F.
M.
T.
,Dunin-Keplicz,B.
M.
,Jennings,N.
R.
,andTreur,J.
(1997).
DESIRE:ModellingMulti-AgentSystemsinaCom-positionalFormalFramework.
InternationalJournalofCooperativeInfor-mationSystems,6(1),pages67–94.
456MethodologiesandSoftwareEngineeringforAgentSystems[Brazieretal.
,1999]Brazier,F.
M.
T.
,Jonker,C.
M.
,Jungen,F.
J.
,andTreur,J.
(1999).
DistributedSchedulingtoSupportaCallCentre:ACo-operativeMulti-AgentApproach.
AppliedArtificialIntelligenceJournal,13.
[Brazieretal.
,2000]Brazier,F.
M.
T.
,Jonker,C.
M.
,andTreur,J.
(2000).
CompositionalDesignandReuseofaGenericAgentModel.
InternationalJournalofCooperativeInformationSystems,9(3),pages171–207.
[Brazieretal.
,2002]Brazier,F.
M.
T.
,Jonker,C.
M.
,andTreur,J.
(2002).
PrinciplesofComponent-BasedDesignofIntelligentAgents.
DataandKnowledgeEngineering,41.
[Brescianietal.
,2001]Bresciani,P.
,Perini,A.
,Giorgini,P.
,Giunchiglia,F.
,andMylopoulos,J.
(2001).
AKnowledgeLevelSoftwareEngineeringMethodologyforAgentOrientedProgramming.
ProceedingsoftheIn-ternationalConferenceonAutonomousAgents,pages648–655,Montreal,CA.
[Brescianietal.
,2002]Bresciani,P.
,Giorgini,P.
,Giunchiglia,F,Mylopou-los,J.
,andPerini,A.
(2002).
Tropos:AnAgent-OrientedSoftwareDevel-opmentMethodology.
TechnicalReportDIT-02-0015,UniversityofTrento.
[Brézillon,2003]Brézillon,P.
(2003).
FocusingonContextinHuman-CenteredComputing.
IEEEIntelligentSystems,18(3).
[Brueckner,2000]Brueckner,S.
A.
(2000).
ReturnfromtheAnt:SyntheticEcosystemsforManufacturingControl.
Dr.
rer.
nat.
Thesis.
HumboldtUni-versity.
[BruecknerandParunak,2002]Brueckner,S.
A.
,andParunak,H.
V.
D.
(2002).
SwarmingAgentsforDistributedPatternDetectionandClassifi-cation.
ProceedingsofWorkshoponUbiquitousComputing,AAMAS2002,Bologna,Italy.
[BruecknerandParunak,2003]Brueckner,S.
A.
,andParunak,H.
V.
D.
(2003).
Information-DrivenPhaseChangesinMulti-AgentCoordina-tion.
ProceedingsofAutonomousAgentsandMulti-AgentSystems(AAMAS2003),pages950–951.
[Bryson,2001]Bryson,J.
J.
(2001).
IntelligencebyDesign:PrinciplesofModularityandCoordinationforEngineeringComplexAdaptiveAgents.
Ph.
D.
Thesis,MIT.
[Brysonetal.
,2002]Bryson,K.
,Luck,M.
,Joy,M.
,andJones,D.
(2002).
AgentInteractionforBioinformaticsDataManagement.
AppliedArtificialIntelligence.
References457[Burmeister,1996]Burmeister,B.
(1996).
ModelsandMethodologyforAgent-OrientedAnalysisandDesign.
WorkingNotesoftheKI'96Work-shoponAgentOrientedProgrammingandDistributedSystems.
[BurrafatoandCossentino,2002]Burrafato,P.
,andCossentino,M.
(2002).
DesigningaMulti-AgentSolutionforaBookstorewiththePASSIMethod-ology.
ProceedingsoftheInternationalBi-ConferenceWorkshoponAgent-OrientedInformationSystems(AOIS-2002),Toronto,CA.
[Busettaetal.
,1998]Busetta,P.
,Rnnquist,R.
,Hodgson,A.
,andLucas,A.
(1998).
JACKIntelligentAgents–ComponentsforIntelligentAgentsinJava.
TechnicalReport,AgentOrientedSoftwarePty.
Ltd.
Availableathttp://www.
agent–software.
com.
[Busettaetal.
,2001]Busetta,P.
,Carman,M.
,Serafini,L.
,Stockinger,K.
,andZini,F.
(2001).
GridQueryOptimisationintheDataGrid.
TechnicalReportIRST0109-01,IstitutoTrentinodiCultura.
[Bushetal.
,2001]Bush,G.
,Cranefield,S.
,andPurvis,M.
(2001).
TheStyxAgentMethodology.
TheInformationScienceDiscussionPaperSeries2001/02,UniversityofOtago,NewZealand.
[Busietal.
,2001]Busi,N.
,Ciancarini,P.
,Gorrieri,R.
,andZavattaro,G.
(2001).
CoordinationModels:AGuidedTour.
Omicini,A.
,Zambonelli,F.
,Klusch,M.
,andTolksdorf,R.
(Eds.
)CoordinationofInternetAgents:Models,Technologies,andApplications,pages6–24.
[Bussmann,1998]Bussmann,S.
(1998).
Agent-OrientedProgrammingofManifacturingControlTasks.
ProceedingsoftheInternationalCon-ferenceonMulti-AgentSystems,pages57–63.
[Butleretal.
,2001]Butler,Z.
,Byrnes,S.
,andRus,D.
(2001).
DistributedMotionPlanningforModularRobotswithUnit-CompressibleModules.
ProceedingsoftheInternationalConferenceonIntelligentRobotsandSys-tems.
[Butleretal.
,2002]Butler,Z.
,Kotay,K.
,Rus,D.
,andTomita,K.
(2002).
GenericDecentralizedControlforaClassofSelf-ReconfigurableRobots.
ProceedingsoftheIEEEInternationalConferenceonRoboticsandAu-tomation.
[Buyyaetal.
,2001]Buyya,R.
,Giddy,J.
,andAbramson,D.
(2001).
AnEcon-omyGridArchitectureforService-OrientedGridComputing.
ProceedingsoftheIEEEInternationalHeterogeneousComputingWorkshop(HCW2001),SanFrancisco,USA.
458MethodologiesandSoftwareEngineeringforAgentSystems[Caireetal.
,2001a]Caire,G.
,Chainho,P.
,Evans,R.
,Garijo,F.
,GomezSanz,J.
,Kearney,P.
,Leal,F.
,Massonet,P.
,Pavon,J.
,andStark,J.
(2001a).
MethodologyforAgentOrientedSoftwareEngineering.
EURESCOMProjectP907Deliverable3.
[Caireetal.
,2001b]Caire,G.
,Leal,F.
,Chainho,P.
,Evans,R.
,Garijo,F.
,Gomez-Sanz,J.
J.
,Pavon,J.
,Kerney,P.
,Stark,J.
,andMassonet,P.
(2001b).
AgentOrientedAnalysisusingMESSAGE/UML.
Weiss,G.
,Cianciarini,P.
,andWooldridge,M.
(Eds.
)Agent-OrientedSoftwareEngineeringII,Springer-Verlag.
[Camazineetal.
,2001]Camazine,S.
,Deneubourg,J.
-L.
,Franks,N.
R.
,Sneyd,J.
,Theraulaz,G.
,andBonabeau,E.
(2001).
Self-OrganizationinBiologicalSystems.
PrincetonUniversityPress.
[Campsetal.
,1998]Camps,V.
,Gleizes,M.
-P.
,andGlize,P.
(1998).
UneThéoriedesPhénomènesGlobauxFondéesurdesInteractionsLocales.
ActesdesSixièmeJournéesFrancophonesIAD&SMA(JFIADSMA98),Edi-tionsHermès.
[Caperaetal.
,2003a]Capera,D.
,Georgé,J.
-P.
,Gleizes,M.
-P.
,andGlize,P.
(2003a).
TheAMASTheoryforComplexProblemSolvingbasedonSelf-OrganizingCooperativeAgents.
ProceedingsoftheInternationalWork-shoponTheoryandPracticeofOpenComputationalSystems(TAPOCS),pages383–388.
[Caperaetal.
,2003b]Capera,D.
,Georgé,J.
-P.
,Gleizes,M.
-P.
,andGlize,P.
(2003b).
Emergenceoforganisations,emergenceoffunctions.
ProceedingsoftheFAISB'03SymposiumonAdaptiveAgentsandMulti-AgentSystems.
[CarrieroandGelernter,1989]Carriero,N.
,andGelernter,D.
(1989).
LindainContext.
CommunicationsoftheACM,32(4),pages444–458.
[Castelfranchi,1998]Castelfranchi,C.
(1998).
ModellingSocialActionforAIAgents.
ArtificialIntelligence,103(1).
[Castelfranchi,2000]Castelfranchi,C.
(2000).
FoundingAgent's'Autonomy'onDependenceTheory.
ProceedingsofEuropeanConferenceonArti-ficialIntelligence,pages353–357,Berlin,Germany.
[CastelfranchiandFalcone,1998]Castelfranchi,C.
,andFalcone,R.
(1998).
TowardsaTheoryofDelegationforAgent-BasedSystems.
RoboticsandAutonomousSystems,24:141.
[Castroetal.
,2001]Castro,J.
,Kolp,M.
,andMylopoulos,J.
(2001).
Arequirements-drivendevelopmentmethodology.
Dittrich,K.
R.
,Geppert,A.
References459andNorrie,M.
C.
,editors,Proceedingsofthe13thInternationalConferenceonAdvancedInformationSystemsEngineering(CAiSE'01),volume2068,pages108–123,Interlaken,Switzerland.
Springer-Verlag.
[Castroetal.
,2002]Castro,J.
,Kolp,M.
,andMylopoulos,J.
(2002).
To-wardsRequirements-DrivenInformationSystemsEngineering:TheTroposProject.
InformationSystems.
Elsevier.
[CernuzziandRossi,2002]Cernuzzi,L.
,andRossi,G.
(2002).
OntheEval-uationofAgentOrientedModelingMethods.
ProceedingsoftheOOPSLA2002WorkshoponAgent-OrientedMethodologies,pages21–30,Seattle,USA.
[ChenandFinin,2002]Chen,H.
,andFinin,T.
(2002).
BeyondDistributedAI–AgentTeamworkinUbiquitousComputing.
ProceedingsoftheInternationalWorkshoponUbiquitousAgentsonEmbedded,Wearable,andMobileDevices,Bologna,Italy.
[Cheungetal.
,1997]Cheung,P.
,Berlin,A.
,Biegelsen,D.
K.
,andJackson,W.
B.
(1997).
BatchFabricationofPneumaticValveArraysbyCombiningMEMSwithPrintedCircuitBoardTechnology.
ProceedingsoftheSympo-siumonMicro-MechanicalSystems.
[ChopraandSingh,2003]Chopra,A.
,andSingh,M.
P.
(2003).
Nonmono-tonicCommitmentMachines.
Dignum,F.
(Ed.
)Proceedingsofthe2003AAMASWorkshoponAgentCommunicationLanguages,Springer-Verlag.
[Chungetal.
,2000]Chung,L.
,Nixon,B.
A.
,Yu,E.
,andMylopoulos,J.
(2000).
Non-FunctionalRequirementsinSoftwareEngineering.
KluwerAcademicPublishers.
[Ciancarinietal.
,2000]Ciancarini,P.
,Omicini,A.
,andZambonelli,F.
(2000).
MultiagentSystemEngineering:TheCoordinationViewpoint.
Jen-nings,N.
R.
,andLespérance,Y.
(Eds.
)IntelligentAgentsVI.
AgentTheo-ries,Architectures,andLanguages,pages250–259.
Springer-Verlag.
[Cimattietal.
,2002]Cimatti,A.
,Clarke,E.
M.
,Giunchiglia,E.
,Giunchiglia,F.
,Pistore,M.
,Roveri,M.
,Sebastiani,R.
,andTacchella,A.
(2002).
NuSMV2:AnOpensourceToolforSymbolicModelChecking.
ComputerAidedVerification,Springer-Verlag.
[Clarkeetal.
,1999]Clarke,E.
,Grumberg,O.
,andPeled,D.
(1999).
ModelChecking.
TheMITPress.
[Clarkeetal.
,2001]Clarke,D.
,Elien,J.
-E.
,Ellison,C.
,Fredette,M.
,Morcos,A.
,andRivest,R.
L.
(2001).
CertificateChainDiscoveryinSPKI/SDSI.
JournalofComputerSecurity,9(4),pages285–338.
460MethodologiesandSoftwareEngineeringforAgentSystems[Clearwater,1996]Clearwater,S.
H.
(Ed.
)(1996).
Market-BasedControl.
AParadigmforDistributedResourceAllocation.
WorldScientificPublishing.
[Clements,1996]Clements,P.
C.
(1996).
ASurveyofArchitectureDescrip-tionLanguages.
ProceedingsoftheInternationalWorkshoponSoftwareSpecificationandDesign.
[Clough,2003]Clough,B.
(2003).
EmergentBehavior(Swarming):ToolKitforBuildingUAVAutonomy.
ProceedingsofSwarming:NetworkEnabledC4ISR,TysonsCorner,VA.
[Coffmanetal.
,1971]Coffman,E.
G.
,Elphick,M.
,andShoshani,A.
(1971).
SystemDeadlocks.
ACMComputingSurveys,3(2),pages67–78.
[Cohen,1988]Cohen,J.
(1988).
AViewoftheOriginsandDevelopmentofProlog.
CommunicationsoftheACM,31(1),pages26–36.
[CohenandLevesque,1990]Cohen,P.
R.
,andLevesque,H.
J.
(1990).
Inten-tionisChoicewithCommitment.
ArtificialIntelligence,42,pages213–261.
[CohenandLevesque,1991]Cohen,P.
R.
,andLevesque,H.
J.
(1991).
Team-work.
Nous,25(4),pages487–512.
[Colemanetal.
,1994]Coleman,D.
,Arnold,P.
,Bodoff,S.
,Dollin,D.
,Gilchrist,H.
,Hayes,F.
,andJeremas,P.
(1994).
Object-OrientedDevel-opment:TheFUSIONMethod.
Prentice-HallInternational.
[Collinotetal.
,1996]Collinot,A.
,Drogoul,A.
,andBenhamou,P.
(1996).
AgentOrientedDesignofaSoccerRobotTeam.
ProceedingsofICMAS'96.
[CollisandNdumu,1999]Collis,J.
C.
,andNdumu,D.
T.
(1999).
TheRoleModellingGuide.
AppliedResearchandTechnology,BTLabs.
[Conteetal.
,1998]Conte,R.
,Gilbert,N.
,andSimaoSichman,J.
(1998).
MASandSocialSimulation:ASuitableCommitment.
Sichman,J.
S.
,Conte,R.
,andGilbert,N.
(Eds.
)ProceedingsoftheInternationalWork-shoponMultiAgentBasedSimulation,pages1–9.
Springer-Verlag.
[ConteandSichman,1995]Conte,R.
,andSichman,J.
S.
(1995).
Depnet:HowtoBenefitfromSocialDependence.
JournalofMathematicalSociol-ogy,20(2-3),pages161–177.
[Coore,1999]Coore,D.
(1999).
BotanicalComputing:ADevelopmentalAp-proachtoGeneratingInterconnectTopologiesonanAmorphousComputer.
Ph.
D.
Thesis,MIT.
References461[Cossentino,2001]Cossentino,M.
(2001).
DifferentPerspectivesinDesign-ingMulti-AgentSystem.
ProceedingsoftheWorkshoponAgentTechnologyandSoftwareEngineering,Erfurt,Germany.
[CossentinoandPotts,2002]Cossentino,M.
,andPotts,C.
(2002).
ACASEToolSupportedMethodologyfortheDesignofMulti-AgentSystems.
Pro-ceedingsofthe2002InternationalConferenceonSoftwareEngineeringRe-searchandPractice,LasVegas,USA.
[Cossentinoetal.
,2003]Cossentino,M.
,Hopmans,G.
,andOdell,J.
(2003).
FIPAstandardizationActivitiesintheSoftwareEngineeringArea.
Proceed-ingsofthe2003WorkshoponObjectsandAgents(WOA03),Cagliari,Italy.
[Coxetal.
,2001]Cox,S.
J.
,Fairman,M.
J.
,Xue,G.
,Wason,J.
L.
,andKeane,A.
J.
(2001).
TheGrid:ComputationalandDataResourceSharinginEn-gineeringOptimisationandDesignSearch.
Proceedingsofthe2001ICPPWorkshops,pages207–212.
[Crutchfield,1994]Crutchfield,J.
P.
(1994).
TheCalculiofEmergence:Com-putation,Dynamics,andInduction.
PhysicaD,75,pages11–54.
[Curberaetal.
,2002a]Curbera,F.
,Duftler,M.
,Khalaf,R.
,Nagy,W.
,Mukhi,N.
,andWeerawarana,S.
(2002a).
UnravelingtheWebServicesWeb.
IEEEInternetComputing,6,pages86–93.
[Curberaetal.
,2002b]Curbera,F.
,Goland,Y.
,Klein,J.
,Leymann,F.
,Roller,D.
,Thatte,S.
,andWeerawarana,S.
(2002b).
BusinessProcessExecu-tionLanguageforWebServices.
Availableathttp://www.
ibm.
com/developerworks/library/ws–bpel.
[Dam,2003]Dam,K.
H.
(2003).
EvaluatingAgent-OrientedSoftwareEngi-neeringMethodologies.
Master'sThesis,RMITUniversity.
[DamandWinikoff,2003]Dam,K.
H.
,andWinikoff,M.
(2003).
ComparingAgent-OrientedMethodologies.
ProceedingsoftheInternationalBi-ConferenceWorkshoponAgent-OrientedInformationSystems.
[Dardenneetal.
,1993]Dardenne,A.
,vanLamsweerde,A.
,andFickas,S.
(1993).
Goal-DirectedRequirementsAcquisition.
ScienceofComputerProgramming,20(1–2),pages3–50.
[Darimontetal.
,1997]Darimont,R.
,Delor,E.
,Massonet,P.
,andvanLam-sweerde,A.
(1997).
GRAIL/KAOS:AnEnvironmentforGoal-DrivenRe-quirementsEngineering.
ProceedingsoftheInternationalConferenceonSoftwareEngineering,pages612–613.
462MethodologiesandSoftwareEngineeringforAgentSystems[Dastanietal.
,2003]Dastani,M.
,vanRiemsdijk,B.
,Dignum,F.
,andMeyer,J.
J.
(2003).
AProgrammingLanguageforCognitiveAgents:GoalDi-rected3APL.
ProceedingsoftheWorkshoponProgrammingMultiagentSystems:Languages,Frameworks,Techniques,andTools(ProMAS03).
[DavisandSmith,1983]Davis,R.
,andSmith,R.
G.
(1983).
NegotiationasaMetaphorforDistributedProblem-Solving.
ArtificialIntelligence,20,pages63–109.
[DayandLawrence,2000]Day,S.
J.
,andLawrence,P.
A.
(2000).
MeasuringDimensions:TheRegulationofSizeandShape.
Development,127,2977–2987.
[Dayaletal.
,2001]Umeshwar,D.
,Meichun,H.
,andLadin,R.
(2001).
Busi-nessProcessCoordination:StateoftheArt,TrendsandOpenIssues.
Apers,P.
M.
G.
,Atzeni,P.
,Ceri,S.
,Paraboschi,S.
,Ramamohanarao,K.
,andSnod-grass,R.
T.
(Eds.
)ProceedingsoftheInternationalConferenceonVeryLargeDataBases(VLDB2001),pages3–13.
[DeGiacomoetal.
,2000]DeGiacomo,G.
,Lesperance,Y.
,andLevesque,H.
J.
(2000).
Congolog,AConcrrentProgrammingLanguagebasedontheSituationCalculus.
ArtificialIntelligence,121,pages109–169.
[DeRoureetal.
,2003]DeRoure,D.
,Jennings,N.
R.
,andShadbolt,N.
(2003).
TheSemanticGrid:AFuturee-ScienceInfrastructure.
Berman,F.
,Fox,G.
,andHey,A.
J.
G.
(Eds.
)GridComputing:MakingtheGlobalInfrastructureaReality,pages437–470,JohnWiley&Sons.
[DebenhamandHenderson-Sellers,2002]Debenham,J.
,andHenderson-Sellers,B.
(2002).
FullLifecycleMethodologiesforAgent-OrientedSys-tems–TheExtendedOPENProcessFramework.
ProceedingsofAgent-OrientedInformationSystems(AOIS-2002),Toronto,CA.
[Decker,1995]Decker,K.
S.
(1995).
EnvironmentCenteredAnalysisandDesignofCoordinationMechanisms.
Ph.
D.
Thesis,UniversityofMas-sachusetts.
[Decker,1996a]Decker,K.
S.
(1996a).
TMS:AFrameworkforEnviron-mentCenteredAnalysisandDesignofCoordinationMechanisms.
O'Hare,G.
M.
P.
,andJennings,N.
R.
,(Eds.
)FoundationsofDistributedArtificialIntelligence,pages429–448,JohnWiley&Sons.
[Decker,1996b]Decker,K.
S.
(1996b).
TaskEnvironmentCenteredSimula-tion.
SimulatingOrganizations:ComputationalModelsofInstitutionsandGroups.
AAAIPress/TheMITPress.
References463[Deckeretal.
,1989]Decker,K.
S.
,Durfee,E.
H.
,andLesser,V.
R.
(1989).
EvaluatingResearchinCooperativeDistributedProblemSolving.
Huhns,M.
N.
,andGasser,L.
(Eds.
)DistributedArtificialIntelligence,Volume2,pages487–519.
Pitman/MorganKaufmann.
[Deckeretal.
,1997]Decker,K.
S.
,Sycara,K.
,andWilliamson,M.
(1997).
Middle-AgentsfortheInternet.
ProceedingsofIJCAI'97.
[Deckeretal.
,2001]Decker,K.
S.
,Zheng,X.
,andSchmidt,C.
(2001).
AMulti-AgentSystemforAutomatedGeneticAnnotation.
ProceedingsoftheACMInternationalConferenceonAutonomousAgents,Montreal,Canada.
[DeLoach,2001]DeLoach,S.
A.
(2001).
AnalysisandDesignusingMaSEandagenTool.
ProceedingsoftheMidwestArtificialIntelligenceandCognitiveScienceConferece(MAICS),MiamiUniversityPress.
[DeLoach,2002]DeLoach,S.
A.
(2002).
ModelingOrganizationalRulesintheMultiagentSystemsEngineeringMethodology.
ProceedingsoftheCanadianConferenceonArtificialIntelligence.
[DeLoachandWood,2001]DeLoach,S.
A.
,andWood,M.
(2001).
Develop-ingMultiagentSystemswithagentTool.
Castelfranchi,C.
,andLesperance,Y.
(Eds.
)IntelligentAgentsVII.
,pages46–60,Springer-Verlag.
[DeLoachetal.
,2001]DeLoach,S.
A.
,Wood,M.
F,andSparkman,C.
H.
(2001).
MultiagentSystemsEngineering.
InternationalJournalofSoftwareEngineeringandKnowledgeEngineering,11(3),pages231–258.
[DeLoachetal.
,2003]DeLoach,S.
A.
,Matson,E.
T.
,andLi,Y.
(2003).
ExploitingAgentOrientedSoftwareEngineeringinCooperativeRoboticsSearchandRescue.
InternationalJournalofPatternRecognitionandArti-ficialIntelligence.
[Demazeau,1995]Demazeau,Y.
(1995).
FromCognitiveInteractionstoCol-lectiveBehaviourinAgent-BasedSystems.
ProceedingsoftheEuropeanConferenceonCognitiveScience,pages117–132,Saint-Malo,France.
[Dentietal.
,2002]Denti,E.
,Omicini,A.
,andRicci,A.
(2002).
CoordinationToolsforMASDevelopmentandDeployment.
AppliedArtificialIntelli-gence,16(9-10),pages721–752.
[Depkeetal.
,2001]Depke,R.
,Heckel,R.
,andKuster,J.
M.
(2001).
Improv-ingtheAgent-OrientedModelingProcessbyRoles.
ProceedingsoftheInternationalConferenceonAutonomousAgents,pages640–647.
464MethodologiesandSoftwareEngineeringforAgentSystems[Devedzic,1999]Devedzic,V.
(1999).
ASurveyofModernKnowledgeMod-elingTechniques.
ExpertSystemswithApplications,17(275).
[Devlin,2003]Devlin,K.
(2003).
WhyUniversitiesRequireComputerSci-enceStudentstotakeMath.
CommunicationsoftheACM,46(9),pages37–39.
[Dey,2001]Dey,A.
K.
(2001).
EvaluationofUbiquitousComputingSys-tems:EvaluatingthePredictabilityofSystems.
Abowd,G.
D.
,Brumitt,B.
,andShafer,S.
(Eds.
)ProceedingsofEvaluationMethodsforUbiquitousComputingWorkshop,Springer-Verlag.
[Dietterich,1998]Dietterich,T.
G.
(1998).
Machine-LearningResearch:FourCurrentDirections.
AIMagazine,18(4),pages97–136.
[DiLeoetal.
,2002]DiLeo,J.
,Jacobs,T.
,andDeLoach,S.
(2002).
Integrat-ingOntologiesintoMultiagentSystemsEngineering.
ProceedingsoftheInternationalBi-ConferenceWorkshoponAgent-OrientedInformationSystems.
[Doetal.
,2003]Do,T.
,Kolp,M.
,andPirotte,A.
(2003).
SocialPatternsforDesigningMulti-agentSystems.
ProceedingsoftheInternationalCon-ferenceonSoftwareEngineeringandKnowledgeEngineering(SEKE'03).
[DorigoandDiCaro,1999]Dorigo,M.
,andDiCaro,G.
(1999).
TheAntColonyOptimizationMeta-Heuristic.
Corne,D.
,Dorigo,M.
,andGlover,F.
(Eds.
)NewIdeasinOptimization,McGraw-Hill.
[Dorigoetal.
,1996]Dorigo,M.
,Maniezzo,V.
,andColorni,A.
(1996).
TheAntSystem:OptimizationbyaColonyofCooperatingAgents.
IEEETrans-actionsonSystems,Man,andCybernetics,26(1),pages1–13.
[DrogoulandZucker,1998]Drogoul,A.
,andZucker,J.
(1998).
Method-ologicalIssuesforDesigningMulti-AgentSystemswithMachineLearningTechniques:CapitalizingExperiencesfromtheRobocupChallenge.
Tech-nicalReportLIP61998/041,Laboratoired'InformatiquedeParis6.
[DuBois,1997]DuBois,P.
(1997).
TheALBERTIIReferenceManual.
Tech-nicalReportRR-97-002,UniversityofNamur.
[Dubois,1998]Dubois,P.
,andHeymansE.
(1998).
Scenario-BasedTech-niquesforSupportingtheElaborationandtheValidationofFormalRequire-ments.
TechnicalReportCREWS98-15,UniversitedeNamur.
[Duboisetal.
,1994]Dubois,E.
,DuBois,P.
,Dubru,F.
,andPetit,M.
(1994).
Agent-OrientedRequirementsEngineering:ACaseStudyusingtheAL-BERTLanguage.
ProceedingsoftheInternationalWorkingConferenceReferences465onDynamicModellingandInformationSystems(DYNMOD'94),pages205–238.
[Dulayetal.
,2001]Dulay,N.
,Damianou,N.
,Lupu,E.
,andSloman,M.
(2001).
APolicyLanguagefortheManagementofDistributedAgents.
Wooldridge,M.
J.
,Weiss,G.
,andCiancarini,P.
(Eds.
)Agent-OrientedSoft-wareEngineeringII,pages84–100,Springer-Verlag.
[DurfeeandLesser,1991]Durfee,E.
H.
,andLesser,V.
R.
(1991).
PartialGlobalPlanning:ACoordinationFrameworkforDistributedHypothesisFormation.
IEEETransactionsonSystems,Man,andCybernetics,21(5),pages1167–1183.
[Durfeeetal.
,1989]Durfee,E.
H.
,Lesser,V.
R.
,andCorkill,D.
D.
(1989).
TrendsinCooperativeDistributedProblemSolving.
IEEETransactionsonKnowledgeandDataEngineering,1(1),pages63–83.
[Edmonds,1998]Edmonds,B.
(1998).
SocialEmbeddednessandAgentDe-velopment.
ProceedingsofUKMAS'98.
[Edmonds,2003a]Edmonds,B.
(2003a).
SimulationandComplexity–HowTheycanRelate.
Feldmann,V.
,andMühlfeld,K.
(Eds.
)VirtualWorldsofPrecision,LitVerlag.
[Edmonds,2003b]Edmonds,B.
(2003b).
Against:APrioriTheory,For:De-scriptivelyAdequateComputationalModelling.
TheCrisisinEconomics:ThePost-AutisticEconomicsMovement:Thefirst600days,pages175–179,Routledge.
[Edwards,2000]Edwards,S.
J.
A.
(2000).
SwarmingontheBattlefield:Past,Present,andFuture.
TechnicalReportMR-1100-OSD,RAND.
[Edwards,2003]Edwards,S.
J.
A.
(2003).
MilitaryHistoryofSwarming.
ProceedingsofSwarming:NetworkEnabledC4ISR,TysonsCorner,VA.
[EdwardsandGrinter,2001]Edwards,W.
K.
,andGrinter,R.
E.
(2001).
AtHomewithUbiquitousComputing:SevenChallenges.
Abowd,G.
D.
,Bru-mitt,B.
,andShafer,S.
(Eds.
)ProceedingsoftheInternationalConfer-enceonUbiquitousComputing(UBICOMP'2001),Springer-Verlag.
[Ekuddenetal.
,2001]Ekudden,E.
,Horn,H.
,Melander,M.
,andOlin,J.
(2001).
On-DemandMobileMedia–ARichServiceExperienceforMobileUsers.
EricssonReview,TheTelecommunicationsTechnologyJournal,4.
[ElammariandLalonde,1999]Elammari,M.
,andLalonde,W.
(1999).
AnAgent-OrientedMethodology:High-LevelandIntermediateModels.
Wag-ner,G.
,andYu,E.
(Eds.
)ProceedingsoftheInternationalWorkshoponAgent-OrientedInformationSystems.
466MethodologiesandSoftwareEngineeringforAgentSystems[Engestrmetal.
,1997]Engestrm,Y.
,Brown,K.
,Christopher,C.
L.
,andGregory,J.
(1997).
Coordination,Cooperation,andCommunicationintheCourts:ExpansiveTransitionsinLegalWork.
Cole,M.
,Engestrm,Y.
,andVasquez,O.
(Eds.
)Mind,Culture,andActivity,CambridgeUniversityPress.
[Esleretal.
,1999]Esler,M.
,Hightower,J.
,Anderson,T.
,andBorriello,G.
(1999).
NextCenturyChallenges:Data-CentricNetworkingforInvisibleComputing–ThePortolanoProjectattheUniversityofWashington.
Pro-ceedingsoftheACMInternationalConferenceonMobileComputing(Mo-biCOM'1999),Seattle,USA.
[Estevaetal.
,2002]Esteva,M.
,delaCruz,D.
,andSierra,C.
(2002).
Islander:AnElectronicInstitutionsEditor.
ProceedingsoftheInternationalJointConferenceonAutonomousAgentsandMultiagentSystems,pages1045–1052.
[Fallah-SeghrouchniandSuna,2003]Fallah-Seghrouchni,A.
,andSuna,A.
(2003).
AProgrammingLanguageforAutonomousandMobileAgents.
ProceedingsofIAT2003.
[Fankhauseretal.
,1991]Fankhauser,P.
,Kracker,M.
,andNeuhold,E.
J.
(1991).
Semanticvs.
StructuralResemblanceofClasses.
ACMSIGMODRECORD20(4),pages59–63.
[FanoandGershman,2002]Fano,A.
,andGershman,A.
(2002).
TheFutureofBusinessServicesintheAgeofUbiquitousComputing.
CommunicationsoftheACM,45(12).
[FenselandMotta,2001]Fensel,D.
,andMotta,E.
(2001).
StructuredDevel-opmentofProblemSolvingMethods.
KnowledgeandDataEngineering,13(6),pages913–932.
[Fensteretal.
,1995]Fenster,M.
,Kraus,S.
,andRosenschein,J.
S.
(1995).
CoordinationwithoutCommunication:ExperimentalValidationofFocalPointTechniques.
ProceedingsofInternationalConferenceonMulti-AgentSystems(ICMAS'95),pages102–108,SanFrancisco,USA.
[Ferber,1999]Ferber,J.
(1999).
Multi-AgentSystems.
Addison-Wesley.
[FerberandGutknecht,1998]Ferber,J.
,andGutknecht,O.
(1998).
AMeta-ModelfortheAnalysisandDesignofOrganizationsinMulti-AgentSys-tems.
ProceedingsoftheInternationalConferenceonMulti-AgentSys-tems(ICMAS-98),pages128–135.
References467[Ferguson,1992]Ferguson,I.
A.
(1992).
TouringMachines:AnArchitectureforDynamic,Rational,MobileAgents.
Ph.
D.
Thesis,UniversityofCam-bridge.
[FikesandNilsson,1971]Fikes,R.
,andNilsson,J.
(1971).
STRIPS:ANewApproachtotheApplicationofTheoremProvingtoProblemSolving.
Ar-tificialIntelligence,2(3–4).
[Fisher,1994]Fisher,M.
(1994).
ASurveyofConcurrentMETATEM–TheLanguageanditsApplications.
Gabbay,D.
M.
,andOhlbach,H.
J.
(Eds.
)ProceedingsoftheIntemationalConferenceonTemporalLogic,pages480–505,Springer-Verlag.
[Fisher,1995]Fisher,M.
(1995).
RepresentingandExecutingAgent-BasedSystems.
Wooldridge,M.
,andJennings,N.
R.
(Eds.
)IntelligentAgents:Theories,Architectures,andLanguages,pages307–323.
Springer-Verlag.
[FisherandWooldridge,1997]Fisher,M.
,andWooldridge,M.
J.
(1997)OntheFormalSpecificationandVerificationofMulti-AgentSystems.
Interna-tionalJournalofCooperativeInformationSystems,6:1,pages37–65.
[FornaraandColombetti,2002]Fornara,N.
,andColombetti,M.
(2002).
Op-erationalSpecificationofaCommitment-BasedAgentCommunicationLanguage.
ProceedingsoftheInternationalJointConferenceonAu-tonomousAgentsandMultiagentSystems,pages535–542.
[Forrest,1991]Forrest,S.
(Ed.
)(1991).
EmergentComputation:Self-Organizing,Collective,andCooperativePhenomenainNaturalandArti-ficialComputingNetworks.
SpecialissueofPhysicaD,TheMITPress.
[Foster,2002]Foster,I.
(2002).
WhatistheGridAThreePointChecklist.
Availableathttp://www–fp.
mcs.
anl.
gov/~foster.
[FosterandKesselman,1999]Foster,I.
,andKesselman,C.
(Eds.
)(1999).
TheGrid:BlueprintforaNewComputingInfrastructure.
MorganKaufman.
[Fosteretal.
,2001]Foster,I.
,Kesselman,C.
,andTuecke,S.
(2001).
TheAnatomyoftheGrid.
EnablingScalableVirtualOrganizations.
Interna-tionalJournalofSupercomputerApplications.
[Fosteretal.
,2002]Foster,I.
,Kesselman,C.
,Nick,J.
,andTucke,S.
(2002).
ThePhysiologyoftheGrid:AnOpenGridServicesArchitectureforDis-tributedSystemsIntegration.
OpenGridServiceInfrastructureWG,GlobalGridForum.
[FoxandGruninger,1998]Fox,M.
S.
,andGruninger,M.
(1998).
EnterpriseModelling.
AIMagazine,19(3),pages109–121.
468MethodologiesandSoftwareEngineeringforAgentSystems[FredrikssonandGustavsson,2003]Fredriksson,M.
,andGustavsson,R.
(2003).
ArticulationofanOpenComputationalSystemforNetwork-CentricWarfare.
BubenkoJr.
,J.
(Ed.
)ConferenceforthePromotionofResearchinInformationTechnologyatNewUniversitiesandatUniversityColleges(ITL),Visby,Sweden.
[Fredrikssonetal.
,2003]Fredriksson,M.
,Gustavsson,R.
,andRicci,A.
(2003).
SustainableCoordination.
Klusch,M.
,Bergamaschi,S.
,Edwards,P.
,andPetta,P.
(Eds.
)IntelligentInformationAgents:AnAgentLinkPer-spective,pages203–233.
Springer-Verlag.
[Friedman-Hill,2003]Friedman-Hill,E.
(2003).
JavaExpertSystemShell(JESS).
Availableathttp://herzberg.
ca.
sandia.
gov/jess.
[Furmentoetal.
,2001]Furmento,N.
,Newhouse,S.
,andDarlington,J.
(2001).
BuildingComputationalCommunitiesfromFederatedResources.
ProceedingsoftheInternationalEuro-ParConference(Euro-Par2001),pages855–863.
[Fuxman,2001]Fuxman,A.
(2001).
FormalAnalysisofEarlyRequirementsSpecifications.
Master'sThesis,UniversityofToronto.
[Fuxmanetal.
,2001]Fuxman,A.
,Pistore,M.
,Mylopoulos,J.
,andTraverso,P.
(2001).
ModelCheckingEarlyRequirementsSpecificationsinTropos.
ProceedinfgsoftheIEEEInternationalSymposiumonRequirementsEngi-neering,pages174–181,Toronto,CA.
[Fuxmanetal.
,2003]Fuxman,A.
,Liu,L.
,Pistore,M.
,Roveri,M.
,andMy-lopoulos,J.
(2003).
SpecifyingandAnalyzingEarlyRequirementsinTro-pos:SomeExperimentalResults.
ProceedingsoftheIEEEInterna-tionalRequirementsEngineeringConference,MontereyBay,USA.
[Gammaetal.
,1995]Gamma,E.
,Helm,R.
,Johnson,J.
,andVlissides,J.
(1995).
DesignPatterns:ElementsofReusableObject-OrientedSoftware.
Addison-Wesley.
[Garcia-MolinaandGermano,1984]Garcia-Molina,H.
,Germano,F.
(1984).
DebuggingaDistributedComputerSystem.
IEEETransactionsonSoftwareEngineering,10(2),pages210–219.
[Garijoetal.
,1998]Garijo,F.
,Tous,J.
,Matias,J.
M.
,Corley,S.
,andTesse-laar,M.
(1998).
DevelopmentofaMulti-AgentSystemforCooperativeWorkwithNetworkNegotiationCapabilities.
Albayrak,S.
(Ed.
)Intelli-gentAgentsforTelecommunicationApplications,pages204–219,Springer-Verlag.
References469[Garijoetal,2001]Garijo,F.
,Gómez-Sanz,J.
,Pavón,J.
,Massonet,P.
Multi-AgentSystemOrganisation.
AnEngineeringPerspective.
ProceedingsofMAAMAW2001,Springer-Verlag.
[Gasser,2001]Gasser,L.
(2001).
MASInfrastructureDefinitions,Needs,Prospects.
Wagner,T.
,andRana,O.
(Eds.
)InfrastructureforAgents,Multi-AgentSystems,andScalableMulti-AgentSystems,pages1–11.
Springer-Verlag.
[GasserandBriot,1992]Gasser,L.
,andBriot,J.
-P.
(1992).
DistributedAr-tificialIntelligence:TheoryandPraxis.
Object-OrientedConcurrentPro-grammingandDistributedArtificialIntelligence,pages81–108.
KluwerAcademicPublishers.
[GelernterandCarriero,1992]Gelernter,D.
,andCarriero,N.
(1992).
Coor-dinationLanguagesandTheirSignificance,CommunicationsoftheACM,25(2),pages97–107.
[GeneserethandKetchpel,1997]Genesereth,M.
R.
,andKetchpel,S.
P.
(1997).
SoftwareAgents.
CommunicationsoftheACM,37(7).
[GeneserethandNilsson,1987]Genesereth,M.
R.
,andNilsson,N.
J.
(1987).
LogicalFoundationsofArtificialIntelligence.
MorganKaufmannPublisher.
[Geneserethetal.
,1986]Genesereth,M.
R.
,Ginsburg,M.
,andRosenschein,J.
S.
(1986).
CooperationwithoutCommunication.
ProceedingsoftheNa-tionalConferenceonArtificialIntelligence(AAAI'86),pages51–57,AAAIPress.
[Georgéetal.
,2003]Georgé,J.
-P.
,Gleizes,M.
-P.
,Glize,P.
,andRégis,C.
(2003).
Real-TimeSimulationforFloodForecast:AnAdaptiveMulti-AgentSystemSTAFF.
Kazakov,D.
,Kudenko,D.
,andAlonso,E.
(Eds.
)ProceedingsoftheAISB'03SymposiumonAdaptiveAgentsandMulti-AgentSystems(AAMAS'03),pages109–114.
[Gervais,2003]Gervais,M.
-P.
(2003).
ODAC:AnAgent-OrientedMethod-ologybasedonODP.
JournalofAutonomousAgentsandMulti-AgentSys-tems,7(3),pages199–228.
[GervaisandMuscutariu,2001]Gervais,M.
-P.
,andMuscutariu,F.
(2001).
TowardsanADLforDesigningAgent-BasedSystems.
Wooldridge,M.
J.
,Weiss,G.
,andCianciarini,P.
(Eds.
)Agent-OrientedSoftwareEngineeringII,pages263–277.
Springer-Verlag.
[GiampapaandSycara,2002]Giampapa,J.
A.
,andSycara,K.
(2002).
Team-OrientedAgentCoordinationintheRETSINAMulti-AgentSystem.
Tech-nicalReportCMU-RI-TR-02-34,CarnegieMellonUniversity.
470MethodologiesandSoftwareEngineeringforAgentSystems[Gilber,1995]Gilbert,G.
N.
,1995.
EmergenceinSocialSimulation.
Gilbert,G.
N.
,andConte,R.
(Eds.
)ArtificialSocieties:TheComputerSimulationofSocialLife,UCLPress.
[Giorginietal.
,2002]Giorgini,P.
,Nicchiarelli,E.
,Mylopoulos,J.
,andSe-bastiani,R.
(2002).
ReasoningwithGoalModels.
ProceedingsoftheInter-nationalConferenceofConceptualModeling,Springer-Verlag.
[Giorginietal.
,2003]Giorgini,P.
,Mueller,J.
,andOdell,J.
(Eds.
)(2003).
Agent-OrientedSoftwareEngineeringIII,Springer-Verlag.
[Giunchigliaetal.
,2002]Giunchiglia,F.
,Mylopoulos,J.
,andPerini,A.
(2002).
TheTroposSoftwareDevelopmentMethodology:Processes,Mod-elsandDiagrams.
ProceedingsofAgent-OrientedSoftwareEngineering,Springer-Verlag.
[Giunchigliaetal.
,2003]Giunchiglia,F.
,Odell,J.
,andWeiss,G.
(Eds.
)(2003).
Agent-OrientedSoftwareEngineeringIV,Springer-Verlag.
[Glaser,1996]Glaser,N.
(1996).
TheCoMoMASMethodologyandEnvi-ronmentforMulti-AgentSystemDevelopment.
Zhang,C.
,andLukose,D.
(Eds.
)Multi-AgentSystemsMethodologiesandApplications,pages1–16.
Springer-Verlag.
[Gleizesetal.
,1999]Gleizes,P.
-P.
,Camps,V.
,andGlize,P.
(1999).
AThe-oryofEmergentComputationBasedonCooperativeSelf-OganizationforAdaptiveArtificialSystems.
ProceedingsoftheEuropeanCongressofSystemsScience,Valencia,Spain.
[Goldstein,1999]Goldstein,J.
(1999).
EmergenceasaConstruct:HistoryandIssues.
Emergence,1-1,pages49–72.
[Gomez-SanzandFuentes,2002]Gomez-Sanz,J.
,andFuentes,R.
(2002).
AgentOrientedSystemEngineeringwithINGENIAS.
ProceedingsoftheIberoamericanWorkshoponMulti-AgentSystems.
[Gomez-SanzandPavon,2003]Gomez-Sanz,J.
,andPavon,J.
(2003).
AgentOrientedSoftwareEngineeringwithINGENIAS.
Marík,V.
,Müller,J.
,andPechoucek,M.
(Eds.
)Multi-AgentSystemsandApplicationsIII,pages394–403,Springer-Verlag.
[Gomez-Sanzetal.
,2002]Gomez-Sanz,J.
,Pavon,J.
,andGarijo,F.
(2002).
Meta-ModelsforBuildingMulti-AgentSystems.
Proceedingsofthe2002ACMsymposiumonAppliedcomputing,pages37–41.
ACMPress.
[Grahametal.
,1997]Graham,I.
,Hederson-Sellers,B.
,andYounessi,H.
(1997).
TheOPENProcessSpecification.
Addison-Wesley.
References471[Grassé,1959]Grassé,P.
-P.
(1959).
LaReconstructionduNidetlesCoor-dinationsInter-IndividuelleschezBellicositermesNatalensisetCubitermessp.
LaThéoriedelaStigmergie:Essaid'InterprétationduComportementdesTermitesConstructeurs.
InsectesSociaux,6,pages41–84.
[GrayandReuter,1993]Gray,J.
,andReuter,A.
(1993).
TransactionProcess-ing:ConceptsandTechniques.
MorganKaufmann.
[Gruber,1991]Gruber,T.
R.
(1991).
TheRoleofaCommonOntologyinAchievingSharable,ReusableKnowledgeBases.
ProceedingsoftheKnowledgeRepresentationandReasoningConference,pages601–602.
[GuerraouiandSchiper,1997]Guerraoui,R.
,andSchiper,A.
(1997).
Software-BasedReplicationforFaultTolerance.
IEEEComputer,30(4),pages68–74.
[GuessoumandBriot,1999]Guessoum,Z.
,andBriot,J.
-P.
(1999).
FromAc-tiveObjectstoAutonomousAgents.
IEEEConcurrency,7(3),pages68–76.
[Guessoumetal.
,2002]Guessoum,Z.
,Briot,J.
-P.
,andCharpentier,S.
(2002).
DynamicandAdaptativeReplicationforLarge-ScaleReliableMulti-AgentSystems.
ProceedingsoftheInternationalWorkshoponSoftwareEngineeringforLarge-ScaleMulti-AgentSystems(SELMAS'02),Orlando,USA,ACMPress.
[GulyasandCorliss,1999]Gulyas,T.
Kozsik,L.
,andCorliss,J.
B.
(1999).
TheMulti-AgentModellingLanguageandtheModelDesignInterface.
TheJournalofArtificialSocietiesandSocialSimulation,2(4).
[Gurevich,1984]Gurevich,Y.
(1984).
TowardLogicTailoredforComputa-tionalComplexity.
ComputationandProofTheory,1104,175–216.
[GustavssonandFredriksson,2003]Gustavsson,R.
,andFredriksson,M.
(2003).
SustainableInformationEcosystems.
Garcia,A.
,Lucena,C,Zam-bonelli,F.
,Omicini,A.
,andCastro,J.
(Eds.
)SoftwareEngineeringforLarge-ScaleMulti-AgentSystems,pp.
127-142,Springer-Verlag.
[GutknechtandFerber,2001]Gutknecht,O.
,andFerberM.
(2001).
Integrat-ingToolsandInfrastructuresforGenericMulti-AgentSystems.
Proceed-ingsofAgents'01,pages441-448.
[HackwoodandBeni,1991]Hackwood,S.
,andBeni,G.
(1991).
Self-OrganizingSensorsbyDeterministicAnnealing.
ProceedingsoftheIEEE/RSJInternationalConferenceonIntelligentRobotandSystems,pages1177–1183.
472MethodologiesandSoftwareEngineeringforAgentSystems[HackwoodandBeni,1992]Hackwood,S.
,andBeni,G.
(1992).
Self-OrganizationofSensorsforSwarmIntelligence.
ProceedingsoftheIEEEInternationalConferenceonRoboticsandAutomation,pages819–29.
[Halpernetal.
,1995]Halpern,J.
Y.
,Fagin,R.
,Moses,Y.
,andVardi,M.
Y.
(1995).
ReasoningAboutKnowledge.
TheMITPress.
[Haydenetal.
,1999]Hayden,S.
,Carrick,C.
,andYang,Q.
(1999).
Archi-tecturalDesignPatternsforMultiagentCoordination.
ProceedingsoftheInternationalConferenceonAutonomousAgents(Agents'99),Seattle,USA.
[Heiler,1995]Heiler,S.
(1995).
SemanticInteroperability.
ACMComputingSurveys,27(2),pages271–273.
[Heusseetal.
,1998]Heusse,M.
,Guérin,S.
,Snyers,D.
,andKuntz,P.
(1998).
AdaptiveAgent-DrivenRoutingandLoadBalancinginCommunicationNetworks.
AdvancesinComplexSystems,1,pages234–257.
[Hexmoor,2001]Hexmoor,H.
(2001).
ACognitiveModelofSituatedAuton-omy.
AdvancesinArtificialIntelligence,pages325–334.
Springer-Verlag.
[Hexmooretal.
,2003]Hexmoor,H.
,Castelfranchi,C.
,andFalcone,R.
(2003).
AProspectusonAgentAutonomy.
AgentAutonomy,1(1),pages1–8.
[Heylighen,1992]Heylighen,F.
(1992).
Evolution,SelfishnessandCooper-ation;SelfishMemesandtheEvolutionofCooperation.
JournalofIdeas,2-4,pages70–84.
[Hindriksetal.
,1999]Hindriks,K.
V.
,Boer,F.
S.
,derHoek,W.
V.
,andMeyer,J.
-J.
(1999).
AgentProgrammingin3APL.
AutonomousAgentsandMulti-AgentSystems,2(4),pages357–401.
[Holland,1997]Holland,J.
H.
(1997).
Emergence:FromOrdertoChaos.
OxfordUniversityPress.
[Holzmann,1991]Holzmann,G.
J.
(1991).
DesignandValidationofCom-puterProtocols.
Prentice-HallInternational.
[Holzmann,1997]Holzmann,G.
J.
(1997).
TheModelCheckerSpin.
IEEETransactionsonSoftwareEngineering,23(5),pages279–295.
[Horn,2001]Horn,P.
M.
(2001).
AutonomicComputing–IBM'sPerspectiveontheStateofInformationTechnology.
Availableathttp://www.
ibm.
com/research/autonomic.
References473[HornungandBryan,2002]Hornung,E.
,andBryan,B.
M.
(Eds.
)(2002).
TheQuestforImmortality:TreasuresofAncientEgypt.
NationalGalleryofArt.
[Howdenetal.
,2001]Howden,N.
,Ronnquist,R.
,Hodgson,A.
,andLucas,A.
(2001).
JACKIntelligentAgents–SummaryofanAgentInfrastructure.
ProceedingsofAgents'01.
[Huangetal.
,1999]Huang,A.
C.
,Ling,B.
C.
,andPonnekanti,S.
(1999).
PervasiveComputing:WhatisitGoodForProceedingsofTheACMIn-ternationalWorkshoponDataEngineeringforWirelessandMobileAccess(MOBIDE'1999),Seattle,USA.
[Huberman,1991]Huberman,B.
A.
(1991).
ThePerformanceofCooperativeProcesses.
Forrest,S.
(Ed.
)EmergentComputation:Self-Organizing,Col-lective,andCooperativePhenomenainNaturalandArtificialComputingNetworks,TheMITPress.
[Huget,2002a]Huget,M.
-P.
(2002a).
AgentUMLClassDiagramsRevis-ited.
Bauer,B.
,Fischer,K.
,Muller,J.
,andRumpe,B.
(Eds.
)ProceedingsofAgentTechnologyandSoftwareEngineering(AgeS).
[Huget,2002b]Huget,M.
-P.
(2002b).
GeneratingCodeforAgentUMLSe-quenceDiagrams.
Bauer,B.
,Fischer,K.
,Muller,J.
,andRumpe,B.
(Eds)ProceedingsofAgentTechnologyandSoftwareEngineering(AgeS).
[Huget,2002c]Huget,M.
-P.
(2002c).
ModelCheckingAgentUMLProto-colDiagrams.
ProceedingsoftheWorkshoponModelCheckingArtificialIntelligence(MoChArt).
[Huget,2002d]Huget,M.
-P.
(2002d).
Nemo:AnAgent-OrientedSoftwareEngineeringMethodology.
ProceedingsoftheWorkshoponAgent-OrientedMethodologies,pages41–53,Seattle,USA.
[HuhnsandSingh,1998]Huhns,M.
N.
,andSingh,M.
P.
(1998).
AgentsandMultiagentSystems:Themes,Approaches,andChallenges.
Huhns,M.
N.
,andSingh,M.
P.
(Eds.
)ReadinginAgents,pages1–23.
[HuhnsandSingh,1999]Huhns,M.
N.
,andSingh,M.
P.
(1999).
AMul-tiagentTreatmentofAgenthood.
AppliedArtificialIntelligence,13(1–2),pages3–10.
[HuhnsandStephens,1999]Huhns,M.
N.
,andStephens,L.
M.
(1999).
Mul-tiagentSystemsandSocietiesofAgents.
Weiss,G.
(Ed.
)MultiagentSys-tems,pages79–120,TheMITPress.
474MethodologiesandSoftwareEngineeringforAgentSystems[Huhnsetal.
,2002]Huhns,M.
N.
,Stephens,L.
M.
,andIvezic,N.
(2002).
AutomatingSupply-ChainManagement.
ProceedingsoftheInterna-tionalJointConferenceonAutonomousAgentsandMultiAgentSystems(AAMAS),pages1017–1024,ACMPress.
[HuzitaandScimemi,1989]Huzita,H.
,andScimemi,B.
(1989).
TheAlgebraofPaper-Folding.
ProceedingsoftheInternationalMeetingofOrigamiScienceandTechnology.
[Iglesias,1998]Iglesias,C.
(1998).
DefiniciondeunaMetodologiaparaelDesarrollodeSistemasMulti-Agente.
Ph.
D.
Thesis,UniversidadPolitec-nicadeMadrid.
[Iglesiasetal.
,1998a]Iglesias,C.
A.
,Garrijo,M.
,González,J.
(1998a).
ASurveyofAgent-OrientedMethodologies.
AgentTheories,ArchitecturesandLanguages.
[Iglesiasetal.
,1998b]Iglesias,C.
A.
,Garijo,M.
,Gonzales,J.
C.
,andVe-lasco,J.
R.
(1998b).
AnalysisandDesignofMulti-AgentSystemsUsingMAS-CommonKADS.
Singh,M.
P.
,Rao,A.
,andWooldridge,M.
J.
(Eds.
)IntelligentAgentsIV,pages313–326.
Springer-Verlag.
[Inbody,2003]Inbody,D.
(2003).
Swarming:HistoricalObservationsandConclusions.
ProceedingsofSwarming:NetworkEnabledC4ISR,TysonsCorner,VA.
[Intanagonwiwatetal.
,2000]Intanagonwiwat,C.
,Govindan,R.
,Estrin,D.
(2000).
DirectedDiffusion:AScalableandRobustCommunicationParadigmforSensorNetworks.
ProceedingsofMobiCom2000.
[d'InvernoandLuck,1996]d'Inverno,M.
,andLuck,M.
(1996).
AFormalViewofSocialDependenceNetworks.
ProceedingsoftheAustralianWorkshoponDistributedArtificialIntelligence,pages115–129,Springer-Verlag.
[d'Invernoetal.
,2000]d'Inverno,M.
,Hindriks,K.
,andLuck,M.
(2000).
AFormalArchitectureforthe3APLAgentProgrammingLanguage.
Proceed-ingsoftheInternationalConferenceofBandZUsers,pages168–187,Springer-Verlag.
[ITU,1999]InternationalTelecommunicationsUnion(1999).
LanguagesforTelecommunicationApplications,Formaldescriptiontechniques(FDT):MessageSequenceCharts(MSC).
InternationalTelecommunicationsUnion.
[Jacob,2001]Jacob,C.
(2001).
IllustratingEvolutionaryComputationwithMathematica.
MorganKaufmann.
References475[Jacobsonetal.
,1999]Jacobson,I.
,Booch,G.
,andRumbaugh,J.
(1999).
TheUnifiedSoftwareDevelopmentProcess.
Addison-Wesley.
[JengandCheng,1995]Jeng,J-J.
,Cheng,B.
H.
C.
(1995).
SpecificationMatchingforSoftwareReuse:AFoundation.
ProceedingsoftheACMSIG-SOFTSymposiumSoftwareReusability,ACMPress.
[Jennings,2000]Jennings,N.
R.
(2000).
OnAgent-BasedSoftwareEngineer-ing.
ArtificialIntelligence,117(2),pages277–296.
[Jennings,2001]Jennings,N.
R.
(2001).
AnAgent-BasedApproachforBuildingComplexSoftwareSystems.
CommunicationsoftheACM,44(4),pages35–41.
[Jenningsetal.
,1998]Jennings,N.
R.
,Sycara,K.
,andWooldridge,M.
J.
(1998).
ARoadmapofAgentResearchandDevelopment.
AutonomousAgentsandMulti-AgentSystems,1(1).
[Jenningsetal.
,2000]Jennings,N.
R.
,Faratin,P.
,Norman,T.
J.
,O'Brien,P.
,andOdgers,B.
(2000).
AutonomousAgentsforBusinessProcessManage-ment.
InternationalJournalofAppliedArtificialIntelligence,14(2).
[JohanssonandSaffiotti,2001]Johansson,S.
J.
,andSaffiotti,A.
(2001).
Us-ingtheElectricFieldApproachintheRoboCupDomain.
ProceedingsofRoboCup.
[JohnsonandZweig,1991]JohnsonR.
E.
,Zweig,J.
M.
(1991).
DelegationinC++.
TheJournalofObjectOrientedProgramming,4(7),pages31–34.
[Joyceetal.
,1987]Joyce,J.
,Lomow,G.
,Slind,K.
,andUnger,B.
(1987).
MonitoringDistributedSystems.
ACMTransactionsonComputerSystems,5(2),pages121–150.
[Juanetal.
,2002]Juan,T.
,Pierce,A.
,andSterling,L.
(2002).
ROADMAP:ExtendingtheGaiamethodologyforComplexOpenSystems.
ProceedingsoftheACMJointConferenceonAutonomousAgentsandMulti-AgentSystems,pages3–10,ACMPress.
[Judgeetal.
,1998]Judge,D.
W.
,Odgers,B.
R.
,Shepherdson,J.
W.
,andCui,Z.
(1998).
Agent-EnhancedWorkflow.
BTTechnologyJournal,16(3),pages79–85.
[JulianandBotti,2004]Julian,V.
,andBotti,V.
(2004)DevelopingReal-TimeMulti-AgentSystems.
ToappearinIntegratedComputerAidedEngineeringJournal,2004.
476MethodologiesandSoftwareEngineeringforAgentSystems[Kagaletal.
,2001]Kagal,L.
,Finin,T.
,andJoshi,A.
(2001).
MovingfromSecuritytoDistributedTrustinUbiquitousComputingEnvironments.
IEEEComputer,34(12).
[KahnandCicalese,2001]Kahn,M.
L.
,andCicalese,C.
(2001).
CoABSGridScalabilityExperiments.
ProceedingsoftheInternationalWork-shoponInfrastructureforScalableMulti-AgentsystemsatAutonomousAgents,Montreal,CA.
[Kahnetal.
,1999]Kahn,J.
M.
,Katz,R.
H.
,andPister,K.
S.
(1999).
MobileNetworkingforSmartDust.
ProceedingsofMobiCom'99.
[Karamchetietal.
,1996]Karamcheti,V,Plevyak,J.
,andChien,A.
,(1996).
RuntimeMechanismsforEfficientDynamicMultithreading.
JournalofParallelandDistributedComputing,37,pages21–40.
[Kawamuraetal.
,1999]Kawamura,T.
,Yoshioka,N.
,Hasegawa,T.
,Ohsuga,A.
,andHoniden,S.
,(1999).
Bee-gent:BondingandEncapsulationEn-hancementAgentFrameworkforDevelopmentofDistributedSystems.
ProceedingsoftheAsia-PacificSoftwareEngineeringConference.
[Kendall,1998]Kendall,E.
A.
(1998).
AgentRolesandRoleModels:NewAbstractionsforMultiagentSystemAnalysisandDesign.
ProceedingsoftheInternationalWorkshoponIntelligentAgentsinInformationandPro-cessManagement.
[Kendall,2000]Kendall,E.
A.
(2000).
AgentSoftwareEngineeringwithRoleModelling.
ProceedingsoftheWorkshoponAgent-OrientedSoftwareEn-gineering,pages163–169,Springer-Verlag.
[KendallandMalkoun,1996]Kendall,E.
A.
,andMalkoun,M.
T.
(1996).
TheLayeredAgentPatterns.
PatternLanguagesofPrograms(PLoP'96).
[Kendalletal.
,1995]Kendall,E.
A.
,Malkoun,M.
T.
,andJiang,C.
H.
(1995).
AMethodologyforDevelopingAgentBasedSystems.
Zhang,C.
,andLukose,D.
(Eds.
)ProceedingsoftheAustralianWorkshoponDis-tributedArtificialIntelligence.
[Kennedyetal.
,2001]Kennedy,J.
,Eberhart,R.
C.
,andShi,Y.
(2001).
SwarmIntelligence.
MorganKaufmann.
[Kephart,2002]Kephart,J.
(2002).
SoftwareAgentsandtheRoutetotheInformationEconomy.
ProceedingsoftheNationalAcademyofScience,99(3),pages7207–7213.
[Kerretal.
,1998]Kerr,D.
,O'Sullivan,D.
,Evans,R.
,Richardson,R.
,andSomers,F.
,(1998).
ExperiencesusingIntelligentAgentTechnologiesasReferences477aUnifyingApproachtoNetworkandServiceManagement.
ProceedingsofIS&N'98,Antwerp,Belgium.
[Kiczalesetal.
,1991]Kiczales,G.
,desRivières,J.
,andBobrow,D.
G.
(1991).
TheArtoftheMetaobjectProtocol.
TheMITPress.
[Kim,1997]Kim,J.
(1997).
Explanation,Prediction,andReductioninEmer-gentism.
Intellectica–EmergenceandExplanation,2-25.
[KinnyandGeorgeff,1996]Kinny,D.
,andGeorgeff,M.
(1996).
ModellingandDesignofMulti-AgentSystems.
IntelligentAgentsIII,Springer-Verlag.
[Kinnyetal.
,1996]Kinny,D.
,Georgeff,M.
,andRao,A.
(1996).
AMethod-ologyandModellingTechniqueforSystemsofBDIAgents.
vanderVelde,W.
,andPerram,J.
(Eds.
)AgentsBreakingAway,pages56–71.
Springer-Verlag.
[KluschandSycara,2001]Klusch,M.
,andSycara,K.
(2001).
BrokeringandMatchmakingforCoordinationofAgentSocieties:ASurvey.
Omicini,A.
,Zambonelli,F.
,Klusch,M.
,andTolksdorf,R.
(Eds.
)CoordinationofInter-netAgents:Models,Technologies,andApplications,pages197–224.
[KnublauchandRose,2002]Knublauch,H.
H.
,andRose,T.
(2002).
Tool-SupportedProcessAnalysisandDesignfortheDevelopmentofMulti-AgentSystems.
ProceedingsofAOSE2002,Springer-Verlag.
[Kolpetal.
,2001]Kolp,M.
,Giorgini,P.
,andMylopoulos,J.
(2001).
AGoal-BasedOrganizationalPerspectiveonMulti-AgentsArchitectures.
Proceed-ingsoftheInternationalWorkshoponAgentTheories,Architectures,andLanguages,ATAL'01,Seattle,USA.
[KoningandRomero-Hernandez,2002]Koning,J.
-L.
,andRomero-Hernandez,I.
(2002).
GeneratingMachineProcessableRepresentationsofTextualRepresentationsofAUML.
Giunchiglia,F,Odell,J.
,andWeiss,G.
(Eds.
)ProceedingsoftheWorkshoponAgent-OrientedSoftwareEngineering(AOSE).
[KortuemandSegall,2003]Kortuem,G.
,andSegall,Z.
(2003).
WearableCommunities:AugmentingSocialNetworkswithWearableComputers.
IEEEPervasiveComputingMagazine,2(1).
[KouadriMostéfaoui,2003]KouadriMostéfaoui,S.
(2003).
TowardsaContext-OrientedServicesDiscoveryandCompositionFramework.
Pro-ceedingsoftheWorkshoponArtificialIntelligence,InformationAccess,andMobileComputing,Acapulco,Mexico.
478MethodologiesandSoftwareEngineeringforAgentSystems[Kruchten,2000]Kruchten,P.
(2000).
TheRationalUnifiedProcess:AnIn-troduction.
Addison-Wesley.
[Kumar,2002]Kumar,M.
(2002).
ContrastandComparisonofFiveMajorAgentOrientedSoftwareEngineering(AOSE)methodologies.
Availableathttp://students.
jmc.
ksu.
edu/grad/madhukar/www/professional/aosepaper.
pdf.
[Kuutti,1991]Kuutti,K.
(1991).
TheConceptofActivityasaBasicUnitofAnalysisforCSCWResearch.
ProceedingsoftheEuropeanConferenceonComputerSupportedCooperativeWork(ECSCW'91),pages249–264,KluwerAcademicPublishers.
[Kuwabaraetal.
,1996]Kuwabara,K.
,Ishida,T.
,Nishibe,Y.
,andSuda,T.
(1996).
AnEquilibratoryMarket-BasedApproachforDistributedRe-sourceAllocationandItsApplicationstoCommunicationNetworkControl.
Market-BasedControl:AParadigmforDistributedResourceAllocation,pages53–73,WorldScientificPublishing.
[LabrouandFinin,1997]Labrou,Y.
,andFinin,T.
(1997).
AProposalforaNewKQMLSpecification.
TechnicalReportTR-CS-97-03,UniversityofMaryland.
[Labrouetal.
,1999]Labrou,Y.
,Finin,T.
,andPeng,Y.
(1999).
TheCurrentLandscapeofAgentCommunicationLanguages.
IntelligentSystems,14(2),pages45–52.
[Laceyetal.
,2000]Lacey,T.
H.
,andDeLoach,S.
A.
(2000).
AutomaticVer-ificationofMultiagentConversations.
ProceedingsoftheAnnualMid-westArtificialIntelligenceandCognitiveScienceConference,Fayetteville,USA.
[Lairdetal.
,1987]Laird,J.
E.
,Newell,A.
,andRosenbloom,P.
S.
(1987).
SOAR:AnArchitectureforGeneralIntelligence.
ArtificialIntelligence,33(1),pages1–64.
[LangeandOshima,1999]Lange,D.
,andOshima,M.
(1999).
DispatchYourAgents;ShutOffYourMachine.
CommunicationsoftheACM,42(3).
[LavenderandSchmidt,1996]Lavender,G.
,andSchmidt,D.
,(1996).
Ac-tiveObject:AnObjectBehaviouralPatternforConcurrentProgramming.
Vlissides,J.
M.
,Coplien,J.
O.
,andKerth,N.
L.
(Eds.
)PatternLanguagesofProgramDesign,Addison-Wesley.
[Lawleyetal.
,2003]Lawley,R.
,Decker,K.
,Luck,M.
,Payne,T.
,andMoreau,L.
(2003).
AutomatedNegotiationforGridNotificationServices.
References479ProceedingsoftheInternationalEuroparConference(EURO-PAR'03),Springer-Verlag.
[Lawrence,1992]Lawrence,P.
A.
(1992).
TheMakingofaFly:theGeneticsofAnimalDesign.
BlackwellScience.
[Lea,1997]Lea,D.
(1997).
ConcurrentProgramminginJava:DesignPrinci-plesandPatterns.
Addison-Wesley.
[Leontjev,1978]Leontjev,A.
(1978).
Activity,Consciousness,andPersonal-ity.
Prentice-HallInternational.
[Lesperanceetal.
,1999]Lesperance,Y.
,Kelley,T.
G.
,Mylopoulos,J.
,andYu,E.
(1999).
ModelingDynamicDomainswithCongolog.
ProceedingsofCAiSE'99,pages365–380,Springer-Verlag.
[Leyman,2001]Leyman,F.
(2001).
WebServicesFlowLanguage(WSFL).
Technicalreport,IBM.
[Lind,2000]Lind,J.
(2000).
ADevelopmentMethodforMultiagentsystems.
ProceedingsoftheEuropeanMeetingonCyberneticsandSystemsRe-search.
[Lind,2001]Lind,J.
(2001).
IterativeSoftwareEngineeringforMulti-AgentSystems,TheMASSIVEMethod.
Springer-Verlag.
[Loo,2003]Loo,A.
W.
(2003).
TheFutureofPeer-to-PeerComputing.
Com-municationsoftheACM,46(9),pages56–61,ACMPress.
[Lordetal.
,2003]Lord,P.
,Wroe,C.
,Stevens,R.
,Goble,C.
,Miles,S.
,Moreau,L.
,Decker,K.
,Payne,T.
,andPapay,J.
(2003).
SemanticandPersonalisedServiceDiscovery.
Cheung,W.
K.
,andYe,Y.
(Eds.
)Proceed-ingsoftheWorkshoponKnowledgeGridandGridIntelligence(KGGI'03),pages100–107.
[Luckandd'Inverno,1995]Luck,M.
,andd'Inverno,M.
(1995).
AFormalFrameworkforAgencyandAutonomy.
Lesser,V,andGasser,L.
(Eds.
)ProceedingsoftheInternationalConferenceonMulti-AgentSystems(ICMAS-95),pages254–260,AAAIPress.
[Luckandd'Inverno,2001]Luck,M.
,andd'Inverno,M.
(2001).
AConcep-tualFrameworkforAgentDefinitionandDevelopment.
TheComputerJour-nal44(1),pages1–20.
[Lucketal.
,2003]Luck,M.
,McBurney,P.
,andPreist,C.
(2003).
AgentTech-nology:EnablingNextGenerationComputing.
AgentLinkII.
480MethodologiesandSoftwareEngineeringforAgentSystems[Lynch,1996]Lynch,N.
(1996).
DistributedAlgorithms.
MorganKaufmann.
[LyytinenandYoo,2002]Lyytinen,K.
,andYoo,Y.
(2002).
IssuesandChal-lengesinUbiquitousComputing.
CommunicationsoftheACM,45(12).
[Maamaretal.
,2001]Maamar,Z.
,Dorion,E.
,andDaigle,C.
(2001).
To-wardsVirtualMarketplacesforE-Commerce.
CommunicationsoftheACM,44(12).
[Maamaretal.
,2004]Maamar,Z.
,Sheng,Q.
Z.
,andBenatallah,B.
(2004).
OnCompositeWebServicesProvisioninginanEnvironmentofFixedandMobileComputingResources.
InformationTechnologyandManagementJournal,5(3),KluwerAcademicPublishers.
[Machado,2003]Machado,R.
(2003).
SIMSpeak.
Availableathttp://www.
inf.
ufrgs.
br/~bordini/SIM\_Speak.
[MachadoandBordini,2001]Machado,R.
,andBordini,R.
H.
(2001).
Run-ningAgentSpeak(L)AgentsonSIM_AGENT.
Meyer,J.
J.
,andTambe,M.
(Eds.
)IntelligentAgentsVIII,pages158–174.
[Maes,1994]Maes,P.
(1994).
AgentsthatReduceWorkandInformationOverload.
CommunicationsoftheACM,37(7),pages31–40.
[MaloneandCrowston,1994]Malone,T.
,andCrowston,K.
(1994).
TheIn-terdisciplinaryStudyofCoordination.
ACMComputingSurveys,26(1),pages87–119.
[Mameietal.
,2003a]Mamei,M.
,Zambonelli,F.
,andLeonardi,L.
(2003a).
TuplesontheAir:aMiddlewareforContext-AwareComputinginDynamicNetworks.
ProceedingsoftheInternationalICDCSWorkshoponMobileComputingMiddleware.
[Mameietal.
,2003b]Mamei,M.
,Zambonelli,F.
,andLeonardi,L.
(2003b).
DistributedMotionCoordinationwithCo-Fields:ACaseStudyinUrbanTrafficManagement.
ProceedingsoftheIEEESymposiumonAutonomousDecentralizedSystems.
[Mangina,2002]Mangina,E.
(2002).
ReviewofSoftwareProductsforMulti-AgentSystems.
AgentLinkII.
[Mariketal.
,2003]Marik,V.
,Pechoucek,M.
,Vrba,P.
,andHrdonka,V.
,(2003).
FIPAStandardsandHolonicManufacturing.
AgentBasedMan-ufacturing.
Deen,S.
M.
(Ed.
),AdvancesintheHolonicApproach,pages89–121,Springer-Verlag.
References481[Massonetetal.
,2002]Massonet,P.
,Deville,Y.
,andNeve,C.
(2002).
FromAOSEMethodologytoAgentImplementation.
ProceedingsoftheInter-nationalJointConferenceonAutonomousAgentsandMultiagentSystems(AAMAS'02),Bologna,Italy.
[Mathiesonetal.
,2004]Mathieson,I.
,Dance,S.
,Padgham,L.
,Gorman,M.
,andWinikoff,M.
(2004).
AnOpenMeteorologicalAlertingSystem:Is-suesandSolutions.
ProceedingsoftheAustralasianComputerScienceConference,Dunedin,NewZealand.
[MaximilienandSingh,2002]Maximilien,E.
M.
,andSingh,M.
P.
(2002).
ReputationandEndorsementforWebServices.
ACMSIGEcomExchanges,3(1),pages24–31.
[McCabeandClark,1995]McCabe,F.
G.
,andClark,K.
L.
(1995).
April–AgentPRocessInteractionLanguage.
Wooldridge,M.
J.
,andJennings,N.
(Eds.
)IntelligentAgents,Springer-Verlag.
[McCarthy,1978]McCarthy,J.
(1978).
HistoryofLISP.
TheACMSIG-PLANConferenceonHistoryofProgrammingLanguages,pages217–223.
[McCarthyandHayes,1981]McCarthy,J.
,andHayes,P.
J.
(1981).
SomePhilosophicalProblemsfromtheStandpointofArtificialIntelligence.
Web-ber,B.
L.
andNilsson,N.
J.
(Eds.
)ReadingsinArtificialIntelligence,pages431–450.
MorganKaufmann.
[McIlraithandMartin,2003]McIlraith,S.
,andMartin,D.
(2003).
BringingSemanticstoWebServices.
IEEEIntelligentSystems,18(1),pages90–93.
[MedvidovicandTaylor,1997]Medvidovic,N.
,andTaylor,R.
N.
(1997).
AFrameworkforClassifyingandComparingArchitectureDescriptionLan-guages.
ProceedingsoftheACMSIGSOFTInternationalSymposiumonFoundationsofSoftwareEngineering,pages60–76,Springer-Verlag.
[Melingetal.
,2001]Meling,H.
,Montresor,A.
,andBabaoglu,O.
(2001).
Peer-to-PeerDocumentSharingusingtheAntParadigm.
ProceedingsoftheNorskInformatikkonferanse(NIK).
[MendezandTolksdorf,2003]Mendez,R.
,andTolksdorfR.
(2003).
ANewApproachtoScalableLinda-SystemsBasedonSwarms.
ProceedingsofACMSAC'03.
[Messeretal.
,2002]Messer,A.
,Greeberg,I.
,Bernadat,P.
,andMilojicic,D.
(2002).
TowardsaDistributedPlatformforResource-ConstrainedDevices.
ProceedingsoftheIEEEInternationalConferenceonDistributedComputingSystems(ICDCS'2002),Vienna,Austria.
482MethodologiesandSoftwareEngineeringforAgentSystems[Meyer,1992]Meyer,B.
(1992).
ApplyingDesignbyContract.
IEEECom-puter,25(10),pages40–51.
[Meyer,1997]Meyer,B.
(1997).
Object-OrientedSoftwareConstruction.
Prentice-HallInternational.
[Milesetal.
,2000]Miles,S.
,Joy,M.
,andLuck,M.
(2000).
DesigningAgent-OrientedSystemsbyAnalysingAgentInteractions.
Ciancarini,P.
,andWooldridge,M.
J.
(Eds.
)ProceedingsofAgent-OrientedSoftwareEngi-neering2000(AOSE2000),pages171–184.
[Milesetal.
,2003]Miles,S.
,Papay,J.
,Dialani,V.
,Luck,M.
,Decker,K.
,Payne,T.
,andMoreau,L.
(2003).
PersonalisedGridServiceDiscovery.
IEEProceedingsofSoftware:SpecialIssueonPerformanceEngineering,150(4),pages252–256.
[Milleretal.
,1996]Miller,M.
S.
,Krieger,D.
,Hardy,N.
,Hibbert,C.
,andTribble,D.
E.
(1996).
AnAutomatedAuctioninATMNetworkBandwidth.
Market-BasedControl.
AParadigmforDistributedResourceAllocation,pages96–125.
[Milojicicetal.
,1998]Milojicic,D.
,Breugst,M.
,Busse,I.
,Campbell,J.
,Co-vaci,S.
,Friedman,B.
,Kosaka,K.
,Lange,D.
,Ono,K.
,Oshima,M.
,Tham,C.
,Virdhagriswaran,S.
,andWhiteJ.
(1998).
MASIF–TheOMGMobileAgentSystemInteroperabilityFacility.
RothermelK.
,andHohl,F.
(Eds.
)ProceedingsoftheInternationalWorkshopMobileAgents,pages50–67,Springer-Verlag.
[Mintzberg,1992]Mintzberg,H.
(1992).
StructureinFives:DesigningEffec-tiveOrganizations.
Prentice-HallInternational.
[Morabitoetal.
,1999]Morabito,J.
,Sack,I.
,andBhate,A.
(1999).
Organiza-tionModeling:InnovativeArchitecturesfortheCentury.
Prentice-HallInternational.
[Moraitisetal.
,2002]Moraitis,P.
,Petraki,E.
,andSpanoudakis,N.
I.
(2002).
EngineeringJADEAgentswiththeGaiaMethodology.
ProceedingsoftheInternationalWorkshoponAgentsandSoftwareEngineering.
[Moreau,2002]Moreau,L.
(2002).
AgentsfortheGrid:AComparisonwithWebServices(Part1:TheTransportLayer).
Bal,H.
E.
,Lohr,K.
-P.
,andReinefeld,A.
(Eds.
)ProceedingsoftheIEEE/ACMInternationalSym-posiumonClusterComputingandtheGrid(CCGRID2002),pages220–228,Berlin,Germany.
[Moreauetal.
,2003]Moreau,L.
,Miles,S.
,Goble,C.
,Greenwood,M.
,Di-alani,V.
,Addis,M.
,Alpdemir,N.
,Cawley,R.
,DeRoure,D.
,Ferris,J.
,References483Gaizauskas,R.
,Glover,K.
,Greenhalgh,C.
,Li,P.
,Liu,X.
,Lord,P.
,Luck,M.
,Marvin,D.
,Oinn,T.
,Paton,N.
,Pettifer,S.
,Radenkovic,M.
V.
,Roberts,A.
,Robinson,A.
,Rodden,T.
,Senger,M.
,Sharman,N.
,Stevens,R.
,War-boys,B.
,Wipat,A.
,andWroe,C.
(2003).
OntheUseofAgentsinaBioIn-formaticsGrid.
ProceedingsoftheThirdIEEE/ACMCCGRID'2003Work-shoponAgentBasedClusterandGridComputing,pages653–661,Tokyo,Japan.
[Moss,2000]Moss,S.
(2000).
EditorialIntroduction:MessySystems–TheTargetforMultiAgentBasedSimulation,Springer-Verlag.
[MoulinandChaib-draa,1996]Moulin,B.
,andChaib-draa,B.
(1996).
AnOverviewofDistributedArtificialIntelligence.
FoundationsofDistributedArtificialIntelligence,JohnWiley&Sons.
[Muller,1996]Muller,J.
P.
(1996).
TheDesignofIntelligentAgents:ALay-eredApproach,Springer-Verlag.
[Muller,2003]Muller,J.
P.
(2003).
TheRightAgent(Architecture)todotheRightThing.
IntelligentAgentsV,pages105–112,Springer-Verlag.
[MullerandPischel,1994]Muller,J.
,andPischel,M.
(1994).
ModellingRe-activeBehaviourinVerticallyLayeredAgentArchitectures.
Cohen,A.
G.
(Ed.
)EuropeanConferenceonArtificialIntelligence(ECAI'94),pages709–713.
[MylopoulosandCastro,2000]Mylopoulos,J.
,andCastro,J.
(2000).
Tro-pos:AFrameworkforRequirements-DrivenSoftwareDevelopment.
Pro-ceedingsofConferenceonAdvancedInformationSystemsEngineering(CAISE).
[Nakajimaetal.
,2003]Nakajima,T.
,Awa,I.
,andTokunaga,E.
(2003).
AProactiveMiddlewarePlatformforMobileComputing.
ProceedingsoftheACMInternationalMiddlewareConference(Middleware'2003),RiodeJaneiro,Brazil.
[Nagpal,2001]Nagpal,2001.
ProgrammableSelf-Assembly:ConstructingGlobalShapeusingBiologically-InspiredLocalInteractionsandOrigamiMathematics.
Ph.
D.
Thesis,MIT,2001.
[Nagpal,2002]Nagpal,R.
(2002).
ProgrammableSelf-AssemblyUsingBiologically-InspiredMultiagentControl.
ProceedingsoftheConferenceonAutonomousAgentsandMultiagentSystems(AAMAS).
[NagpalandCoore,1998]Nagpal,R.
,andCoore,D.
(1998).
AnAlgorithmforGroupFormationinanAmorphousComputer.
ProceedingsoftheIn-484MethodologiesandSoftwareEngineeringforAgentSystemsternationalConferenceonParallelandDistributedComputingandSystems(PDCS).
[Nagpaletal.
,2003]Nagpal,R.
,Shrobe,H.
,andBachrach,J.
(2003).
Orga-nizingaGlobalCoordinateSystemfromLocalInformationonanAdHocSensorNetwork.
ProceedingsoftheInternationalWorkshoponInfor-mationProcessinginSensorNetworks(IPSN).
[Ndumuetal.
,1999]Ndumu,D.
T.
,Nwana,H.
S.
,Lee,L.
C.
,andCollis,J.
C.
(1999).
VisualisingandDebuggingDistributedMulti-AgentSystems.
Pro-ceedingsoftheAnnualConferenceonAutonomousAgents,pages326–333,ACMPress.
[Neufeld,1980]Neufeld,E.
(1980).
InsectsasWarfareAgentsintheAncientNearEast.
Orientalia,49(1),pages30–57.
[Newell,1982]Newell,A.
(1982).
TheKnowledgeLevel.
ArtificialIntelli-gence,7(18),pages87–127.
[Newell,1993]Newell,A.
(1993).
ReflectionsontheKnowledgeLevel.
Ar-tificialIntelligence,59,pages31–38.
[Nilsson,1971]Nilsson,N.
(1971).
ProblemSolvingMethodsinArtificialIntelligence.
McGrawHill.
[NoriegaandSierra,1999]Noriega,P.
,andSierra,C.
(1999).
AuctionsandMulti-agentSystems.
Klusch,M.
(Ed.
)InformationAgents,pages153–175,Springer-Verlag.
[NoriegaandSierra,2002]Noriega,P.
,andSierra,C.
(2002).
ElectronicIn-stitutions:FutureTrendsandChallenges.
Klusch,M.
,Ossowski,S.
,andShehory,O.
(Eds.
)CooperativeInformationAgentsVI,Springer-Verlag.
[NuseibehandEasterbrook,2000]Nuseibeh,B.
A.
,andEasterbrook,S.
M.
(2000).
RequirementsEngineering:ARoadmap.
ProceedingsoftheInternationalConferenceonSoftwareEngineering(ICSE'00),pages35–46.
[Nutt,1996]Nutt,G.
(1996).
TheEvolutionTowardFlexibleWorkflowSys-tems.
DistributedSystemsEngineering,3(4),pages276–294.
[Nwana,1996]Nwana,H.
S.
(1996).
SoftwareAgents:AnOverview.
TheKnowledgeEngineeringReview,11(3),pages205–244.
[NwanaandNdumu,1999]Nwana,H.
S.
,andNdumu,D.
T.
(1999).
APer-spectiveonSoftwareAgentsResearch.
TheKnowledgeEngineeringRe-view,14(2),pages1–18.
References485[Nwanaetal.
,1999]Nwana,H.
S.
,Ndumu,D.
T.
,Lee,L.
C.
,andCollis,J.
C.
(1999).
Zeus:AToolkitforBuildingDistributedMulti-agentSystems.
Ap-pliedArtificialIntelligenceJournal,1(13),pages129–185.
[OaksandWong,2000]Oaks,S.
,andWong,H.
(2000).
JiniinaNutshell.
O'Reilly.
[Obreiteretal.
,2003]Obreiter,P.
,Konig-Ries,B.
,andKlein,M.
(2003).
StimulatingCooperativeBehaviorofAutonomousDevices–AnAnaly-sisofRequirementsandExistingApproaches.
TechnicalReport2003-1,UniversityofKarlsruhe.
[Odell,2002]Odell,J.
(2002).
ObjectsandAgentsCompared.
JournalofObjectComputing,1:1.
[Odelletal.
,2000]Odell,J.
,Parunak,V.
H.
,andBauer,B.
(2000).
ExtendingUMLforAgents.
ProceedingsoftheAgentOrientedInformationSystems(AOIS)Workshop.
[Odelletal.
,2001]Odell,J.
,Parunak,V.
H.
,andBauer,B.
(2001).
Represent-ingAgentInteractionProtocolsinUML.
Ciancarini,P.
,andWooldridge,M.
J.
(Eds.
)ProceedingsoftheFirstInternationalWorkshoponAgentOri-entedSoftwareEngineering(AOSE-2000),pages121–140,Springer-Verlag.
[OMG,1999]ObjectManagementGroup(1999).
MobileAgentSystemIn-teroperabilityFacility(MASIF).
Availableathttp://www.
fokus.
gmd.
de/research/cc/ecco/masif.
[OMG,2000a]ObjectManagementGroup(2000a).
CORBA2.
4.
2Specifica-tion.
Availableathttp://www.
omg.
org.
[OMG,2000b]ObjectManagementGroup(2000b).
MetaObjectFacility(MOF).
Availableathttp://www.
omg.
org.
[OMG,2000c]ObjectManagementGroup(2000c).
UnifiedModelingLan-guageSpecification.
Version1.
3.
Availableathttp://www.
omg.
org.
[OMG,2001]ObjectManagementGroup(2001).
ModelDrivenArchitecture(MDA).
Technicalreport,OMG.
[OMG,2002]ObjectManagementGroup(2002).
SoftwareProcessEn-gineeringMetamodel.
Version1.
0.
Availableathttp://www.
omg.
org/technology/documents/formal/spem.
htm.
[OMG,2003a]ObjectManagementGroup(2003a).
XMLMetadataInter-change–Version1.
1.
Availableathttp://www.
omg.
org.
486MethodologiesandSoftwareEngineeringforAgentSystems[OMG,2003b]ObjectManagementGroup(2003b).
UnifiedModelingLan-guage:Superstructure–Version2.
0.
Availableathttp://www.
omg.
org.
[OMG,2003c]ObjectManagementGroup(2003c).
ResponsetotheUML2.
0OCLRfP.
Availableathttp://www.
omg.
org.
[Omicini,2001]Omicini,A.
(2001).
SODA:SocietiesandInfrastructuresintheAnalysisandDesignofAgent-BasedSystems.
Ciancarini,P.
,andWooldridge,M.
J.
(Eds.
)Agent-OrientedSoftwareEngineering,pages185–193.
Springer-Verlag.
[Omicini,2002]Omicini,A.
(2002).
TowardsaNotionofAgentCoordinationContext.
Marinescu,D.
C.
,andLee,C.
(Eds.
)ProcessCoordinationandUbiquitousComputing,pages187–200.
CRCPress.
[OmiciniandDenti,2001]Omicini,A.
,andDenti,E.
(2001).
FromTupleSpacestoTupleCentres.
ScienceofComputerProgramming,41(3),pages277–294.
[OmiciniandOssowski,2003]Omicini,A.
,andOssowski,S.
(2003).
Objec-tiveversusSubjectiveCoordinationintheEngineeringofAgentSystems.
Klusch,M.
,Bergamaschi,S.
,Edwards,P.
,andPetta,P.
(Eds.
)IntelligentInformationAgents:AnAgentLinkPerspective,pages179–202,Springer-Verlag.
[OmiciniandRicci,2003]Omicini,A.
,andRicci,A.
(2003).
ReasoningaboutOrganisation:ShapingtheInfrastructure.
AI*IANotizie,XVI(2),pages7–16.
[OmiciniandZambonelli,1999]Omicini,A.
,andZambonelli,F.
(1999).
Co-ordinationforInternetApplicationDevelopment.
InternationalJournalonAutonomousAgentsandMulti-AgentSystems,2(3),pages251–269.
[Omicinietal.
,2003]Omicini,A.
,Ricci,A.
,andViroli,M.
(2003).
FormalSpecificationandEnactmentofSecurityPoliciesthroughAgentCoordi-nationContexts.
Focardi,R.
,andZavattaro,G.
(Eds.
)SecurityIssuesinCoordinationModels,LanguagesandSystems,ElsevierScience.
[Ossowski,1999]Ossowski,S.
(1999).
CoordinationinArtificialAgentSoci-eties–SocialStructureandItsImplicationsforAutonomusProblem-solvingAgents,Springer-Verlag.
[OssowskiandOmicini,2002]Ossowski,S.
,andOmicini,A.
(2002).
Coordi-nationKnowledgeEngineering.
TheKnowledgeEngineeringReview,17(4),pages309–316.
References487[Ossowskietal.
,2002]Ossowski,S.
,Hernández,J.
Z.
,Iglesias,C.
A.
,andFernández,A.
(2002).
EngineeringAgentSystemsforDecisionSupport.
Petta,P.
,Tolksdorf,R.
,andZambonelli,F.
(Eds.
)EngineeringSocietiesinanAgentWorldIII.
Springer-Verlag.
[Ottetal.
,1990]Ott,E.
,Grebogi,C.
,andYorke,J.
A.
(1990).
ControllingChaos.
PhysicalReviewLetters,64(11),pages1196–1199.
[PadghamandWinikoff,2002]Padgham,L.
,andWinikoff,M.
(2002).
Prometheus:APragmaticMethodologyforEngineeringIntelligentAgents.
ProceedingsoftheWorkshoponAgent-OrientedMethodologies,pages97–108.
[Paoluccietal.
,2002]Paolucci,M.
,Kawamura,T.
,Payne,T.
R.
,andSycara,K.
(2002).
ImportingtheSemanticWebinUDDI.
ProceedingsoftheWork-shoponWebServices,E-BusinessandSemanticWeb.
[PapadopoulosandArbab,1998]Papadopoulos,G.
A.
,andArbab,F.
(1998).
CoordinationModelsandLanguages.
TheEngineeringofLargeSystems,46.
[PapasimeonandHeinze,2001]Papasimeon,M.
,andHeinze,C.
(2001).
Ex-tendingtheUMLforDesigningJACKAgents.
ProceedingsoftheAus-tralianSoftwareEngineeringConference(ASWEC01).
[Parunak,1990]Parunak,H.
V.
D.
(1990).
DistributedAIandManufacturingControl:SomeIssuesandInsights.
Demazeau,Y.
,andMuller,J.
-P.
(Eds.
)DecentralizedAI,pages81–104.
[Parunak,1997]Parunak,H.
V.
D.
(1997).
GototheAnt:EngineeringPrin-ciplesfromNaturalAgentSystems.
AnnalsofOperationsResearch,75,pages69–101.
[ParunakandBrueckner,2001]Parunak,H.
V.
D.
,andBrueckner,S.
(2001).
EntropyandSelf-OrganizationinMulti-AgentSystems.
ProceedingsoftheInternationalConferenceonAutonomousAgents(Agents2001),pages124–130,ACMPress.
[ParunakandBrueckner,2003]Parunak,H.
V.
D.
,andBrueckner,S.
(2003).
SwarmingCoordinationofMultipleUAV'sforCollaborativeSensing.
Pro-ceedingsofAIAA"UnmannedUnlimited"Systems,Technologies,andOperationsConference,SanDiego,USA.
[ParunakandOdell,2001]Parunak,H.
V.
D.
,andOdell,J.
(2001).
Repre-sentingSocialStructuresinUML.
ProceedingsoftheInternationalConferenceonAutonomousAgents,pages100–101.
ACMPress.
488MethodologiesandSoftwareEngineeringforAgentSystems[ParunakandVanderbok,1997]Parunak,H.
V.
D.
,andVanderbok,R.
S.
(1997).
ManagingEmergentBehaviorinDistributedControlSystems.
Pro-ceedingsofISA-Tech'97.
[Parunaketal.
,1998a]Parunak,H.
V.
D.
,Savit,R.
,andRioloR.
L.
(1998).
Agent-BasedModelingvs.
Equation-BasedModeling:ACaseStudyandUsers'Guide.
ProceedingsoftheWorkshoponModelingAgentBasedSys-tems,pages1–15.
[Parunaketal.
,1998b]Parunak,H.
V.
D.
,Sauter,J.
,andClask,S.
(1998).
TowardtheSpecificationandDesignofIndustrialSyntheticEcosystems.
Singh,M.
,Rao,A.
,andWooldridge,M.
J.
(Eds.
)AgentTheories,Architec-tures,andLanguages(ATAL),pp.
45–59,Springer-Verlag.
[Parunaketal.
,2000]Parunak,H.
V.
D.
,Brueckener,S.
A.
,Sauter,J.
,andMatthews,R.
(2000).
DistinguishingEnvironmentalPropertiesandAgentDynamics:ACaseStudyinAbstractionandAlternateModellingTechnolo-gies.
Omicini,A.
,Tolksdorf,R.
,andZambonelli,F.
(Eds.
)EngineeringSocietiesintheAgents'Eorld(ESAW),pp.
19–33,Springer-Verlag.
[Parunaketal.
,2002a]Parunak,H.
V.
D.
,Brueckner,S.
A.
,andSauter,J.
(2002a).
DigitalPheromoneMechanismsforCoordinationofUnmannedVehicles.
ProceedingsofInternationalConferenceonAutonomousAgentsandMulti-AgentSystems(AAMAS2002),pages449–450.
[Parunaketal.
,2002b]Parunak,H.
V.
D.
,Purcell,M.
,andO'Connell,R.
(2002b).
DigitalPheromonesforAutonomousCoordinationofSwarmingUAV's.
ProceedingsofAIAA"UnmannedAerospaceVehicles"Systems,Technologies,andOperationsConference,Norfolk,VA.
[PasquierandChaib-draa,2003]Pasquier,P.
,andChaib-draa,B.
(2003).
TheCognitiveApproachforAgentCommunicationPragmatics.
ProceedingsoftheInternationalJointConferenceonAutonomousAgentsandMultia-gentSystems,pages544–551,ACMPress.
[Patiletal.
,1992]Patil,R.
S.
,Fikes,R.
E.
,Patel-Scheneider,P.
F.
,McKay,D.
,Finin,T.
,Gruber,T.
,andNeches,R.
(1992).
TheDARPAKnowledgeSharingEffort:ProgressReport.
ProceedingsoftheConferenceonPrin-ciplesofKnowledgeRepresentationandReasoning,pages103–114.
Cam-bridge,USA.
[PavónandGómez-Sanz,2003]Pavón,J.
,andGómez-Sanz,J.
(2003).
AgentOrientedSoftwareEngineeringwithINGENIAS.
Multi-AgentSystemsandApplicationsIII,pages394–403,Springer-Verlag.
References489[Paytonetal.
,2002]Payton,D.
,Estkowski,E.
,andHoward,R.
(2002).
ProgressinPheromoneRobotics.
ProceedingsoftheInternationalCon-ferenceonIntelligentAutonomousSystems.
[Pister,2001]Pister,K.
(2001).
SmartDust:AutonomousSensingandCom-municationinaCubicMillimeter.
Availableathttp://robotics.
eecs.
berkeley.
edu/~pister/SmartDust.
[PloschandPichler,1999]Plosch,R.
,andPichler,J.
(1999).
Contracts:FromAnalysistoC++Implementation.
IEEEComputer,pages248–257.
[Poor,2001]Poor,R.
D.
(2001).
EmbeddedNetworks:Pervasive,Low-Power,WirelessConnectivity.
Ph.
D.
Thesis,MIT.
[Popovicietal.
,2003]Popovici,A.
,Frei,A.
,andAlonso,G.
(2003).
AProac-tiveMiddlewarePlatformforMobileComputing.
ProceedingsoftheInternationalMiddlewareConference(Middleware'2003),RiodeJaneiro,Brazil.
[Posladetal.
,2000]Poslad,S.
,Buckle,P.
,andHadingham,R.
(2000).
TheFIPA-OSAgentPlatform:OpenSourceforOpenStandards.
Availableathttp://fipa-os.
sourceforge.
net.
[Poutakidisetal.
,2002]Poutakidis,D.
,Padgham,L.
,andWinikoff,M.
(2002).
DebuggingMulti-AgentSystemsusingDesignArtifacts:TheCaseofInteractionProtocols.
ProceedingsoftheInternationalJointConfer-enceonAutonomousAgentsandMultiagentSystems,pages960–967,ACMPress.
[Poutakidisetal.
,2003]Poutakidis,D.
,Padgham,L.
,andWinikoff,M.
(2003).
AnExplorationofBugsandDebugginginMulti-AgentSystems.
ProceedingsoftheInternationalSymposiumonMethodologiesforIn-telligentSystems(ISMIS),MaebashiCity,Japan.
[Prattetal.
,1999]Pratt,D.
R.
,RagusaL.
C.
,andvonderLippe,S.
(1999).
ComposabilityasanArchitetureDriver.
ProceedingsoftheInternationalConferenceonInterservice/IndustryTraining,SimulationandEducation,Orlando,Florida.
[Pree,1995]Pree,W.
(1995).
State-of-the-ArtDesignPatternApproaches:AnOverview.
ProceedingsofTechnologyofObject-OrientedLanguagesandSystems(TOOLS'95).
[Pressman,1982]Pressman,R.
S.
(1982).
SoftwareEngineering:APracti-tioner'sApproach.
McGraw-Hill.
490MethodologiesandSoftwareEngineeringforAgentSystems[Priyanthaetal.
,2000]Priyantha,N.
B.
,Chakraborty,A.
,andBalakrishnan,H.
(2000).
TheCricketLocation-SupportSystem.
ProceedingsofMobiCom2000.
[Purvisetal.
,2002]Purvis,M.
,Cranefield,S.
,Nowostawski,M.
,Ward,R.
,Carter,D.
,andOliveira,M.
A.
,(2002).
AgentcitiesInteractionUsingtheOpalPlatform.
ProceedingsofAgentcities:ResearchinLarge-ScaleOpenAgentsEnvironments.
[RalphandShephard,2001]Ralph,D.
,andShephard,C.
G.
(2001).
ServicesviaMobilityPortals.
BTTechnologyJournal,19(1).
[RanaandMoreau,2000]Rana,O.
F.
,andMoreau,L.
(2000).
IssuesinBuild-ingAgentbasedComputationalGrids.
ThirdWorkshopoftheUKSpecialInterestGrouponMulti-AgentSystems(UKMAS'2000),Oxford,UK.
[RanaandWalker,2000]Rana,O.
F.
,andWalker,D.
W.
(2000).
TheAgentGrid':Agent-BasedResourceIntegrationinPSEs.
ProceedingsoftheIMACSWorldCongressonScientificComputation,AppliedMathematicsandSimulation,Lausanne,Switzerland.
[Rao,1996]Rao,A.
S.
(1996).
AgentSpeak(L):BDIAgentsSpeakoutinaLogicalComputableLanguage,vanderVelde,W,andPerram,J.
(Eds.
)ProceedingsoftheEuropeanWorkshoponModellingAutonomousAgentsinaMulti-AgentWorld(MAAMAW-96),pages42–55,Springer-Verlag.
[RaoandGeorgeff,1991]Rao,A.
S.
,andGeorgeff,M.
P.
(1991).
ModelingRationalAgentswithinaBDI-Architecture.
Allen,J.
,Fikes,R.
,andSande-wall,E.
(Eds.
)ProceedingsoftheInternationalConferenceonPrinci-plesofKnowledgeRepresentationandReasoning(KR'91),pages473–484,MorganKaufmann.
[Ratsimoretal.
,2002]Ratsimor,O.
,Chakraborty,D.
,Tolia,S.
,Kushraj,D.
,Kunjithapatham,A.
,Gupta,G.
,Joshi,A.
,andFinin,T.
(2002).
Allia:Alliance-basedServiceDiscoveryforAd-HocEnvironments.
ProceedingsoftheACMWorkshoponMobileCommerce,Atlanta,USA.
[RichandKnight,1990]Rich,E.
,andKnight,K.
(1990).
ArtificialIntelli-gence.
McGraw-Hill.
[Riccietal.
,2002]Ricci,A.
,Omicini,A.
,andDenti,E.
(2002).
VirtualEnter-prisesandWorkflowManagementasAgentCoordinationIssues.
Interna-tionalJournalofCooperativeInformationSystems,11(3/4),pages355–379.
[Riccietal.
,2003]Ricci,A.
,Omicini,A.
,andDenti,E.
(2003).
ActivityThe-oryasaFrameworkforMASCoordination.
Petta,P.
,Tolksdorf,R.
,andReferences491Zambonelli,F.
(Eds.
)EngineeringSocietiesintheAgentsWorldIII,pages96–110.
Springer-Verlag.
[RicordelandDemazeau,2000]Ricordel,P.
-M.
,andDemazeau,Y.
(2000).
FromAnalysistoDeployment:AMulti-agentPlatformSurvey.
WorkingNotesoftheFirstInternationalWorkshoponEngineeringSocietiesintheAgents'World(ESAW-00),pages93–105.
[Rodríguezetal.
,1998]Rodríguez,J.
A.
,Martin,F.
J.
,Noriega,P.
,Garcia,P.
,andSierra,C.
(1998).
TowardsaTest-BedforTradingAgentsinElectronicAuctionMarkets.
AICommunications,11(1),pages5–19.
[Roli,2002]Roli,F.
,andZambonelli,A.
(2002).
EmergentBehaviorsinDis-sipativeCellularAutomata.
ProceedingsoftheInternationalConfer-enceonCellularAutomataforResearchandIndustry(ACRI2002),Geneva,Italy.
[RosenscheinandKaelbling,1995]Rosenschein,S.
J.
,andKaelbling,L.
P.
(1995).
ASituatedViewofRepresentationandControl.
ArtificialIntel-ligence,73(1–2),pages149–173.
[RoyalSocietyofLondon,2003]RoyalSocietyofLondon(2003).
Self-Organization:TheQuestfortheOriginandEvolutionofStructure.
Philo-sophicalTransactionsoftheRoyalSocietyofLondon.
[RussellandNorvig,1995]Russell,S.
,andNorvig,P.
(1995).
ArtificialIntel-ligence:AModernApproach.
Prentice-HallInternational.
[RuthandHannon,1997]Ruth,M.
,andHannon,B.
(1997).
ModellingDy-namicEconomicSystems.
Springer-Verlag.
[SadriandToni,1999]Sadri,F.
,andToni,F.
(1999).
ComputationalLogicandMultiagentSystems:ARoadmap.
Technicalreport,DFKI.
[Saeki,1994]Saeki,M.
(1994).
SoftwareSpecification&DesignMethodsandMethodEngineering.
InternationalJournalofSoftwareEngineeringandKnowledgeEngineering.
[SahaandMukherjee,2003]Saha,D.
,andMukherjee,A.
(2003).
PervasiveComputing:AParadigmfortheCentury.
IEEEComputer,36(3).
[Sandhuetal.
,1996]Sandhu,R.
S.
,Coyne,E.
J.
,Feinstein,H.
L.
,andYouman,C.
E.
(1996).
Role-BasedAccessControlModels.
IEEECom-puter,29(2),pages38–47.
[Sashimaetal.
,2002]Sashima,A.
,Kurumatani,K.
,andIzumi,N.
(2002).
Physically-GroundingAgentsinUbiquitousComputing.
ProceedingsofJointAgentWorkshop(JAWS'2002),Connecticut,USA.
492MethodologiesandSoftwareEngineeringforAgentSystems[Satyanarayanan,2001]Satyanarayanan,M.
(2001).
PervasiveComputing:VisionandChallenges.
IEEEPersonalCommunications,8(4).
[Sauteretal.
,2002]Sauter,J.
A.
,Matthews,R.
,Parunak,H.
V.
D.
,andBrueckner,S.
(2002).
EvolvingAdaptivePheromonePathPlanningMech-anisms.
ProceedingsofAutonomousAgentsandMultiagentSystems,pages434–440.
[SchmidtandBeigl,1998]Schmidt,A.
,andBeigl,M.
(1998).
NewChal-lengesofUbiquitousComputingandAugmentedReality.
ProceedingsoftheCaberNetRadicalsWorkshop,Porto,Portugal.
[SchmidtandSimone,1996]Schmidt,K.
,andSimone,C.
(1996).
Coordi-nationMechanisms:TowardsaConceptualFoundationofCSCWSystemsDesign.
ComputerSupportedCooperativeWork(CSCW),5(2–3),pages155–200.
[SchmidtandSimone,2000]Schmidt,K.
,andSimone,C.
(2000).
MindtheGap!
TowardsaUnifiedViewofCSCW.
Dieng,R.
,Giboin,A.
,Karsenty,L.
,anddeMichelis,G.
(Eds.
)DesigningCooperativeSystems:TheUseofTheoriesandModels,pages205–221.
[Schumacher,2001]Schumacher,M.
(2001).
ObjectiveCoordinationinMulti-AgentSystemEngineering–DesignandImplementation,Springer-Verlag.
[SchweitzerandZimmermann,2001]Schweitzer,F.
,andZimmermann,J.
(2001).
CommunicationandSelf-OrganizationinComplexSystems:ABa-sicApproach.
Fischer,M.
M.
,andFrhlich,J.
(Eds.
)Knowledge,Complex-ityandInnovationSystems,pages275–296.
Springer-Verlag.
[Scott,1998]Scott,W.
R.
(1998).
Organizations:Rational,Natural,andOpenSystems.
Prentice-HallInternational.
[Searle,1969]Searle,J.
(1969).
SpeechActs:AnEssayinthePhilosophyofLanguage.
CambridgeUniversityPress.
[SelfandDeLoach,2003]Self,A.
,andDeLoach,S.
A.
(2003).
DesigningandSpecifyingMobilitywithintheMultiagentSystemsEngineeringMethodol-ogy.
ProceedingsoftheACMSymposiumonAppliedComputing.
[SenandWeiss,1999]Sen,S.
,andWeiss,G.
(1999).
LearninginMultiagentSystems.
Weiss,G.
(Ed.
)MultiagentSystems,pages259–299,TheMITPress.
References493[ServatandDrogoul,2002]Servat,D.
,andDrogoul,A.
(2002).
CombiningAmorphousComputingandReactiveAgent-BasedSystems:AParadigmforPervasiveIntelligenceProceedingsofAAMAS'02,ACMPress.
[Shaikhalietal.
,2003]Shaikhali,A.
,Rana,O.
F,Al-Ali,R.
,andWalker,D.
W.
(2003).
UDDIe:AnExtendedRegistryforWebServices.
Proceed-ingsoftheWorkshoponServiceOrientedComputing:Models,Architec-turesandApplications.
IEEEComputerSocietyPress.
[Shalizi,2001]Shalizi,C.
R.
(2001).
CausalArchitecture,ComplexityandSelf-OrganizationinTimeSeriesandCellularAutomata.
Ph.
D.
Thesis,Uni-versityofWisconsin.
[ShawandGarlan,1996]Shaw,M.
,andGarlan,D.
(1996).
SoftwareArchitec-ture:PerspectivesonanEmergingDiscipline.
Prentice-HallInternational.
[ShehoryandSturm,2001]Shehory,O.
,andSturm,A.
(2001).
EvaluationofModelingTechniquesforAgent-BasedSystems.
ProceedingsoftheInternationalConferenceonAutonomousAgents,pages624–631.
ACMPress.
[ShenandNome,1999]Shen,W.
,andNorrie,D.
(1999).
Agent-BasedSys-temsforIntelligentManufacturing:AStateoftheArtSurvey.
InternationalJournalonKnowledgeandInformationSystems,1(2),pages129–156.
[Shenetal.
,2002]Shen,W.
M.
,Salemi,M.
,andWill,P.
(2002).
Hormone-InspiredAdaptiveCommunicationandDistributedControlforCONROSelf-ReconfigurableRobots.
IEEETransactionsonRoboticsandAutoma-tion18(5),pages1-12.
[Shoham,1991]Shoham,Y.
(1991).
Agent0:AnAgent-OrientedProgram-mingLanguageanditsInterpreter.
ProceedingsofAAAI-91,pages704–709.
[Shoham,1993]Shoham,Y.
(1993).
Agent-OrientedProgramming.
ArtificialIntelligence,60(1),pages51–92.
[ShohamandTennenholtz,1995]Shoham,Y.
,andTennenholtz,M.
(1995).
OnSocialLawsforArtificialAgentSocieties:Off-LineDesign.
ArtificialIntelligence,73(1–2),pages231–252.
[Sichman,1998]Sichman,J.
S.
(1998).
Depint:Dependence-BasedCoalitionFormationinanOpenMulti-AgentScenario.
JournalofArtificialSocietiesandSocialSimulation,1(2).
494MethodologiesandSoftwareEngineeringforAgentSystems[SichmanandDemazeau,2001]Sichman,J.
S.
,andDemazeau,Y.
(2001).
OnSocialReasoninginMulti-AgentSystems.
RevistaIberoamericanadeIn-teligenciaArtificial,3(13),pages68–84.
[Sichmanetal.
,1994]Sichman,J.
S.
,Conte,R.
,Demazeau,Y.
,andCastel-franchi,C.
(1994).
ASocialReasoningMechanismbasedonDependenceNetworks.
ProceedingsoftheEuropeanConferenceonCognitiveScience.
[Sierraetal.
,1997]Sierra,C.
,Faratin,P.
,andJennings,N.
R.
(1997).
AService-OrientedNegotiationModelbetweenAutonomousAgents.
Pro-ceedingsofMAAMAW'97,pages17–35.
[Siewiorek,2002]Siewiorek,D.
P.
(2002).
NewFrontiersofApplicationDe-sign.
CommunicationsoftheACM,45(12).
[Singh,1997]Singh,M.
P.
(1997).
FormalMethodsinDAI:LogicbasedRep-resentationandReasoning.
MultiagentSystems–AModernApproachtoDistributedArtificialIntelligence,pages331–376.
[Singh,1998]Singh,M.
P.
(1998).
AgentCommunicationLanguages:Re-thinkingthePrinciples.
IEEEComputer,31(12),pages40–47.
[Singh,1999a]Singh,M.
P.
(1999a).
AnontologyforCommitmentsinMul-tiagentSystems:TowardaUnificationofNormativeConcepts.
ArtificialIntelligenceandLaw,7,pages97–113.
[Singh,1999b]Singh,M.
P.
(1999b).
WriteAsynchronous,RunSynchronous.
IEEEInternetComputing,3(2),pages4–5.
[Singh,2000]Singh,M.
P.
(2000).
SynthesizingCoordinationRequirementsforHeterogeneousAutonomousAgents.
InternationalJournalofAutono-mousAgentsandMulti-AgentSystems,3(2),pages107–132.
[Singh,2002]Singh,M.
P.
(2002).
ThePragmaticWeb.
IEEEInternetCom-puting,6(3),pages4–5.
[Singh,2003]Singh,M.
P.
(2003).
DistributedEnactmentofMultiagentWorkflows:TemporalLogicforServiceComposition.
ProceedingsoftheInternationalJointConferenceonAutonomousAgentsandMultiagentSystems,pages907–914.
ACMPress.
[Sommerville,2001]Sommerville,I.
(2001).
SoftwareEngineering.
Addison-Wesley.
[SousaandGarlan,2002]Sousa,J.
P.
,andGarlan,D.
(2002).
Aura:AnArchi-tecturalFrameworkforUserMobilityinUbiquitousComputingEnviron-ments.
ProceedingsoftheWorkingIEEE/IFIPConferenceonSoftwareArchitecture(WICSA'2002),Montreal,CA.
References495[Sparkmanetal.
,2001]Sparkman,C.
H.
,DeLoach,S.
A.
,andSelf,A.
L.
(2001).
AutomatedDerivationofComplexAgentArchitecturesfromAnal-ysisSpecifications.
ProceedingsoftheInternationalWorkshoponAgent-OrientedSoftwareEngineering,Montreal,CA.
[Spivey,1992]Spivey,J.
M.
(1992).
TheZNotation.
Prentice-HallInterna-tional.
[SreenathandSingh,2003]Sreenath,R.
M.
,andSingh,M.
P.
(2003).
Agent-BasedServiceSelection.
JournalonWebSemantics,1(1).
[Stafford,2003]Stafford,T.
S.
(2003).
E-Services.
CommunicationsoftheACM,46(6),pages26–34.
ACMPress.
[Stanford,2003]Stanford,V.
(2003).
PervasiveComputingPutsFoodontheTable.
IEEEPervasiveComputingMagazine,2(1).
[StohrandZhao,2001]Stohr,E.
A.
,andZhao,J.
L.
(2001).
WorkflowAu-tomation:OverviewandResearchIssues.
InformationSystemsFrontiers,3(3),pages281–296.
[StoneandVeloso,2000]Stone,P.
,andVeloso,M.
(2000).
MultiagentSys-tems:ASurveyfromaMachineLearningPerspective.
AutonomousRobots,8(3),pages345–383.
[SturmandShehory,2003]Sturm,A.
,andShehory,O.
(2003).
AFrameworkforEvaluatingAgent-OrientedMethodologies.
Giorgini,P.
,andWinikoff,M.
(Eds.
)ProceedingsoftheInternationalBi-ConferenceWorkshoponAgent-OrientedInformationSystems,pages60–67.
[Sturmetal.
,2003]Sturm,A.
,Dori,D.
,andShehory,O.
(2003).
Single-ModelMethodforSpecifyingMulti-AgentSystems.
ProceedingofInternationalJointConferenceonAutonomousAgentsandMultiAgentSys-tems.
[Suhail,1998]Suhail,A.
(1998).
CORBAProgrammingUnleashed.
Sams.
[SycaraandKlusch,2001]Sycara,K.
,andKlusch,M.
(2001).
BrokeringandMatchmakingforCoordinationofAgentSocieties:ASurvey.
CoordinationofInternetAgents,Springer-Verlag.
[Sycaraetal.
,1999]Sycara,K.
,Klusch,M.
,Idof,S.
,andLu,J(1999).
Dy-namicServiceMatchmakingamongAgentsinOpenInformationEnviron-ments.
JournalACMSIGMODRecord.
[Sycaraetal.
,2002]Sycara,K.
,Widoff,S.
,Klusch,M.
,Lu,J.
(2002).
LARKS:DynamicMatchmakingAmongHeterogeneousSoftwareAgents496MethodologiesandSoftwareEngineeringforAgentSystemsinCyberspace.
InternationalJournalofAutonomousAgentsandMulti-AgentSystems,5,pages173–203.
[Sycaraetal.
,2003]Sycara,K.
,Paolucci,M.
,vanVelsen,M.
,andGiampapa,J.
(2003).
TheRETSINAMASInfrastructure.
InternationalJournalonAutonomousAgentsandMulti-AgentSystems,7(1–2),pages29–48.
[Szyperski,1998]Szyperski,C.
(1998).
ComponentSoftware:BeyondObject-OrientedProgramming.
Addison-Wesley.
[Tambeetal.
,2000]Tambe,M.
,Pynadath,D.
V.
,Chauvat,N.
,Das,A.
,andKaminka,G.
A.
(2000).
AdaptiveAgentArchitecturesforHeterogeneousTeamMembers.
ProceedingsoftheInternationalConferenceonMulti-AgentSystems(ICMAS2000),pages301–308,Boston,USA.
[Tennenhouse,2000]Tennenhouse,D.
(2000).
EmbeddingtheInternet:ProactiveComputing.
CommunicationsoftheACM,43(5),pages36–42.
[Theuneetal.
,2003]Theune,M.
,Faas,S.
,HeylenD.
,andNijholt,A.
(2003).
TheVirtualStoryteller:StoryCreationbyIntelligentAgents.
Proceed-ingsofTechnologiesforInteractiveDigitalStorytellingandEntertainment,pages204–215.
[Thomas,1993]Thomas,S.
R.
(1993).
PLACA:AnAgentOrientedProgram-mingLanguage.
Ph.
D.
Thesis,StanfordUniversity.
[Thomas,1995]Thomas,S.
R.
(1995).
ThePLACAAgentProgrammingLan-guage.
Wooldridge,M.
J.
,andJennings,N.
R.
(Eds.
)IntelligentAgents,pages355–370.
Springer-Verlag.
[Tolvanen,1998]Tolvanen,J.
-P.
(1998).
IncrementalMethodEngineeringwithModelingTools:TheoreticalPrinciplesandEmpiricalEvidence.
Ph.
D.
Thesis,UniversityofJyvskyl.
[Trastouretal.
,2001]Trastour,D.
,Bartolini,C.
,andGonzalez-Castillo,J.
(2001).
ASemanticWebApproachtoServiceDescriptionforMatchmak-ingofServices.
ProceedingsoftheInternationalSemanticWebWorkingSymposium(SWWS).
[vandeVijver,1997]vandeVijver,G.
(1997).
EmergenceetExplication.
In-tellectica:EmergenceandExplanation,2-25.
[vanderHoek,2001]vanderHoek,W.
(2001).
LogicalFoundationsofAgent-BasedComputing.
Luck,M.
,Marík,V.
,Stepánková,O.
,andTrappl,R.
(Eds.
)Multi-AgentSystemsandApplications,Springer-Verlag.
References497[vanHarmelenetal.
,2002]vanHarmelen,F.
,Horrocks,I.
,Clark,P.
,Patel-Schneider,P.
F.
,Uschold,M.
,Rousset,M.
-C.
,Hendler,J.
,andSchreiber,G.
(2002).
Ontologies'KISSESinStandardization.
IEEEIntelligentSystems,17,pages70–79.
[vanLamsweerde,2000]vanLamsweerde,A.
(2000).
RequirementsEngi-neeringintheYear00:AResearchPerspective.
ProceedingsoftheInternationalConferenceonSoftwareEngineering(ICSE'00),pages5–19.
[vanLamsweerde,2001]vanLamsweerde,A.
(2001).
Goal-OrientedRe-quirementsEngineering:AGuidedTour.
ProceedingsoftheIEEEIn-ternationalSymposiumonRequirementsEngineering(RE'01),pages249–263.
[vanLamsweerdeandMassonet,1995]vanLamsweerde,R.
,Darimont,A.
,andMassonet,P.
(1995).
Goal-DirectedElaborationofRequirementsforaMeetingScheduler:ProblemsandLessonsLearnt.
ProceedingsoftheIEEEInternationalSymposiumonRequirementsEngineering(RE'01),pages194–203.
[vanRoyandHaridi,1999]vanRoy,P.
,andHaridi,S.
(1999).
Mozart:AProgrammingSystemforAgentApplications.
ProceedingsoftheInterna-tionalWorkshoponDistributedandInternetProgrammingwithLogicandConstraintLanguages.
[Vargaetal.
,1994]Varga,L.
Z.
,Jennings,N.
R.
,andCockburn,D.
(1994).
IntegratingIntelligentSystemsintoaCooperatingCommunityforElectric-ityDistributionManagement.
InternationalJournalofExpertSystemswithApplications,7(4),pages563–579.
[VenkatramanandSingh,1999]Venkatraman,M.
,andSingh,M.
P.
(1999).
VerifyingCompliancewithCommitmentProtocols:EnablingOpenWeb-BasedMultiagentSystems.
InternationalJournalonAutonomousAgentsandMulti-AgentSystems,2(3),pages217–236.
[ViroliandOmicini,2003]Viroli,M.
,andOmicini,A.
(2003).
CoordinationasaService:OntologicalandFormalFoundation.
Brogi,A.
,andJacquet,J.
-M.
(Eds.
)FoundationsofCoordinationLanguagesandSoftwareArchi-tecture,ElsevierScience.
[Visseretal.
,2000]Visser,W.
,Park,S.
,andPenix,J.
(2000).
UsingPredi-cateAbstractiontoReduceObject-OrientedProgramsforModelChecking.
ProceedingsoftheWorkshoponFormalMethodsinSoftwarePractice,pages3–182.
ACMPress.
498MethodologiesandSoftwareEngineeringforAgentSystems[vonBertalanffy,1968]vonBertalanffy,L.
(1968).
GeneralSystemTheory.
GeorgeBraziller.
[vonMartial,1992]vonMartial,F.
(1992).
Co-ordinatingPlansofAutono-mousAgents,Springer-Verlag.
[VoukandSingh,1997]Vouk,M.
A.
,andSingh,M.
P.
(1997).
QualityofServiceandScientificWorkflows.
Boisvert,R.
F.
(Ed.
)QualityofNumericalSoftware:AssessmentandEnhancements,pages77–89.
[Vygotskij,1978]Vygotskij,L.
S.
(1978).
MindandSociety.
HarvardUni-versityPress.
[Walsheetal.
,2000]Walshe,D.
,Kennedy,J.
,Corley,S.
,Koudouridis,G.
,Laenen,F.
V.
,Ouzounis,V.
,Garijo,F.
,andGomez-Sanz,J.
(2000).
Eu-rescomP815:AnInteroperableArchitectureforAgent-OrientedManage-ment.
Arabnia,H.
R.
(Ed.
)ProceedingsofIC-AI'2000,CSREAPress.
[WanandSingh,2003]Wan,F.
,andSingh,M.
P.
(2003).
CommitmentsandCausalityforMultiagentDesign.
ProceedingsoftheInternationalJointConferenceonAutonomousAgentsandMultiAgentSystems(AAMAS),pages749–756,ACMPress.
[Wagner,2002]Wagner,G.
(2002).
AUMLProfileforExternalAORModels.
ProceedingsoftheInternationalWorkshoponAgent-OrientedSoftwareEngineering.
[Wegner,1997]Wegner,P.
(1997).
WhyInteractionisMorePowerfulthanComputing.
CommunicationsoftheACM,40(5),pages80–91.
[Weiser,1991]Weiser,M.
(1991).
TheComputerfortheTwenty-FirstCen-tury.
ScientificAmerican.
[Weiser,1993]Weiser,M.
(1993).
SomeComputerScienceProblemsinUbiq-uitousComputing.
CommunicationsoftheACM,36(7).
[Weiser,1996]Weiser,M.
,andBrown,J.
S.
(1996).
DesigningCalmTech-nology.
PowerGridJournal,1-1.
[Weiss,1999]Weiss,G.
(Ed.
)(1999).
MultiagentSystems.
AModernAp-proachtoDistributedArtificialIntelligence.
TheMITPress.
[Weiss,2001]Weiss,R.
(2001).
CellularComputationandCommunicationsUsingEngineeredGeneticRegulatoryNetworks.
Ph.
D.
Thesis,MIT.
[Weiss,2003]Weiss,G.
(2003).
AgentOrientationinSoftwareEngineering.
KnowledgeEngineeringReview,16(4),pages349–373.
References499[Weissetal.
,2003]Wei,G.
,Rovatsos,M.
,andNickles,M.
(2003).
Cap-turingAgentAutonomyinRolesandXML.
ProceedingsoftheInter-nationalJointConferenceonAutonomousAgentsandMultiagentSystems,pages105–112,ACMPress.
[Whitaker,2003]Whitaker,R.
(2003).
ACMSIGGROUP:Self-Organization,Autopoiesis,andEnterprises.
Availableathttp://www.
acm.
org/sigois/auto/Main.
html.
[Wieland,2003]Wieland,K.
(2003).
TheLongRoadto3G.
InternationalTelecommunicationsMagazine,37(2).
[Winikoffetal.
,2001]Winikoff,M.
,Padgham,L.
,andHarland,J.
(2001).
SimplifyingtheDevelopmentofIntelligentAgents.
ProceedingsofAI2001,pages555–568.
Springer-Verlag.
[Wolpert,1998]Wolpert,D.
H.
(1998).
PrinciplesofDevelopment.
OxfordUniversityPress,UK.
[WolpertandMacReady1995]Wolpert,D.
H.
,andMacReady,W.
G.
(1995).
NoFreeLunchTheoremsforSearch.
TechnicalReportSFI-TR-95-02-010,SantaFeInstitute.
[WoodandDeLoach,2001]Wood,M.
,andDeLoach,S.
A.
(2001).
AnOverviewoftheMultiagentSystemsEngineeringMethodology.
Ciancar-ini,P.
,andWooldridge,M.
J.
(Eds.
)Agent-orientedsoftwareengineering.
pages207–222,Springer-Verlag,[Wooldridge,1992]Wooldridge,M.
J.
(1992).
TheLogicalModellingofCom-putationalMulti-AgentSystems.
Ph.
D.
Thesis,UMIST.
[Wooldridge,1997]Wooldridge,M.
J.
(1997).
Agent-BasedSoftwareEngi-neering.
IEEProceedingsSoftwareEngineering,144(1),pages26–37.
[Wooldridge,2000]Wooldridge,M.
J.
(2000).
IntelligentAgents.
Weiss,G.
(Ed)MultiagentSystems,pages27–78,TheMITPress.
[Wooldridge,2002]Wooldridge,M.
J.
(2002).
AnIntroductiontoMulti-AgentSystems.
JohnWiley&Sons.
[WooldridgeandCiancarini,2000]Wooldridge,M.
J.
,andCiancarini,P.
(2000).
Agent-OrientedSoftwareEngineering:TheStateoftheArt.
Cian-carini,P.
,andWooldridge,M.
J.
(Eds.
)ProceedingsoftheWorkshoponAgent-OrientedSoftwareEngineering,pages1–28,Springer-Verlag.
[WooldridgeandJennings,1995a]Wooldridge,M.
J.
,andJennings,N.
R.
(1995a).
IntelligentAgents:TheoryandPractice.
KnowledgeEngineer-ingReview,10(2),pages115–152.
500MethodologiesandSoftwareEngineeringforAgentSystems[WooldridgeandJennings,1995b]Wooldridge,M.
J.
,andJennings,N.
R.
(1995b).
AgentTheories,Architectures,andLanguages:ASurvey.
Wooldridge,M.
J.
,andJennings,N.
R.
(Eds.
)IntelligentAgents,pages1–39,Springer-Verlag.
[WooldridgeandJennings,1998]Wooldridge,M.
J.
,andJennings,N.
R.
(1998).
PitfallsofAgent-OrientedDevelopment.
Sycara,K.
,andWooldridge,M.
J.
(Eds.
)ProceedingsoftheInternationalConferenceonAutonomousAgents,ACMPress.
[Wooldridgeetal.
,1999]Wooldridge,M.
J.
,Jennings,N.
R.
,andKinny,D.
(1999).
AMethodologyforAgent-OrientedAnalysisandDesign.
Etzioni,O.
,Müller,J.
P.
,andBradshaw,J.
M.
(Eds.
)ProceedingsoftheInterna-tionalConferenceonAutonomousAgents,pages69–76,ACMPress.
[Wooldridgeetal.
,2002a]Wooldridge,M.
J.
,Fisher,M.
,Huget,M.
-P.
,andParsons,S.
(2002a).
ModelCheckingMulti-AgentSystemswithMABLE.
ProceedingsoftheInternationalJointConferenceonAutonomousAgentsandMultiagentSystems,pages952–959,ACMPress.
[Wooldridgeetal.
,2000b]Wooldridge,M.
J.
,Jennings,N.
R.
,andKinny,D.
(2000b).
TheGaiaMethodologyforAgent-OrientedAnalysisandDesign.
InternationalJournalofAutonomousAgentsandMultiAgentSystems,3(3),pages285–312.
[Wooldridgeetal.
,2002c]Wooldridge,M.
J.
,Weis,G.
,andCiancarini,P.
(Eds.
)(2002c).
Agent-OrientedSoftwareEngineeringII,Springer-Verlag.
[XingandSingh,2003]Xing,J.
,andSingh,M.
P.
(2003).
EngineeringCommitment-BasedMultiagentSystems:ATemporalLogicApproach.
ProceedingsoftheInternationalJointConferenceonAutonomousAgentsandMultiagentSystems,pages891–898,ACMPress.
[Xuetal.
,2002]Xu,D.
,Volz,R.
,loerger,T.
,andYen,J.
(2002).
ModelingandVerifyingMulti-agentBehaviorsusingPredicate/TransitionNets.
Pro-ceedingsoftheInternationalConferenceonSoftwareEngineeringandKnowledgeEngineering,pages193–200,ACMPress.
[YolumandSingh,2002]Yolum,P.
,andSingh,M.
P.
(2002).
FlexibleProto-colSpecificationandExecution:ApplyingEventCalculusPlanningusingCommitments.
ProceedingsoftheInternationalJointConferenceonAu-tonomousAgentsandMultiAgentSystems(AAMAS),pages527–534,ACMPress.
[Yu,1995]Yu,E.
(1995).
ModellingStrategicRelationshipsforProcessReengineering.
Ph.
D.
Thesis,UniversityofToronto.
References501[Yu,1997a]Yu,E.
(1997a).
TowardsModellingandReasoningSupportforEarly-PhaseRequirementsEngineering.
ProceedingsofInternationalSymposiumonRequirementsEngineering,pages226–235.
[Yu,1997b]Yu,E.
(1997b).
WhyAgent-OrientedRequirementsEngineeringProceedingsofInternationalWorkshoponRequirementsEngineering.
[Yu,1999]Yu,E.
(1999).
StrategicModellingforEnterpriseIntegration.
Pro-ceedingsWorldCongressoftheInternationalFederationofAutomaticControl.
[Yu,2001]Yu,E.
(2001).
Agent-OrientedModeling:SoftwareversustheWorld.
Agent-OrientedSoftwareEngineeringII,Springer-Verlag.
[YuandCysneiros,2002]Yu,E.
,andCysneiros,L.
M.
(2002).
Agent-OrientedMethodologies–TowardsaChallengeExemplar.
ProceedingsoftheInternationalBi-ConferenceWorkshoponAgent-OrientedInfor-mationSystems.
[YuandLiu,2002]Yu,E.
,andLiu,L.
(2002).
DesigningWeb-BasedSys-temsinSocialContext:AGoalandScenariobasedApproach.
AdvancedInformationSystemsEngineering,pages37–51,Springer-Verlag.
[YuandLiu,2003]Yu,E.
,andLiu,L.
(2003).
OrganizationModellingEnvi-ronment.
Availableathttp://www.
cs.
toronto.
edu/km/ome.
[YuandMylopoulos,1998]Yu,E.
,andMylopoulos,J.
(1998).
WhyGoal-OrientedRequirementsEngineeringProceedingsoftheInternationalWorkshoponRequirementsEngineering,pages15–22.
[YuandSingh,2002]Yu,B.
,andSingh,M.
P.
(2002).
AnEvidentialModelofDistributedReputationManagement.
ProceedingsoftheInternationalJointConferenceonAutonomousAgentsandMultiAgentSystems(AAMAS),pages294–301.
ACMPress.
[Yuetal.
,2001]Yu,E.
,Liu,L.
,andLi,Y.
(2001).
ModellingStrategicActorRelationshipstoSupportIntellectualPropertyManagement.
ConceptualModeling,pages164–178,Springer-Verlag.
[Yunosetal.
,2003]Yunos,H.
M.
,Gao,J.
Z.
,andShim,S.
(2003).
WirelessAdvertising'sChallengesandOpportunities.
IEEEComputer,26(5).
[ZambonelliandParunak,2002]Zambonelli,F.
,andParunak,H.
V.
D.
(2002).
SignofaRevolutioninComputerScienceandSoftwareEngi-neering.
ProceedingsoftheInternationalWorkshoponEngineeringSocietiesintheAgents'World,Springer-Verlag.
502MethodologiesandSoftwareEngineeringforAgentSystems[ZambonelliandParunak,2003]Zambonelli,F.
,andParunak,H.
V.
D.
(2003).
TowardaChangeofParadigminComputerScienceandSoftwareEngineering:ASynthesis.
TheKnowledgeEngineeringReview,18,2003.
[Zambonellietal.
,2000]Zambonelli,F.
,Jennings,N.
R.
,andWooldridge,M.
J.
(2000).
OrganisationalAbstractionsfortheAnalysisandDesignofMulti-AgentSystems.
Ciancarini,P.
,andWooldridge,M.
J.
(Eds.
)Agent-OrientedSoftwareEngineering,pages127–141,Springer-Verlag.
[Zambonellietal.
,2001a]Zambonelli,F.
,Jennings,N.
R.
,Omicini,A.
,andWooldridge,M.
J.
(2001a).
Agent-OrientedSoftwareEngineeringforInter-netApplications.
CoordinationofInternetAgents:Models,Technologies,andApplications,pages326–346,Springer-Verlag.
[Zambonellietal.
,2001b]Zambonelli,F.
,Jennings,N.
R.
,andWooldridge,M.
J.
(2001).
OrganizationalRulesasanAbstractionfortheAnalysisandDesignofMultiagentSystems.
InternationalJournalofSoftwareEngineer-ingandKnowledgeEngineering,11(4),pages303–328.
[Zambonellietal.
,2003]Zambonelli,F,Jennings,N.
R.
,andWooldridge,M.
J.
(2003).
DevelopingMultiagentsystems:TheGaiamethodology.
ACMTransactionsonSoftwareEngineeringandMethodology,12(3),pages417–470.
[Zave,1997]Zave,P.
(1997).
ClassificationofResearchEffortsinRequire-mentsEngineering.
ACMComputingSurveys,29(4),pages315–321.
Index3APL,57AAII,174ABLEframework,54ACL(AgentCommunicationLanguage),22,47,260,417ActivityTheory,283,284ADELFE,40,53,154,158,232,338agent,9,20,21,36,48,90,130,179,191,248,260,305,396,398,407,416,433,434agentagentarchitecture,45,445agentclass,117agentlifeline,240agentmodel,35agent-basedmodel,197cooperativeagent,159,164,167typesofagents,408agentclassdiagram,248,254agentplatform,53agenttechnology,431,432,434agent-basedsoftwaredevelopment,13Agent0,56AgentBuilder,42AgentSpeak(L),56agentTool,38,43,60,122,172AIP(AgentInteractionProtocol,166AIP(AgentInteractionProtocol),85Albert(language),37AMAS(AdaptiveMultiAgentSystems),157,158,327amorphouscomputing,300,304,361analysis,34,35,41,70,71,76,108,163,181AOSE(AgentOrientedSoftwareEngineering),19,394AOSE(Agent-OrientedSoftwareEngineering),3Aprillanguage,55ASL,262AUML,40,84,166,172,173,178,237autocatalysis,358,360AutonomicComputing,7autonomy,10,14,49,129,267,398Bee-gent,262CLIPSlanguage,55co-construction,285commitment,13,15communication,12,15,22,47,260,417complexsystem,322,433component,21Concurrent-METATEM,39,55ConGOLOG,39,56conversation,117,119cooperation,284,285,328coordination,48,273,274,286coordinationartifact,284,291DataCouplingDiagram,222debugging,58,60,229,270,439decentralization,351delegationofresponsability,23dependency,91,274deployment,446design,34,41,71,74,77,108,117,121,165,441designarchitecturaldesign,90,93,218,222architecturedesign,423detaileddesign,90,94,218,226high-leveldesign,181low-leveldesign,182DESIRE,44,173developmentenvironment,42Dia,255dialogicframework,204DISCERN,386distribution,46,351,433,441dynamic,11,14,352,380ElectronicInstitutionModel,197emergence,196,308,326,347emergenceemergentbehaviour,195emergentfunctionality,158emergentphenomenon,325504MethodologiesandSoftwareEngineeringforAgentSystemsenvironment,12,24,75,76,87,161,162,220,279,357,382,433Equation-BasedModels,196evaluation(ofamethodology),67,129,134,138,143evolutionarycomputation,196,210FIPA(FoudationforIntelligentPhysicalAgents),260FIPA(FoundationforIntelligentPhysicalAgents),20,54,239,437FIPA-OS,263FormalTropos,94functionaladequacy,164,328,334Gaia,39,52,66,69,124,134,173,178,220,231goal,58,76,108,110,179,220goalanalysis,102Grasshopper,263grid,394,413,414,447GrowingPointLanguage,310,314heterogeneity,8,11,14,441i*,36,58,90implementation,34,55implementationtool,444infrastructure,273,278INGENIAS,41,43,172,194interaction,24,179,180,187,275,281,382interactioninteractiondiagram,225interactionmodel,74,77threadofinteraction,241JACK,229JADE,44,48,54,61,264KAOS,37language,55lifecycle,66,127,132,196Lisp,56MABLE,60MADKITplatform,41,52,54,61MAML,57MAS-CommonKADS,38,178MaSE,37,66,107,125,143,172,232MASIF,54MASSIVE,173mediation,382MESSAGE,41,52,154,173,177,232message,130,243,267meta-model,41,81methodology,65,127,153,435,436MicrosoftVisio,255mobilecomputing,399modellinglanguage,66,127morphogengradients,306Mozartlanguage,56multiagentsystem,107,197,378,397,435,441NCS(NonCooperativeSituations),159,167,170,328,330,335norm,130,197,204,205notation,85,87,131,224,238observation,382onlineengineering,378,383ontology,47,198Opal,263openarchitecture,5,6opensystem,8,301,379,380,382,441opensystemamodelofopencomputationalsystem,381OpenTool,172,173,255organization,52,69,130,179,181,192,252,292,344OrganizationTheory,98organizationview,180organizationalrules,76,77organizationalstructures,76,78,87PASSI,40,43,172,173performativestructure,204pervasivecomputing,315,399pheromone,310Prolog,56Prometheus,155,173,217PrometheusDesignTool,228protocol,13,15,80,130,190,197,226,245requirement,35,181,220requirementearlyrequirement,90,91finalrequirement,161laterequirement,90,92preliminaryrequirement,161RETSINAframework,54ROADMAP,79role,36,71,76,108,109,113,115,130,179,198,240,249RUP(RationalUnifiedProcess),161,178,181SADDE,53,154,196,232scene,197,198,204self-assembly,311self-organization,52,158,300,325,331,344–346,348semanticcomposability,27semanticextensibility,28semanticinteroperability,25Index505sequencediagrams,112,239,253service,74,421,422servicediscovery,419,420service-orientedapproach,415SOLACE,385specification,218,220stereotype,167swarming,300,341–343,353ubiquitouscomputing,394,395,400,401UDDI(UniversalDescriptionDiscoveryandIn-tegration),14,404,415,420,422UML,40,84,173,177,178,237usecases,112,162,221validation,57,383,384,440verification,57,58,94,440VIRTUE,385task,108,114,115,130,179,182,291testing,34,57,229,440TOTA,316Tropos,58,66,90,125,138,173,220,232TuCSon,293Webservices,6,420Z,38Zeus,37,42,60,263