TY - JOUR
T1 - Integrating constraints and concurrent objects in musical applications
T2 - A calculus and its visual language
AU - Rueda, Camilo
AU - Alvarez, Gloria
AU - Quesada, Luis O.
AU - Tamura, Gabriel
AU - Valencia, Frank
AU - Díaz, Juan Francisco
AU - Assayag, Gerard
N1 - Funding Information:
We are greatly indebted to the reviewers for their comments and constructive criticism that has helped us to improve this paper significantly. We would also like to thank the colombian science foundation (Colciencias) for its financial support, and all composers at IRCAM for providing a unique environment where programming research is motivated by musical thought.
PY - 2001/1
Y1 - 2001/1
N2 - We propose PiCO, a calculus integrating concurrent objects and constraints, as a base for music composition tools. In contrast with calculi such as [5], [9] or TyCO [16], both constraints and objects are primitive notions in PiCO. In PiCO a base object model is extended with constraints by orthogonally adding the notion of constraint system found in the ρ-calculus [12]. Concurrent processes make use of a constraint store to synchronize communications either via the ask and tell operations of the constraint model or the standard message-passing mechanism of the object model. A message delegation mechanism built into the calculus allows encoding of general forms of inheritance. This paper includes encodings in PiCO of the concepts of class and sub-class. These allow us to represent complex partially defined objects such as musical structures in a compact way. We illustrate the transparent interaction of constraints and objects by a musical example involving harmonic and temporal relations. The relationship between Cordial, a visual language for music composition applications, and its underlying model PiCO is described.
AB - We propose PiCO, a calculus integrating concurrent objects and constraints, as a base for music composition tools. In contrast with calculi such as [5], [9] or TyCO [16], both constraints and objects are primitive notions in PiCO. In PiCO a base object model is extended with constraints by orthogonally adding the notion of constraint system found in the ρ-calculus [12]. Concurrent processes make use of a constraint store to synchronize communications either via the ask and tell operations of the constraint model or the standard message-passing mechanism of the object model. A message delegation mechanism built into the calculus allows encoding of general forms of inheritance. This paper includes encodings in PiCO of the concepts of class and sub-class. These allow us to represent complex partially defined objects such as musical structures in a compact way. We illustrate the transparent interaction of constraints and objects by a musical example involving harmonic and temporal relations. The relationship between Cordial, a visual language for music composition applications, and its underlying model PiCO is described.
KW - Computer aided music composition
KW - Concurrent constraint objects
KW - Concurrent programming
KW - Constraint programming
KW - Formal calculi
KW - Mobile processes
KW - PiCO
KW - TyCO
KW - Visual language
UR - http://www.scopus.com/inward/record.url?scp=0035061022&partnerID=8YFLogxK
U2 - 10.1023/A:1009849309451
DO - 10.1023/A:1009849309451
M3 - Article
AN - SCOPUS:0035061022
SN - 1383-7133
VL - 6
SP - 21
EP - 52
JO - Constraints
JF - Constraints
IS - 1
ER -