分享到:

Trace演算

文章定义了基于踪迹(trace)的逻辑语言Trace,它是一阶线性时序逻辑语言的扩充,同时也是“对象演算”研究工作的基础.Trace演算所述的“对象”用来刻画具有内部状态和外部行为的动态实体,语法上由对象标记表示.对象标记Ω=(S,F,A,E)包含4个部分;数据类型S、函数F  (本文共3;页) 阅读全文>>

《软件学报》1999年09期
软件学报

对象演算Ⅰ

对象演算是一个面向对象的逻辑演算系统,它建立在描述具有内部状态的动态演变实体的Trace演算之上.对象比一般意义下的动态实体具有更多和更好的特性,特别是封装性.为此,文章引入有效动作的概念...  (本文共3;页) 阅读全文>>

华中科技大学
华中科技大学

Web服务组合形式化模型研究

随着Web服务技术的迅速发展,越来越多的的Web服务运行在Internet上,但单个的Web服务功能有限,难以满足日益增长和不断变化的用户需求。因此,如何将已有的、运行在异构平台上的Web服务组合起来,以提供给用户更为强大和增值的功能,成为Web服务研究领域中的一个热点。由于已有的Web服务可能是彼此独立地开发,以不同语言实现,运行在不同的、异构的平台上,因此Web服务组合存在的问题有:如何描述Web服务的动态行为,如何定义和描述Web服务间的交互的逻辑顺序以保证Web服务的动态行为的匹配性,如何保证Web服务之间传递消息的数据类型的一致性,如何对组合的Web服务进行验证和测试以确保执行结果的正确性。目前已经提出的Web服务组合规范如BPEL4WS、WS-CDL都是基于XML的描述性语言,缺乏一种形式化模型来表达语言的语义以及形式化验证方法来保证用这些规范所定义的Web服务组合的正确性。同时,由于参与Web服务组合的各个子服务都...  (本文共176页) 本文目录 | 阅读全文>>

《软件学报》1999年09期
软件学报

对象演算Ⅱ

文章应用Goguen 等人的结论证明并得到了几个结构化对象演算的基本定理.一方面,这些定理保证了该文可由现有...  (本文共3;页) 阅读全文>>