| 泛型Web服务组合规范和验证 |
| |
| 引用本文： | 翟洁,邵志清. 泛型Web服务组合规范和验证[J]. 计算机应用与软件, 2011, 28(11) |
| |
| 作者姓名： | 翟洁 邵志清 |
| |
| 作者单位： | 华东理工大学计算机科学与工程系 上海200237 |
| |
| 基金项目： | 国家自然科学基金项目(6100312) |
| |
| 摘 要： | 面向概念设计技术也称为泛型设计技术,可以将一般服务组合的共同性质进行提取形成泛型形式,并在抽象级别进行验证,其主要目标是提高规范的可重用性和简化验证的需要。基于概念描述语言Tecton定义了泛型服务组合的形式化规范,然后应用结构化归纳法验证规范的完备性。并通过与其他过程定义的形式化方法的比较,说明了面向概念设计技术可重用性方面的优势。
|
| 关 键 词： | 概念 泛型 Tecton 结构化归纳法 |
GENERIC WEB SERVICES COMPOSITION SPECIFICATION AND VERIFICATION |
| |
| Zhai Jie,Shao Zhiqing. GENERIC WEB SERVICES COMPOSITION SPECIFICATION AND VERIFICATION[J]. Computer Applications and Software, 2011, 28(11) |
| |
| Authors: | Zhai Jie Shao Zhiqing |
| |
| Affiliation: | Zhai Jie Shao Zhiqing (Department of Computer Science and Engineering,East China University of Science and Technology,Shanghai 200237,China) |
| |
| Abstract: | |
| |
| Keywords: | Concept Generic form Tecton Structural induction |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
