Presentation
An Aspect–Oriented Approach based on Multiparty Interactions to Specifying the Behaviour of a System
Author/s | Ruiz Cortés, Antonio
![]() ![]() ![]() ![]() ![]() ![]() ![]() Corchuelo Gil, Rafael ![]() ![]() ![]() ![]() ![]() ![]() ![]() Pérez Castellanos, José Antonio ![]() ![]() ![]() ![]() ![]() Durán Toro, Amador ![]() ![]() ![]() ![]() ![]() ![]() ![]() Toro Bonilla, Miguel ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
Department | Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos |
Publication Date | 2000 |
Deposit Date | 2022-01-11 |
Published in |
|
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 ... 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. |
Funding agencies | Comisión Interministerial de Ciencia y Tecnología (CICYT). España |
Project ID. | MENHIR TIC 97–0593–C05–01
![]() |
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). |
Files | Size | Format | View | Description |
---|---|---|---|---|
An Aspect-Oriented Approach based ... | 107.6Kb | ![]() | View/ | |