摘要：1.引言 协议是计算机系统中两个要通信的实体必须共同遵守的一套约定,随着计算机网络和分布式系统的发展,协议的设计变得越来越复杂,所以,近年来有许多人从事这方面的研究,试图将一些形式化的方法引入协议设计的各个阶段。

摘要：本文介绍了一种交互式Ｐｅｔｒｉ网图形系统的设计思想与实现细节，其中包括系统功能；Ｐｅｔｒｉ网的数据结构以及其图形的压缩存储／还原算法；从Ｐｅｔｒｉ网图形到其矩阵表示的自动转换等。

摘要：一、引言 约束逻辑程序设计(Constraint Logic ***)是基于人工智能(AI)中约束满足问题(Constraint Satisfaction ***)模型的一种程序设计风范。CLP是逻辑程序设计(LP)的一种推广,是八十年代发展起来的一种新的逻辑程序设计方法。由于它继承了LP简单易懂的说明性描述方法并结合了CSP在求解问题时的效率,使它在解决很多AI问题(如组合问题、资源分配、事务安排等)时有不凡的表现。更由于AI领域中绝大多数问题可以用CLP来表示,所以这一方法已引起了人们的广泛注意,并在八十年代后期得以迅速发展。

摘要：近年来,基于消息传递的并行处理方式越来越受到重视,PVM(Parallel Virture Machine)

摘要：讨论了超文本结点的粒度问题和粒度划分的原则，提出了动态增加超文本链的算法，并叙述了一个原型系统的设计与实现。

摘要：本文给出了一个基于Ｃ＋＋的超文本ＣＡＳＥ子系统在通信协议辅助设计中的应用，同时对该系统的设计与实现过程、其内部结构、结点类型说明等做了介绍．

摘要：在网络协议的设计过程中,一个重要的段就是对协议的运行行为进行验证,以确定协议的正确性。本文采用可达性分析的方法,实现了对用Petri网描述的协议模型运行行为的自动验证,包括死锁验证、非法循环验证及特定状态的验证。

摘要：本文叙述了一个基于面向对象程序设计语言Ｃ＋＋的超文本ＣＡＳＥ系统的设计与实现过程，并对其内部结构、结点类型说明和应用环境做了详细介绍。

摘要：采用工程的方法对计算机通信协议形式化理论进行了研究，并详细叙述了所设计的、基于Ｐｅｔｒｉ网理论的辅助设计工具Ｐｅｔｏｎ，是对“协议工程”方法学的一种补充。

摘要：研究了一种基于Ｐｅｔｒｉ网的协议辅助设计工具Ｐｅｔｏｎ的实现细节。该研究是对计算机辅助协议工程（ＣＡＰＥ）方法学的一种有益的尝试．