F·邦奇;皮埃德鲁,R;索波辛斯基;F·扎纳西;(2021) 字符串图操作语义的双代数基础。 信息与计算, 281第104767条。2016年10月10日/j.ic.2021.104767.
Turi和Plotkin的双代数语义是一种抽象方法,通过语法(编码为单子函数)和动力学(内函子)之间的分配律来指定系统的操作语义。这种设置有助于显示语义规范(组合文法)是组合的。在这项工作中,我们使用双代数方法来推导字符串图的良好结构操作语义,这是一种越来越多地用于研究不同学科的交互系统的图形语法。我们的分析依赖于将各种类别中字符串图的二维操作表示为一个单子,并将其语义表示为该单子的分布规律。作为概念证明,我们为一种通用字符串图语言提供了双代数语义,该语言已被用于建模信号流图(控制理论)和Petri网(并发理论)。