面向组合式软件功能正确性和非功能满足性的统一建模方法

肖芳雄; 许波; 夏国恩; 李国祥; 闵华清

首页> 中文期刊> 《计算机科学》 >面向组合式软件功能正确性和非功能满足性的统一建模方法

面向组合式软件功能正确性和非功能满足性的统一建模方法

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

在Internet动态、开放、异构、多变的环境下,组合式软件不仅要满足功能正确,非功能(时间、代价、概率等)属性的满足也日益成为一个重要的问题.在组合式软件的设计阶段,建立组合式软件功能和非功能的统一模型并验证其功能正确性和非功能满足性,是确保组合式软件可信性的重要手段.在UML序列图的基础上进行时间、代价、概率属性的扩展,提出了一种可对组合式软件的交互行为及其时间、代价、概率属性统一建模的属性序列图,该属性序列图以两层模式进行建模,其中基本属性序列图可对涉及时间、代价属性的具体交互场景建模,高层属性序列图通过概率合成基本属性序列图可形成全局场景.给出了针对BPEL4WS的建模实例以说明所提建模方法的有效性.

著录项

来源
《计算机科学》 |2015年第12期|162-166|共5页
作者
肖芳雄; 许波; 夏国恩; 李国祥; 闵华清;
展开▼
作者单位

华南理工大学软件学院广州510006;

华南理工大学软件学院广州510006;

广西财经学院信息与统计学院南宁530003;

广西财经学院信息与统计学院南宁530003;

华南理工大学软件学院广州510006;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
组合式软件; 功能正确性; 非功能满足性; 统一建模;

相似文献

中文文献
外文文献
专利

1. 可信软件非功能需求可满足性经济学方法分析 [J] . 白川 ,张璇 ,王旭 . 计算机工程与应用 . 2017,第022期
2. 面向有效错误定位的偶然正确性识别方法 [J] . 曹鹤玲 ,姜淑娟 ,王兴亚 . 电子学报 . 2016,第012期
3. 一种面向语义正确性的关系数据库访问方法 [J] . 唐富年 ,姚莉 ,李金洋 . 国防科技大学学报 . 2012,第003期
4. 程序正确性证明中逻辑公式的可满足性C [J] . 王彩芬 . 西北师范大学学报（自然科学版） . 2001,第003期
5. 非功能需求满足性的建模及其难解性 [J] . 李红杰 ,谢惠扬 . 合肥工业大学学报（自然科学版） . 2017,第006期
6. 面向对象程序的正确性证明方法探讨 [C] . 方程平 . 2001年全国理论计算机科学学术会议 . 2001
7. 面向压装设备的实时检测系统的软件功能设计 [A] . 李明贵 . 2013

面向组合式软件功能正确性和非功能满足性的统一建模方法

摘要

著录项

相似文献

相关主题

期刊订阅