首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   1篇
  免费   0篇
自动化技术   1篇
  2011年   1篇
排序方式: 共有1条查询结果,搜索用时 3 毫秒
1
1.
面向概念设计技术也称为泛型设计技术,可以将一般服务组合的共同性质进行提取形成泛型形式,并在抽象级别进行验证,其主要目标是提高规范的可重用性和简化验证的需要。基于概念描述语言Tecton定义了泛型服务组合的形式化规范,然后应用结构化归纳法验证规范的完备性。并通过与其他过程定义的形式化方法的比较,说明了面向概念设计技术可重用性方面的优势。  相似文献   
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号