绍兴市教育科学规划课题(SGJ11061)
- 作品数：2 被引量：1H指数：1
- 相关作者：高俊李长云陈暄韩冰杜艳明更多>>
- 相关机构：湖南工业大学浙江工业职业技术学院更多>>
- 发文基金：浙江省教育科学规划课题绍兴市教育科学规划课题中国博士后科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种网构软件体系结构中的纵横验证机制被引量：1
- 2012年
- 如何在开放、动态、复杂的Internet环境下开发网构软件是软件技术领域一个挑战性课题。从网构软件整个生命周期入手,对网构软件的形式化模型,在简单介绍抽象状态机(ASM)的基础理论之后,刻画了网构软件的构件模型,并对构件模型进行了基于ASM的形式化描述,在此基础上,将粗粒度抽象构件的精化问题转换为求解构件组合方案的问题,并在体系结构元层,提出一种双向验证方法对不同抽象程度的组合方案进行横向和纵向的验证,以保证目标系统的正确性和求精过程的正确性。以上形式化建模和双向验证方法尽可能地避免和消除了软件设计早期的错误。通过系统实验验证可以看出,该方法对网构软件的开发具有一定指导意义。
- 陈暄高俊李长云
- 关键词：形式化验证软件体系结构抽象状态机
- 基于领域本体和QoS的服务选取方法
- 2012年
- 针对如何在众多Web服务中找到满足功能需求的服务,又如何在多个相似服务和多个组合方案中寻求最优目标,提出一种基于领域本体概念和决策理论的服务选取方法。该方法首先借助领域本体概念,根据输入输出参数的语义找到满足功能需求的服务,在多个相似服务和多组合方案选择上,通过对各QoS属性综合决策评估出最优解。最后通过实验验证了该方法的有效性和可行性。
- 杜艳明高俊李长云韩冰
- 关键词：领域本体
