10.3969/j.issn.1000-386X.2011.11.016
泛型Web服务组合规范和验证
面向概念设计技术也称为泛型设计技术,可以将一般服务组合的共同性质进行提取形成泛型形式,并在抽象级别进行验证,其主要目标是提高规范的可重用性和简化验证的需要.基于概念描述语言Tecton定义了泛型服务组合的形式化规范,然后应用结构化归纳法验证规范的完备性.并通过与其他过程定义的形式化方法的比较,说明了面向概念设计技术可重用性方面的优势.
概念、泛型、Tecton、结构化归纳法
28
TP311(计算技术、计算机技术)
2011中国计算机大会论文.国家自然科学基金项目6100312
2012-03-16(万方平台首次上网日期,不代表论文的发表时间)
共6页
64-68,187