两种死锁分析的逻辑方法

从逻辑的角度出发，根据请求模型用谓词逻辑分析死锁，并统一于一个通用的表示中，然后用时序逻辑方法进一步给出了一个更通用的死锁表示，用逻辑方法表示死锁，便于程序安全性验证，最后，把这些方法用于Ａｄａ程序的验证系统中。     

一种面向对象的超媒体系统结构模型

Ｄｅｘｔｅｒ模型是现在许多超媒体系结构所参考的规范。本文将面向对象技术与之相结合，燕作了适当的扩充，提出了一种面向对象的超媒体系结构模型ＯＯＭＨＳ。它具有模块性强，易扩充，一致性好和有产减少用户“迷路”机会等特点。