文献类型：期刊文献

中文题名：泛型Web服务组合规范和验证

英文题名：GENERIC WEB SERVICES COMPOSITION SPECIFICATION AND VERIFICATION

作者：翟洁[1];邵志清[1]

机构：[1]华东理工大学计算机科学与工程系,上海200237

年份：2011

卷号：28

期号：11

起止页码：64

中文期刊名：计算机应用与软件

外文期刊名：Computer Applications and Software

收录：CSTPCD;;CSCD:【CSCD_E2011_2012】；

基金：国家自然科学基金项目(6100312)

语种：中文

中文关键词：概念;泛型;Tecton;结构化归纳法

外文关键词：Concept Generic form Tecton Structural induction

摘要：面向概念设计技术也称为泛型设计技术,可以将一般服务组合的共同性质进行提取形成泛型形式,并在抽象级别进行验证,其主要目标是提高规范的可重用性和简化验证的需要。基于概念描述语言Tecton定义了泛型服务组合的形式化规范,然后应用结构化归纳法验证规范的完备性。并通过与其他过程定义的形式化方法的比较,说明了面向概念设计技术可重用性方面的优势。
Concept-oriented design technology is also known as generic form design technology. It can capture general properties from ordinary services composition to form a generic form and prove it at an abstract level. Its main goal is to improve the reusability of specificatior s and reduce the needs for proof. The paper, based on Tecton, which is a concept description language, defines the formal specification of generic services composition. Then it applies structural induction to validate the completeness of the specification. Moreover through comparison against formal methods defined by other processes, the reusability advantage of the concept-oriented design technology is elaborated.