HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour
HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour
复制标题
HYPE：组合流和紧急行为的过程代数
DOI：
--
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
J. Hillston
中科院分区：
文献类型：
--
作者：
Vashti Galpin;L. Bortolussi;J. Hillston
近年来，在文献中出现了几个过程代数建模混合动力系统。这些都假设系统中的连续变量是整体建模的，通常在过程代数表达式的语法中显式嵌入微分方程。在HYPE中，采用了另一种方法，该方法提供了更细粒度的建模，每个流量或影响单独建模的变量。然后，整体行为就作为这些流的组成出现了。这种方法是由一个操作语义的支持，区分状态的流的集合，并支持一个等价满足的属性，bisilimeric HYPE模型产生相同的连续行为集。
Several process algebras for modelling hybrid systems have appeared in the literature in recent years. These all assume that continuous variables in the system are modelled monolithically, often with the differential equations embedded explicitly in the syntax of the process algebra expression. In HYPE an alternative approach is taken which offers finer-grained modelling with each flow or influence affecting a variable modelled separately. The overall behaviour then emerges as the composition of these flows. This approach is supported by an operational semantics which distinguishes states as collections of flows and which is supported by an equivalence which satisfies the property that bisimilar HYPE models give rise to the same sets of continuous behaviours.