计算机科学>编程语言
标题: 基于并发约束范式的混合系统建模
摘要: 混合系统结合了离散和连续动力学,需要描述或分析质量建模语言。 并发约束范式(ccp)是一种表达性声明范式,其特点是使用公共约束存储来通信和同步并发代理。 在这个范例中,信息以约束的形式表示,与命令式语言典型的变量/值样式相反。 为了对反应系统建模,提出了ccp的几个扩展。 其中一个扩展是定时并发约束语言(tcpp),它为ccp添加了离散时间的概念和新功能,以对超时和抢占操作进行建模。 本文的目的是探索tccp在描述混合系统时的表达能力。 我们引入Hy-tccp语言作为tccp的保守扩展,通过添加连续时间的概念和新的结构来描述混合系统的连续动力学。 在本文中,我们介绍了Hy-tccp的语法和操作语义,并通过一些示例展示了我们的新语言的表达能力。