Mapico: máquina abstracta para el cálculo pico
Loading...
Date
1999
Director
Journal Title
Journal ISSN
Volume Title
Publisher
Pontificia Universidad Javeriana Cali
Abstract
El cálculo PiCO (A Calculus of Concurrent Constraint Objects for Musical Applications) [ADQ+98] es un cálculo que integra objetos concurrentes y restricciones como elementos básicos, en contraste con algunos cálculos como TyCO [Vas94a] y el cálcu-1ο π [Wal91, MPW92]. En PiCO, el modelo de objetos es extendido con el manejo de restricciones de una manera ortogonal (es decir que la noción de objetos sin restricciones es derivable) adicionando la noción de sistema de restricciones encontrado en el cálculo p [NM95] y la noción de delegación de mensajes. La extensión del cálculo pretende adoptar una manera natural de expresar comportamientos de comunicación con el uso estándar de la sincronización por el método de paso de mensajes. El objetivo de este trabajo es crear una máquina abstracta para dicho cálculo, diseñando el manejo de memoria, almacenamiento y la reducción de los programas, sin pretender profundizar en el sistema de restricciones; manteniendo una equivalencia semántica entre la máquina y el cálculo de tal manera que la especificación y las reglas de reducción de la máquina abstracta sigue las del cálculo PiCO
item.page.abstract.eng
The PiCO calculus (A Calculus of Concurrent Constraint Objects for Musical Applications) [ADQ+98] is a calculus that integrates concurrent objects and constraints as basic elements, in contrast to some calculi such as TyCO [Vas94a] and the π-1β calculus [Wal91, MPW92]. In PiCO, the object model is extended to handle constraints in an orthogonal manner (i.e., the notion of unconstrained objects is derivable) by adding the notion of a constraint system found in the p-calculus [NM95] and the notion of message delegation. The extension of the calculus aims to adopt a natural way of expressing communication behaviors with standard use of synchronization via message passing. The objective of this work is to create an abstract machine for such a calculus, designing the memory management, storage, and program reduction, without attempting to go into depth into the constraint system; maintaining a semantic equivalence between the machine and the calculus such that the specification and reduction rules of the abstract machine follow those of the PiCO calculus