期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
面向组合式软件功能正确性和非功能满足性的统一建模方法
1
作者
肖芳雄
许波
+2 位作者
夏国恩
李国祥
闵华清
《计算机科学》
CSCD
北大核心
2015年第12期162-166,共5页
在Internet动态、开放、异构、多变的环境下,组合式软件不仅要满足功能正确,非功能(时间、代价、概率等)属性的满足也日益成为一个重要的问题。在组合式软件的设计阶段,建立组合式软件功能和非功能的统一模型并验证其功能正确性和非功...
在Internet动态、开放、异构、多变的环境下,组合式软件不仅要满足功能正确,非功能(时间、代价、概率等)属性的满足也日益成为一个重要的问题。在组合式软件的设计阶段,建立组合式软件功能和非功能的统一模型并验证其功能正确性和非功能满足性,是确保组合式软件可信性的重要手段。在UML序列图的基础上进行时间、代价、概率属性的扩展,提出了一种可对组合式软件的交互行为及其时间、代价、概率属性统一建模的属性序列图,该属性序列图以两层模式进行建模,其中基本属性序列图可对涉及时间、代价属性的具体交互场景建模,高层属性序列图通过概率合成基本属性序列图可形成全局场景。给出了针对BPEL4WS的建模实例以说明所提建模方法的有效性。
展开更多
关键词
组合式软件
功能正确性
非功能满足性
统一建模
在线阅读
下载PDF
职称材料
可组合嵌入式软件建模与验证技术研究综述
被引量：
18
2
作者
王博
白晓颖
+1 位作者
贺飞
Xiaoyu SONG
《软件学报》
EI
CSCD
北大核心
2014年第2期234-253,共20页
可组合嵌入式软件以构件开发技术为基础,研究嵌入式构件的建模、组合性质、构件间组合机制以及组合验证等理论、方法和技术.从组合理论、建模与验证技术这3个方面对可组合嵌入式软件的研究现状进行调研分析.组合理论研究给出构件可组合...
可组合嵌入式软件以构件开发技术为基础,研究嵌入式构件的建模、组合性质、构件间组合机制以及组合验证等理论、方法和技术.从组合理论、建模与验证技术这3个方面对可组合嵌入式软件的研究现状进行调研分析.组合理论研究给出构件可组合性的乐观定义和悲观定义,从组合操作、组合规则两个方面定义构件间的组合机制.针对嵌入式构件的特点,着重调研了非功能特性和异构构件的建模与组合技术,分析了非功能特性约束、面向多特性的模型等方法.分析了基于契约的验证、基于不变量的验证、基于模型检查的验证等多种嵌入式软件组合验证技术.最后,探讨了需要进一步研究的问题.
展开更多
关键词
可
组合
嵌入
式
软件
可
组合
性
相容性
组合
模型
组合
机制
组合
验证
在线阅读
下载PDF
职称材料
题名
面向组合式软件功能正确性和非功能满足性的统一建模方法
1
作者
肖芳雄
许波
夏国恩
李国祥
闵华清
机构
华南理工大学软件学院
广西财经学院信息与统计学院
出处
《计算机科学》
CSCD
北大核心
2015年第12期162-166,共5页
基金
国家自然科学基金(61262002)
中国博士后科学基金(2014M562177)
+4 种基金
广西自然科学基金(2014GXNSFAA118378)
广西高等学校科学技术研究项目(2013ZD060)
广西高等学校优秀中青年骨干教师培养工程
广西高等学校高水平创新团队及卓越学者计划
广西财经学院数量经济学自治区级重点实验室资助
文摘
在Internet动态、开放、异构、多变的环境下,组合式软件不仅要满足功能正确,非功能(时间、代价、概率等)属性的满足也日益成为一个重要的问题。在组合式软件的设计阶段,建立组合式软件功能和非功能的统一模型并验证其功能正确性和非功能满足性,是确保组合式软件可信性的重要手段。在UML序列图的基础上进行时间、代价、概率属性的扩展,提出了一种可对组合式软件的交互行为及其时间、代价、概率属性统一建模的属性序列图,该属性序列图以两层模式进行建模,其中基本属性序列图可对涉及时间、代价属性的具体交互场景建模,高层属性序列图通过概率合成基本属性序列图可形成全局场景。给出了针对BPEL4WS的建模实例以说明所提建模方法的有效性。
关键词
组合式软件
功能正确性
非功能满足性
统一建模
Keywords
Composite software, Functional aspect, Non-functional aspect, Unite modeling
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
可组合嵌入式软件建模与验证技术研究综述
被引量：
18
2
作者
王博
白晓颖
贺飞
Xiaoyu SONG
机构
清华大学计算机科学与技术系
清华大学软件学院
Maseeh College of Electrical and Computer Engineering
出处
《软件学报》
EI
CSCD
北大核心
2014年第2期234-253,共20页
基金
国家自然科学基金(61073003
91218302)
文摘
可组合嵌入式软件以构件开发技术为基础,研究嵌入式构件的建模、组合性质、构件间组合机制以及组合验证等理论、方法和技术.从组合理论、建模与验证技术这3个方面对可组合嵌入式软件的研究现状进行调研分析.组合理论研究给出构件可组合性的乐观定义和悲观定义,从组合操作、组合规则两个方面定义构件间的组合机制.针对嵌入式构件的特点,着重调研了非功能特性和异构构件的建模与组合技术,分析了非功能特性约束、面向多特性的模型等方法.分析了基于契约的验证、基于不变量的验证、基于模型检查的验证等多种嵌入式软件组合验证技术.最后,探讨了需要进一步研究的问题.
关键词
可
组合
嵌入
式
软件
可
组合
性
相容性
组合
模型
组合
机制
组合
验证
Keywords
composable embedded software
compatibility
composability
composition model
composition mechanism
composition verification
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
面向组合式软件功能正确性和非功能满足性的统一建模方法
肖芳雄
许波
夏国恩
李国祥
闵华清
《计算机科学》
CSCD
北大核心
2015
0
在线阅读
下载PDF
职称材料
2
可组合嵌入式软件建模与验证技术研究综述
王博
白晓颖
贺飞
Xiaoyu SONG
《软件学报》
EI
CSCD
北大核心
2014
18
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
