基于XYZPADL 的Web 服务体系结构形式描述 |
| |
引用本文: | 饶元,李尊朝.基于XYZPADL 的Web 服务体系结构形式描述[J].系统工程理论与实践,2006,26(3):53-60. |
| |
作者姓名: | 饶元 李尊朝 |
| |
作者单位: | 1. 清华大学自动化系,北京,100084;用友软件股份有限公司,北京,100085 2. 西安交通大学计算机科学与技术系,陕西,西安,710049 |
| |
基金项目: | 国家科技攻关项目;陕西省西安市科技攻关项目 |
| |
摘 要: | 在对时序逻辑语言XYZ/E进行扩展的基础上,对服务、合成服务、面向服务的体系结构以及系统的活性、正确性以及安全性等核心概念进行了形式定义,并对整个Web服务体系结构进行了形式化的描述与实现过程的分解与逐步求精,指出了在该体系结构框架下,系统的活性、正确性以及安全性存在的与服务求精过程中所具有的语义的可组合特性,这一组合特性在服务的状态转换变迁模型下得到了证明,从而为服务的合成与重用机制提供了形式化的理论指导.
|
关 键 词: | Web服务 软件体系结构 Web服务合成 时序逻辑 |
文章编号: | 1000-6788(2006)03-0053-08 |
修稿时间: | 2004年11月18 |
本文献已被 CNKI 万方数据 等数据库收录! |
| 点击此处可从《系统工程理论与实践》浏览原始摘要信息 |
| 点击此处可从《系统工程理论与实践》下载免费的PDF全文 |
|