dc.creator | Ruiz Cortés, Antonio | es |
dc.creator | Corchuelo Gil, Rafael | es |
dc.creator | Pérez Castellanos, José Antonio | es |
dc.creator | Durán Toro, Amador | es |
dc.creator | Toro Bonilla, Miguel | es |
dc.date.accessioned | 2022-01-11T12:49:50Z | |
dc.date.available | 2022-01-11T12:49:50Z | |
dc.date.issued | 2000 | |
dc.identifier.citation | Ruiz Cortés, A., Corchuelo Gil, R., Pérez Castellanos, J.A., Durán Toro, A. y Toro Bonilla, M. (2000). An Aspect–Oriented Approach based on Multiparty Interactions to Specifying the Behaviour of a System. En PLI 2000: International Conference on Principles, Logics, and Implementations of High-Level Programming Languages (56-65), Paris, France: Institut national de recherche en sciences et technologies du numérique (INRIA). | |
dc.identifier.uri | https://hdl.handle.net/11441/128751 | |
dc.description.abstract | Isolating computation and coordination concerns into separate pure computation and pure coordination
enhances modularity, understandability and reusability of parallel and/or distributed software. This can
be achieved by moving interaction primitives, which are now commonly scattered in programs, into separate
modules written in a language aimed at coordinating objects and expressing how information flows
among them. The usual model for coordination is the client/server model, but it is not adequate when
several objects need to collaborate simultaneously in order to solve a problem because natural multiparty
interactions need to be decomposed into a set of low–level, binary interactions.
In this paper, we introduce CAL, an IP–based language for the description of the coordination aspect of
a system. We show that it can be successfully described in terms of simple multiparty interactions that can
be animated and are also amenable to formal reasoning. | es |
dc.description.sponsorship | Comisión Interministerial de Ciencia y Tecnología (CICYT) MENHIR TIC 97–0593–C05–01 | es |
dc.format | application/pdf | es |
dc.format.extent | 9 | es |
dc.language.iso | eng | es |
dc.publisher | Institut national de recherche en sciences et technologies du numérique (INRIA) | es |
dc.relation.ispartof | PLI 2000: International Conference on Principles, Logics, and Implementations of High-Level Programming Languages (2000), pp. 56-65. | |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.subject | Aspect–oriented specification | es |
dc.subject | Coordination | es |
dc.subject | Multiparty interactions | es |
dc.subject | Distributed systems | es |
dc.title | An Aspect–Oriented Approach based on Multiparty Interactions to Specifying the Behaviour of a System | 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 | MENHIR TIC 97–0593–C05–01 | es |
dc.publication.initialPage | 56 | es |
dc.publication.endPage | 65 | es |
dc.eventtitle | PLI 2000: International Conference on Principles, Logics, and Implementations of High-Level Programming Languages | es |
dc.eventinstitution | Paris, France | es |
dc.relation.publicationplace | Paris, France | es |
dc.contributor.funder | Comisión Interministerial de Ciencia y Tecnología (CICYT). España | es |