米歇尔·比多特;罗尔夫·亨尼克;马丁·威尔辛 行为和抽象规范。 (英文) Zbl 0853.68130号 科学。计算。程序。 25,编号2-3,149-186(1995). 总结:在文献中,我们可以区分两种定义代数规范的观测语义的主要方法。一方面,观测语义是使用规范公理的观测满足概念来定义的,另一方面,可以通过关于代数之间的观测等价关系的抽象来定义观测语义。在本文中,我们在一个包含观测案例的更一般框架中对不同方法进行了分析和比较研究。行为规范和抽象规范的概念反映了不同观测概念之间的区别。我们为这两种规范的语义等价提供了必要和充分的条件,并证明了行为规范可以用抽象结构来表征,反之亦然,抽象规范可以用行为规范来表征。因此,这两个概念之间存在着二元性,允许彼此表达。我们还研究了与完全抽象代数的关系,这些代数可用于进一步表征行为语义。最后,我们给出了证明理论结果,表明规范的行为理论可以简化为某些代数类的标准理论。 引用于2评论引用于24文件 MSC公司: 第68季度第65季度 抽象数据类型;代数规范 关键词:代数规范的观测语义 PDF格式BibTeX公司 XML格式引用 \textit{M.Bidoit}等人,科学。计算。程序。25,编号2--3,149--186(1995;Zbl 0853.68130) 全文: 内政部