首页 | 本学科首页   官方微博 | 高级检索  
     

基于Petri网的图标编程系统
引用本文:滕至阳,袁全生,程正潮. 基于Petri网的图标编程系统[J]. 计算机学报, 1998, 21(7): 656-661
作者姓名:滕至阳  袁全生  程正潮
作者单位:东南大学计算机科学与工程系,南京,210096
基金项目:国家863高科技基金!863-511-01-0123
摘    要:为了描述图标间的相互作用和它们的动态行为,作者提出了一个基于Petri网的图标编程系统。本文首先给出了四类基本图标的形式定义;接着,讨论了该系统各构件的功能并设计了网分析图的生成算法;最后,结合例子说明图标库、知识库、语法库、动态运行库等系统构件在图标编程阶段、可执行代码生成及运行阶段的协同工作过程。该系统原型在SGI图形工作站UNIX环境中的运行试验表明:与时态逻辑相比,无论在编程阶段还是程序运

关 键 词:Petri网 图标 可视化 编程系统
修稿时间:1997-04-14

ICONIC PROGRAMMING SYSTEM BASED ON PETRI NET
TENG Zhi-yang,YUAN Quan-Sheng,CHENG Zheng-Chao. ICONIC PROGRAMMING SYSTEM BASED ON PETRI NET[J]. Chinese Journal of Computers, 1998, 21(7): 656-661
Authors:TENG Zhi-yang  YUAN Quan-Sheng  CHENG Zheng-Chao
Abstract:To describe the interactions among icons and their dynamic behaviors, a Petri net-based iconic programming system is presented. First, the formal definitions of 4 basic class icons are given. Second, the functions of system components are discussed and an algorithm to generate net analysis graph is designed. Finally, it is illustrated by an example how the system components (icon-library, knowledge-base, grammar-base, dynamic running-base, etc) cooperate during the iconic programming, code generation and execution. A system prototyping supported by UNIX for SGI graphics workstation has been implemented. It is shown by preliminary experimental trials to this prototyping that no matter iconic programming or code execution, Petri net is more effective on the visualization programming than temporal logic.
Keywords:Petri net   icon   visualization
本文献已被 CNKI 维普 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号