Integrating Constraints and Concurrent Objects in MusicalApplications: A Calculus and its Visual Language

Authors:
Camilo Rueda;Gloria Alvarez;Luis O. Quesada;Gabriel Tamura;Frank Valencia;Juan Francisco Díaz;Gerard Assayag
Affiliations:
Department of Computer Science, Pontificia Universidad Javeriana, cl 18 118-250, via Pance, Cali, Colombia;Department of Computer Science, Pontificia Universidad Javeriana, cl 18 118-250, via Pance, Cali, Colombia;Department of Computer Science, Pontificia Universidad Javeriana, cl 18 118-250, via Pance, Cali, Colombia;Department of Computer Science, Pontificia Universidad Javeriana, cl 18 118-250, via Pance, Cali, Colombia;Department of Computer Science, Pontificia Universidad Javeriana, cl 18 118-250, via Pance, Cali, Colombia;Department of Computer Science, Universidad del Valle, ciudad universitaria Meléndez, Cali, Colombia;IRCAM, 1 pl Igor Stravinski, 75004 Paris, France
Venue:
Constraints
Year:
2001

Citing 7
Cited 7

Concurrent constraint programming

Concurrent constraint programming
A calculus of mobile processes, II

Information and Computation
Objects in the &pgr;-calculus

Information and Computation
A Theory of Primitive Objects - Untyped and First-Order Systems

TACS '94 Proceedings of the International Conference on Theoretical Aspects of Computer Software
Constraints for Free in Concurrent Computation

ACSC '95 Proceedings of the 1995 Asian Computing Science Conference on Algorithms, Concurrency and Knowledge
Typed Concurrent Objects

ECOOP '94 Proceedings of the 8th European Conference on Object-Oriented Programming
A Foundation for Higher-order Concurrent Constraint Programming

CCL '94 Proceedings of the First International Conference on Constraints in Computational Logics

Temporal concurrent constraint programming: denotation, logic and applications

Nordic Journal of Computing
A Temporal Concurrent Constraint Programming Calculus

CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Visual Lisp/CLOS programming in OpenMusic

Higher-Order and Symbolic Computation
Concurrent and reactive constraint programming

A 25-year perspective on logic programming
Constraint programming systems for modeling music theories and composition

ACM Computing Surveys (CSUR)
Models and emerging trends of concurrent constraint programming

Constraints
AI methods in algorithmic composition: a comprehensive survey

Journal of Artificial Intelligence Research

Quantified Score

Hi-index	0.00

Visualization

Abstract

Wepropose { PiCO}, a calculus integrating concurrentobjects and constraints, as a base for music composition tools.In contrast with calculi such as NiehrenMueller:Free, milner.parrow.ea:calculus-mobileor TyCO vasconcelos:typed-concurrent, both constraints and objectsare primitive notions in { PiCO}. In { PiCO}a base object model is extended with constraints by orthogonallyadding the notion of constraint system found in the \rho-calculusOzCalculus. Concurrent processes make use of a constraint storeto synchronize communications either via the ask and tell operationsof the constraint model or the standard message-passing mechanismof the object model. A message delegation mechanism built intothe calculus allows encoding of general forms of inheritance.This paper includes encodings in { PiCO} of theconcepts of class and sub-class. These allow us to representcomplex partially defined objects such as musical structuresin a compact way. We illustrate the transparent interaction ofconstraints and objects by a musical example involving harmonicand temporal relations. The relationship between Cordial, avisual language for music composition applications, and its underlyingmodel { PiCO} is described.