帕瓦内 swMATH ID: 29850 软件作者： G.-C.Roman、K.C.Cox、Donald Wilcox、Jerome Y.Plun 描述： Pavane：并发计算的声明性可视化系统。本文描述了Pavane的概念模型、规范方法和可视化方法，Pavane是一个涉及探索、监视和显示并发计算的可视化环境。从可视化被视为从程序状态到几何对象三维世界的映射的意义上来说，底层可视化模型是声明性的。后者以全彩呈现，可以由允许在几何世界中导航的观众自由检查。状态到几何体映射定义为几个简单映射的组合。选择取决于方法和架构考虑。本文展示了这种分解是如何通过两个方法论目标形成的：（1）直观地捕获程序的抽象形式属性（例如安全和进度），而不是操作细节；以及（2）需要支持原子计算事件的复杂动画。所有映射都使用基于规则的表示法指定；在可视化过程中，可以随时添加、删除和修改规则。使用扩散计算中的终止检测算法来说明说明方法，并展示其概念的优雅性和灵活性。流行人工智能程序的并发版本提供了一种工具，用于演示我们如何从程序的关键形式属性（即，从对验证其正确性很重要的程序的安全和进度断言）中导出图形表示和动画场景。 主页： https://www.sciencedirect.com/science/article/pii/1045926X9290014D 相关软件： 探戈;利奥纳多;宙斯;波尔卡;LEDA公司;有线电视盒;X坦戈;GeoWin公司;FAUST公司;凯特琳;动物;佐治亚州;缪斯;EVEGA公司;JCAT公司;基尔;JFLAP公司;游行;阿拉丁;爪哇 引用于： 4文件 全部的 前5名7位作者引用 2 卡米尔·德米特里斯库 2 艾琳·菲诺奇 2 约翰·T·斯塔斯科。 1 Stephan迪尔 1 意大利，朱塞佩·弗朗西斯科 1 安德烈亚斯·凯伦 1 纳什，斯特凡 连载1篇 1 计算机科学课堂讲稿 在1个字段中引用 4 计算机科学（68至XX） 按年份列出的引文