您的位置： 专家智库 > >

国家自然科学基金(6100312)

作品数：1 被引量：0H指数：0
相关作者：翟洁邵志清更多>>
相关机构：华东理工大学更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇泛型
  • 1篇WEB

机构

  • 1篇华东理工大学

作者

  • 1篇邵志清
  • 1篇翟洁

传媒

  • 1篇计算机应用与...

年份

  • 1篇2011
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
泛型Web服务组合规范和验证
2011年
面向概念设计技术也称为泛型设计技术,可以将一般服务组合的共同性质进行提取形成泛型形式,并在抽象级别进行验证,其主要目标是提高规范的可重用性和简化验证的需要。基于概念描述语言Tecton定义了泛型服务组合的形式化规范,然后应用结构化归纳法验证规范的完备性。并通过与其他过程定义的形式化方法的比较,说明了面向概念设计技术可重用性方面的优势。
翟洁邵志清
关键词：泛型
全选 清除 导出
共1页<1>
聚类工具0