An ACL for Specifying Fault-Tolerant Protocols
Agent Communication Languages (ACLs) have been developed to provide a way for agents to communicate with each other supporting cooperation in Multi-Agent Systems. In the past few years many ACLs have been proposed for Multi-Agent Systems and new standards are emerging such as FIPA ACL. Despite these...
Saved in:
Published in | AIIA 2005: Advances in Artificial Intelligence pp. 237 - 248 |
---|---|
Main Authors | , , |
Format | Book Chapter Conference Proceeding |
Language | English |
Published |
Berlin, Heidelberg
Springer Berlin Heidelberg
2005
Springer |
Series | Lecture Notes in Computer Science |
Subjects | |
Online Access | Get full text |
Cover
Loading…
Abstract | Agent Communication Languages (ACLs) have been developed to provide a way for agents to communicate with each other supporting cooperation in Multi-Agent Systems. In the past few years many ACLs have been proposed for Multi-Agent Systems and new standards are emerging such as FIPA ACL. Despite these efforts, an important issue in the research on ACLs is still open and concerns how these languages should deal with failures of agents in asynchronous Multi-Agent Systems. In this paper we present an asynchronous ACL which provide high-level mechanisms to deal with crash failures, one-to-many communication primitives and supports a fault-tolerant anonymous interaction protocol. To illustrate the expressive power of the language we show how it can be effectively used for the specification of fault tolerant protocols. |
---|---|
AbstractList | Agent Communication Languages (ACLs) have been developed to provide a way for agents to communicate with each other supporting cooperation in Multi-Agent Systems. In the past few years many ACLs have been proposed for Multi-Agent Systems and new standards are emerging such as FIPA ACL. Despite these efforts, an important issue in the research on ACLs is still open and concerns how these languages should deal with failures of agents in asynchronous Multi-Agent Systems. In this paper we present an asynchronous ACL which provide high-level mechanisms to deal with crash failures, one-to-many communication primitives and supports a fault-tolerant anonymous interaction protocol. To illustrate the expressive power of the language we show how it can be effectively used for the specification of fault tolerant protocols. |
Author | Guidi, Davide Gaspari, Mauro Dragoni, Nicola |
Author_xml | – sequence: 1 givenname: Nicola surname: Dragoni fullname: Dragoni, Nicola email: dragoni@cs.unibo.it organization: Dipartimento di Scienze dell’Informazione, University of Bologna, Italy – sequence: 2 givenname: Mauro surname: Gaspari fullname: Gaspari, Mauro email: gaspari@cs.unibo.it organization: Dipartimento di Scienze dell’Informazione, University of Bologna, Italy – sequence: 3 givenname: Davide surname: Guidi fullname: Guidi, Davide email: dguidi@cs.unibo.it organization: Dipartimento di Scienze dell’Informazione, University of Bologna, Italy |
BackLink | http://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=17183050$$DView record in Pascal Francis |
BookMark | eNpNkDFPwzAUhA0UibZ04g9kYWBIec_Pju2xqlpAqgQSZY4cx6kCIY7iMPTfk6oM3HLDfTqdbsYmbWg9Y3cISwRQj4hSamkg5-KCzUgKIFREdMmmmCGmRMJcsYVR-pRxAwLFhE2BgKdGCbphixg_YRSNPIcpW67aZLXeJVXok_fOu7o61u0h2dqfZkj3ofG9bYfkrQ9DcKGJt-y6sk30iz-fs4_tZr9-TnevTy_r1S7tOJohRaBCCQtKmrIknhXKcnKIoCuShdWqQJLOVZoXGrwQGZXclUYBOe28yWjO7s-9nY3ONtW4wtUx7_r62_bHHBVqAgkj93Dm4hi1B9_nRQhfMUfIT4fl_w6jXzlHVvU |
ContentType | Book Chapter Conference Proceeding |
Copyright | Springer-Verlag Berlin Heidelberg 2005 2005 INIST-CNRS |
Copyright_xml | – notice: Springer-Verlag Berlin Heidelberg 2005 – notice: 2005 INIST-CNRS |
DBID | IQODW |
DOI | 10.1007/11558590_24 |
DatabaseName | Pascal-Francis |
DatabaseTitleList | |
DeliveryMethod | fulltext_linktorsrc |
Discipline | Engineering Computer Science Applied Sciences |
EISBN | 3540317333 9783540317333 |
EISSN | 1611-3349 |
Editor | Manzoni, Sara Bandini, Stefania |
Editor_xml | – sequence: 1 givenname: Stefania surname: Bandini fullname: Bandini, Stefania email: bandini@csai.disco.unimib.it – sequence: 2 givenname: Sara surname: Manzoni fullname: Manzoni, Sara email: manzoni@disco.unimib.it |
EndPage | 248 |
ExternalDocumentID | 17183050 |
GroupedDBID | -DT -GH -~X 1SB 29L 2HA 2HV 5QI 875 AASHB ABMNI ACGFS ADCXD AEFIE ALMA_UNASSIGNED_HOLDINGS EJD F5P FEDTE HVGLF LAS LDH P2P RIG RNI RSU SVGTG VI1 ~02 IQODW |
ID | FETCH-LOGICAL-p219t-103b74a0759dd326b7a23c1108f35ba87b135ccf82b80e4463d2cd9703c8ce963 |
IEDL.DBID | SBO |
ISBN | 9783540290414 3540290419 |
ISSN | 0302-9743 |
IngestDate | Sun Oct 22 16:06:24 EDT 2023 Tue Oct 01 19:25:39 EDT 2024 |
IsPeerReviewed | true |
IsScholarly | true |
Keywords | Communication process Multiagent system Communication primitive Anonymity Crash failure Artificial intelligence Fault tolerant system Asynchronous transmission |
Language | English |
License | CC BY 4.0 |
LinkModel | DirectLink |
MeetingName | AIIA 2005 : advances in artificial inteliigence (Milan, 21-23 September 2005) |
MergedId | FETCHMERGED-LOGICAL-p219t-103b74a0759dd326b7a23c1108f35ba87b135ccf82b80e4463d2cd9703c8ce963 |
PageCount | 12 |
ParticipantIDs | pascalfrancis_primary_17183050 springer_books_10_1007_11558590_24 |
PublicationCentury | 2000 |
PublicationDate | 2005 |
PublicationDateYYYYMMDD | 2005-01-01 |
PublicationDate_xml | – year: 2005 text: 2005 |
PublicationDecade | 2000 |
PublicationPlace | Berlin, Heidelberg |
PublicationPlace_xml | – name: Berlin, Heidelberg – name: Berlin |
PublicationSeriesSubtitle | Lecture Notes in Artificial Intelligence |
PublicationSeriesTitle | Lecture Notes in Computer Science |
PublicationSubtitle | 9th Congress of the Italian Association for Artificial Intelligence, Milan, Italy, September 21-32, 2005. Proceedings |
PublicationTitle | AIIA 2005: Advances in Artificial Intelligence |
PublicationYear | 2005 |
Publisher | Springer Berlin Heidelberg Springer |
Publisher_xml | – name: Springer Berlin Heidelberg – name: Springer |
RelatedPersons | Kleinberg, Jon M. Mattern, Friedemann Nierstrasz, Oscar Tygar, Dough Steffen, Bernhard Kittler, Josef Vardi, Moshe Y. Weikum, Gerhard Sudan, Madhu Naor, Moni Mitchell, John C. Terzopoulos, Demetri Pandu Rangan, C. Kanade, Takeo Hutchison, David |
RelatedPersons_xml | – sequence: 1 givenname: David surname: Hutchison fullname: Hutchison, David organization: Lancaster University, UK – sequence: 2 givenname: Takeo surname: Kanade fullname: Kanade, Takeo organization: Carnegie Mellon University, Pittsburgh, USA – sequence: 3 givenname: Josef surname: Kittler fullname: Kittler, Josef organization: University of Surrey, Guildford, UK – sequence: 4 givenname: Jon M. surname: Kleinberg fullname: Kleinberg, Jon M. organization: Cornell University, Ithaca, USA – sequence: 5 givenname: Friedemann surname: Mattern fullname: Mattern, Friedemann organization: ETH Zurich, Switzerland – sequence: 6 givenname: John C. surname: Mitchell fullname: Mitchell, John C. organization: Stanford University, CA, USA – sequence: 7 givenname: Moni surname: Naor fullname: Naor, Moni organization: Weizmann Institute of Science, Rehovot, Israel – sequence: 8 givenname: Oscar surname: Nierstrasz fullname: Nierstrasz, Oscar organization: University of Bern, Switzerland – sequence: 9 givenname: C. surname: Pandu Rangan fullname: Pandu Rangan, C. organization: Indian Institute of Technology, Madras, India – sequence: 10 givenname: Bernhard surname: Steffen fullname: Steffen, Bernhard organization: University of Dortmund, Germany – sequence: 11 givenname: Madhu surname: Sudan fullname: Sudan, Madhu organization: Massachusetts Institute of Technology, MA, USA – sequence: 12 givenname: Demetri surname: Terzopoulos fullname: Terzopoulos, Demetri organization: New York University, NY, USA – sequence: 13 givenname: Dough surname: Tygar fullname: Tygar, Dough organization: University of California, Berkeley, USA – sequence: 14 givenname: Moshe Y. surname: Vardi fullname: Vardi, Moshe Y. organization: Rice University, Houston, USA – sequence: 15 givenname: Gerhard surname: Weikum fullname: Weikum, Gerhard organization: Max-Planck Institute of Computer Science, Saarbruecken, Germany |
SSID | ssj0000316120 ssj0002792 |
Score | 1.8182777 |
Snippet | Agent Communication Languages (ACLs) have been developed to provide a way for agents to communicate with each other supporting cooperation in Multi-Agent... |
SourceID | pascalfrancis springer |
SourceType | Index Database Publisher |
StartPage | 237 |
SubjectTerms | Agent Communication Language Applied sciences Artificial intelligence Communication Primitive Computer science; control theory; systems Correct Agent Exact sciences and technology Failure Detector Multiagent System |
Title | An ACL for Specifying Fault-Tolerant Protocols |
URI | http://link.springer.com/10.1007/11558590_24 |
hasFullText | 1 |
inHoldings | 1 |
isFullTextHit | |
isPrint | |
link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV1NS8NAEB1qxYMeqlWxomURjyYku-kmOdZiKeIX2EJvYXezubQkpU0v_npn80W1lx4DC2GH3Zk3M_veADz6wqjacGaphAvLo75rSWZYwK5KEs64FHGh9vnBJzPvdT6Yt-CpKV2kC7vuSBaOuua6IXJBZBs6EfWO4JhhomAecH0_fzYVFTyeGK6dxg8babyyh0AtRM2sYnbQ0PHc8KQpehTfXkXd-_cn81JSbNBYSTnlYq9dWkShcQfeay5P-fhkYW9zaauffWnHgzZ4DmeG6UAMBQGtewEtnXahU895INW178LpjmjhJdjDlAxHbwTRLimm1xdMKTIW22VuTbOlxk3k5Gud5Rkess0VzMYv09HEqqYuWCv0Xjn6ZSZ9TyCUCOMYwZ30BWXKsAUSNpAi8KXLBkolAZWBozGbZDFVcYieQwVK432-hnaapfoGiBsz7vtSuwqBAiZGAdciEEZ-hkonVrwH_T_mjValwkbkYsRER-T04KG2VWSSjk1UqyzvWOv2kEV30M7XW32PCCKX_eLg_AIN87d6 |
link.rule.ids | 310,311,785,786,790,795,796,799,4069,4070,27956,38288,41475,42544 |
linkProvider | Springer Nature |
linkToHtml | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV3fS8MwED50IqIP06k40RnE14426dL2cQ7H1DkFN_CtJGn64mjH2r3413vpjzHnyx4LgZLjcvcld993AA-eMKo2nFkq5sJyqedYkhkWsKPimDMuRVSofU74aOa-fPW-KrJ6Vne71yXJIlLXZDeELghtAzuk7j4cuEZaC9338_F9_aSC_on52l4HYqONVxYRqIWwmVXUDhrYrhMcrl89im-34u5t_cm0SooMrRWXYy7-1UuLNDRswqTeQNl98t1d5bKrfra0HXfe4SmcGK4DMSQEtO8Z7OmkBc160gOpDn4LjjdkC8-h209IfzAmiHdJMb--4EqRoVjNc2uazjXuIicfyzRP0c2yC5gNn6aDkVXNXbAWGL9yjMxMeq5AMBFEEcI76QnKlOELxKwnhe9Jh_WUin0qfVvjfZJFVEUBxg7lK40n-hIaSZroKyBOxLjnSe0ohAp4NfK5Fr4wAjRU2pHibej8sW-4KDU2QgdzJoYiuw33ta1Cc-3IwlpnecNa17ssuoOj0fRtHI6fJ6830MiXK32LeCKXncKLfgHSIbtC |
linkToPdf | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1LS8NAEF60oqCHalWs-FjEa9rsbrpJjrUaqpZasIXiJewjuViS0qYXf72zeZRaL-IxEAgzbGa-2ZnvG4TuXWFUbTizVMyF5VCXWJIZFjBRccwZl0Lnap9D3p84L9POdHPVl5l2r1qSBafBqDQlWXuu46qr3wYYAzDXt0Pq7KI9hziumeZ7f3hbX6_AWYXcba-DstHJKxoK1AIIzUqaB_Vth_j76xuQ_NkpeXxbXzJjk2IJnouLlRe_eqd5Sgrq6KMypphE-WytMtlSX1s6j_-y9hgdGQ4ENuQE8PsJ2omSBqpXGyBwGRAa6HBDzvAUtboJ7vYGGHAwzvfa5xwqHIjVLLPG6SwCizI8WqRZCsdveYYmwdO417fKfQzWHOJaBhGbSdcRADJ8rQH2SVdQpgyPIGYdKTxXEtZRKvao9OwI6kymqdI-xBTlqQj-9HNUS9IkukCYaMZdV0ZEAYSAksnjkfCEEaah0taKN9HND1-H80J7IySQSyFE2U10V_ktNOXIMqz0lze8dfmXl27RwegxCAfPw9crVMsWq-gaYEYmb_ID9Q1OxMQm |
openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=bookitem&rft.title=AIIA+2005%3A+Advances+in+Artificial+Intelligence&rft.au=Dragoni%2C+Nicola&rft.au=Gaspari%2C+Mauro&rft.au=Guidi%2C+Davide&rft.atitle=An+ACL+for+Specifying+Fault-Tolerant+Protocols&rft.series=Lecture+Notes+in+Computer+Science&rft.pub=Springer+Berlin+Heidelberg&rft.isbn=9783540290414&rft.issn=0302-9743&rft.eissn=1611-3349&rft.spage=237&rft.epage=248&rft_id=info:doi/10.1007%2F11558590_24 |
thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0302-9743&client=summon |
thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0302-9743&client=summon |
thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0302-9743&client=summon |