有罪不罚 swMATH ID: 1574 软件作者： 戈曼，H.J.M。；Kok，J.N。；塞雷，K。；Udink，R.T.ti：《有罪不罚框架中的协调》。 描述： ImpUNITY框架内的协调。我们在本文中的主要兴趣是研究如何通过共享元组空间将不同的系统和语言组合在一起。语言本身可以是例如标准的命令式语言。因此，我们研究了一个框架，在这个框架中，我们既可以通过共享元组空间进行通信，也可以使用更标准的命令式编程结构。ImpUNITY框架是UNITY架构的扩展。它包含几个程序结构机制，并特别强调规范和程序的组合细化。它具有相关的时态逻辑、形式化细化概念和程序转换规则。在本文中，我们进一步扩展了这个框架：我们展示了如何在正式的程序规范和精化过程中，以共享元组空间的形式对通信ImpUNITY程序之间的协调进行建模和使用。我们通过一个电话系统的大型案例研究来例证我们的形式主义，其中系统中的通信部分通过元组空间来处理。此外，我们在元组空间和本地程序的状态空间中引入了结构，允许隐藏其中的一部分，并允许限制不同组件对元组空间的访问权限。 主页： http://www.springerlink.com/content/f2u7883301860112/ 关键词： 协调语言；程序规范；精化演算；程序转换；统一 相关软件： 引用于： 4文件 全部的 前5名10位作者引用 2 Joost N.角。 2 塞雷，凯萨 1 加里·博尔顿（Gary E.Bolton）。 1 Henk J.M.戈曼。 1 埃里克·海德曼。 1 埃琳娜·卡托克 1 沈晓华 1 R.T.乌丁克。 1 于、王辉 1 拉米·兹威克 4篇连载文章中引用 1 国际博弈论杂志 1 微分方程杂志 1 理论计算机科学 1 计算机程序设计科学 在4个字段中引用 2 计算机科学（68至XX） 1 偏微分方程（35-XX） 1 统计力学，物质结构（82-XX） 1 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 按年份列出的引文