基于XYZ/ADL的Web服务体系结构形式描述

被引：5

作者：

饶元 ^{[1
]}

李尊朝 ^{[2
]}

机构：

[1] 清华大学自动化系

[2] 西安交通大学计算机科学与技术系

来源：

系统工程理论与实践 | 2006年 / 03期

关键词：

Web服务; 软件体系结构; Web服务合成; 时序逻辑;

D O I：

暂无

中图分类号：

TP393.092 [];

学科分类号：

080402 ;

摘要：

在对时序逻辑语言XYZ/E进行扩展的基础上,对服务、合成服务、面向服务的体系结构以及系统的活性、正确性以及安全性等核心概念进行了形式定义,并对整个Web服务体系结构进行了形式化的描述与实现过程的分解与逐步求精,指出了在该体系结构框架下,系统的活性、正确性以及安全性存在的与服务求精过程中所具有的语义的可组合特性,这一组合特性在服务的状态转换变迁模型下得到了证明,从而为服务的合成与重用机制提供了形式化的理论指导.

引用

页码：53 / 60

页数：8

共 5 条

[1] 基于Web服务的软件服务体系结构的研究与实现 [J].