raymond reiter的心血之作，关于情景演算的

Web服务是WWW发展的一个重要的趋势,Web服务的相关问题得到了广泛的研究和应用,Web服务的自动组合是其中一个热点。要实现Web服务的自动组合,必须对Web服务的语义进行形式化的描述。情景演算是一种形式化的建模和规划方法,利用情景演算对Web服务进行描述,能使自动组合结果更加快速和准确。在分析情景演算特点的基础上,使用情景演算对一个基于Web服务的会议行程安排系统进行了Web服务语义描述。

在实际的网络应用当中，相比较客户端的形式，人们更希望所能提供服务设施和应用程序的平台来自简单方便的网络浏览器。基于多阶段可用性的Web服务组合管理关键技术的研究成功，将解决目前服务组合管理中的许多关键问题。本文主要研究人工智能语言Prolog在该项目中的应用与发展，用情景演算理论作为推导理论，并用逻辑编程语言对服务内容加以描述，同时在Prolog的基础上扩展到对Golog语言的研究，并在此基础上针对Web服务需求做出了一些推论。

为适应网构问 环境下应用系统主客体间访问集中控制的需要，提出了一种基于动态情景网关的系统协同访控制模型DSGAC。首先，给出了网构应用系统中访问的动态情景要素构成，从多视角定义了情景要素；其次，提供动态情景状态机的概念，并给出了动态情景机约束下的系统协同访问网关模型DSGAC，支持情景状态演算、规则演算；最后，实际案例应用验证表明DSGAC模型在应用系统的应用可行性，并归纳了其与现有访问控制模型的相对创新性。