Author Login Chief Editor Login Reviewer Login Editor Login Remote Office

›› 2001, Vol. 27 ›› Issue (09): 29-31.

• Papers • Previous Articles     Next Articles

Design and Implementation of Operation Wizard of Concurrent System

GAO Qi,JIANG Changjun   

  1. (Dept. of Comp. Sci. & Eng. Tongji University, Shanghai 200092)
  • Published:2001-09-25

并发验证系统中操作向导的设计与实现

高祺,蒋昌俊   

  1. 同济大学计算机科学与工程系,同济大学计算机科学与工程系 上海 200092, 上海 200092

Abstract: This paper introduces the Operation Wizard of the verification system for concurrent program. It shows how we achieved it. Moreover, some problems we met in R&D and some technologies we applied are discussed in the paper.

摘要: 介绍并发验证系统中的操作向导。给出了具体的实现方案;此外,研发过程中遇到的相关问题和采用的技术也是讨论的对象。

关键词: Petri网模型, 操作向导, 处理模块, 对话栏

CLC Number: