可视化过程建模语言VPML与PETRI网的等价性证明

ＶＰＭＬ（Ｖｉｓｕａｌ Ｐｒｏｃｅｓｓ Ｍｏｄｅｌｉｎｇ Ｌａｎｇｕａｇｅ）是企事业过程建模系统ＥＰＭＳ（Ｅｎｔｅｒｐｒｉｓｅ Ｐｒｏｃｅｓｓ Ｍｏｄｅｌｉｎｇ Ｓｙｓｔｅｍ）所采用的可视化过程建模语言，适用于过程模型建造和过程模型模拟。ＶＰＭＬ语言功能的强弱直接影响过程建模的能力，它是过程建模、过程优化和运作的基础。因此，ＶＰＭＬ语义的正确性与完备性是得到可靠的过程模型的基本保证。以枚举法为基础，利用ＰＥＴＲＩ网描述ＶＰＭＬ的所有语义，从而证明ＶＰＭＬ语义的正确性与完备性。综合ＶＰＭＬ语言易于掌握，ＰＥＴＲＩ网描述并发执行简单易行的优点，建立了二者之间的映射关系，加快系统建模过程，提高开发产品的可靠性。

电信电缆交接箱管理网MNTCSB的实现

电信电缆交接箱管理网MNTCSB利用先进的计算机网络和通信技术实现了对交接箱的自动化管理 .叙述了MNTCSB系统的硬件构成、各部分通信方式的解决、地址编码和地址解析、关键算法。

政府服务热线系统的设计与实现

介绍了利用传统的交换技术和先进的计算机网络技术实现政府服务热线系统的总体结构、系统各组成部分之间通信的设计与实现、各部分功能的实现等。