dc.creator | Peña Siles, Joaquín | es |
dc.creator | Corchuelo Gil, Rafael | es |
dc.creator | Arjona, José L. | es |
dc.date.accessioned | 2022-06-15T10:55:23Z | |
dc.date.available | 2022-06-15T10:55:23Z | |
dc.date.issued | 2003 | |
dc.identifier.citation | Peña Siles, J., Corchuelo Gil, R. y Arjona, J.L. (2003). A Top Down Approach for MAS Protocol Descriptions. En SAC 2003: ACM symposium on Applied computing (45-49), Melbourne, Florida, USA: Association for Computing Machinery (ACM). | |
dc.identifier.isbn | 978-1-58113-624-1 | es |
dc.identifier.uri | https://hdl.handle.net/11441/134403 | |
dc.description.abstract | When the protocol of a complex Multi-Agent System (MAS)
needs to be developed, the top-down approach emphasises to
start with abstract descriptions that should be refined
incrementally until we achieve the detail leve! necessary to
implement it. Unfortunately, there exist a semantic gap in
protocol description methodologies because most of them
first identify which tasks have to be performed, and then use
low leve! descriptions such as sequences of messages to detail
them. In this paper, we propase an approach to bridge this
gap. We model MAS protocols using severa! abstract views
of the tasks to be performed, and provide a systematic
method to simplify them. Tasks are represented by means of
interactions that may be refined into lower-level inter actions with the techniques proposed in this paper (simpler
interactions are easier to describe and implement using mes sage passing.) Unfortunately, deadlocks may appear due to
protocol design mistakes or due to the refinement process.
Thus, we also propose an algorithm to ensure that protocols
are deadlock free | es |
dc.description.sponsorship | Comisión Interministerial de Ciencia y Tecnología (CICYT) TIC2000-1106-C02-01 | es |
dc.format | application/pdf | es |
dc.format.extent | 5 | es |
dc.language.iso | eng | es |
dc.publisher | Association for Computing Machinery (ACM) | es |
dc.relation.ispartof | SAC 2003: ACM symposium on Applied computing (2003), pp. 45-49. | |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.subject | Top-clown approach | es |
dc.subject | Agent protocol descriptions | es |
dc.subject | Interaction refinements | es |
dc.subject | Deadlock detection | es |
dc.title | A Top Down Approach for MAS Protocol Descriptions | es |
dc.type | info:eu-repo/semantics/conferenceObject | es |
dcterms.identifier | https://ror.org/03yxnpp24 | |
dc.type.version | info:eu-repo/semantics/submittedVersion | es |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | es |
dc.contributor.affiliation | Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos | es |
dc.relation.projectID | TIC2000-1106-C02-01 | es |
dc.relation.publisherversion | https://dl.acm.org/doi/10.1145/952532.952544 | es |
dc.identifier.doi | 10.1145/952532.952544 | es |
dc.contributor.group | Universidad de Sevilla. TIC205: Ingeniería del Software Aplicada | es |
dc.publication.initialPage | 45 | es |
dc.publication.endPage | 49 | es |
dc.eventtitle | SAC 2003: ACM symposium on Applied computing | es |
dc.eventinstitution | Melbourne, Florida, USA | es |
dc.relation.publicationplace | New York, USA | es |
dc.contributor.funder | Comisión Interministerial de Ciencia y Tecnología (CICYT). España | es |