论文部分内容阅读
为了描述图标间的相互作用和它们的动态行为，作者提出了一个基于Ｐｅｔｒｉ网的图标编程系统。本文首先给出了四类基本图标的形式定义；接着，讨论了该系统各构件的功能并设计了网分析图的生成算法；最后，结合例子说明图标库、知识库、语法库、动态运行库等系统构件在图标编程阶段、可执行代码生成及运行阶段的协同工作过程。该系统原型在ＳＧＩ图形工作站ＵＮＩＸ环境中的运行试验表明：与时态逻辑相比，无论在编程阶段还是程序运