10.3321/j.issn:1000-6788.2006.03.008
基于XYZ/ADL的Web服务体系结构形式描述
在对时序逻辑语言XYZ/E进行扩展的基础上,对服务、合成服务、面向服务的体系结构以及系统的活性、正确性以及安全性等核心概念进行了形式定义,并对整个Web服务体系结构进行了形式化的描述与实现过程的分解与逐步求精,指出了在该体系结构框架下,系统的活性、正确性以及安全性存在的与服务求精过程中所具有的语义的可组合特性,这一组合特性在服务的状态转换变迁模型下得到了证明,从而为服务的合成与重用机制提供了形式化的理论指导.
Web服务、软件体系结构、Web服务合成、时序逻辑
26
TP393.09(计算技术、计算机技术)
国家科技攻关项目2003AA4Z3230;2005AA4Z3210;陕西省西安市科技攻关项目KS200306
2006-04-20(万方平台首次上网日期,不代表论文的发表时间)
共8页
53-60