摘要：从软件体系结构的角度 ,运用 Z-规范在系统级描述了应用框架和设计样本的语义 ,包括设计样本的组成、联系、合成和运用设计样本组成应用框架等 ,与通常的非形式化方式 ,如图表、自然语言等描述形式相比 ,具有语义精确。

摘要：本文分析了威胁ATM网络安全的攻击种类，指出了VLIP存在的安全漏洞，在此基础上提出了一种基于CLIP方式的ATM网络安全系统的设计模型。

摘要：提出一个基于Ｐｅｔｒｉ网的超媒体形式模型ＨＰＮ。着重给出ＨＰＮ模型的形式化定义并举例说明，阐述ＨＰＮ模型对超媒体若干性质的刻画。

摘要：与因特网上的 Ｈ Ｔ Ｔ Ｐ 相比，本文提出的基于因特网多目 Ｉ Ｐ 协议而设计的双向多目文件推送协议 Ｍ Ｆ Ｐ Ｐ，能将各种信息以文件形式可靠地推送到多个客户机，并提供了压缩合并客户机回应消息机制。因此多目推送具有节省网络带宽，减轻用户查找信息的负担。