卡米洛·鲁埃达;格洛丽亚·阿尔瓦雷斯;路易斯·奥·奎萨达。;加布里埃尔·塔穆拉;弗兰克·巴伦西亚;迪亚斯,胡安·弗朗西斯科;杰拉德·阿萨亚格 在音乐应用中集成约束和并发对象:微积分及其可视化语言。 (英语) Zbl 1006.68625号 约束条件 6,第1期,21-52(2001). 摘要:我们提出PiCO,一种集成并发对象和约束的演算,作为音乐创作工具的基础。与其他计算(如TyCO)相比,约束和对象都是PiCO中的原始概念。在PiCO中,通过正交添加在(rho)-演算中发现的约束系统的概念,用约束扩展了基本对象模型。并发进程利用约束存储通过约束模型的ask和tell操作或对象模型的标准消息传递机制来同步通信。微积分中内置的消息委托机制允许对一般形式的继承进行编码。本文包括类和子类概念在PiCO中的编码。这些使我们能够以紧凑的方式表示复杂的部分定义对象,例如音乐结构。我们通过一个涉及和声和时间关系的音乐示例来说明约束和对象的透明交互。描述了音乐创作应用的可视化语言Cordial与其底层模型PiCO之间的关系。 引用于1文件 MSC公司: 68单位99 计算方法和应用 68M10个 计算机系统中的网络设计和通信 关键词:并行编程;约束编程;并发约束对象;泰科;PiCO公司;形式演算;移动进程;视觉语言;计算机辅助音乐创作 PDF格式BibTeX公司 XML格式引用 \textit{C.Rueda}等人,《约束条件6》,第1期,第21-52页(2001年;Zbl 1006.68625) 全文: 内政部