计算机科学 ›› 2015, Vol. 42 ›› Issue (12): 162-166.

• 第十三届全国软件与应用学术会议 • 上一篇    下一篇

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

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

  1. 华南理工大学软件学院 广州510006,华南理工大学软件学院 广州510006,广西财经学院信息与统计学院 南宁530003,广西财经学院信息与统计学院 南宁530003,华南理工大学软件学院 广州510006
  • 出版日期:2018-11-14 发布日期:2018-11-14
  • 基金资助:
    本文受国家自然科学基金(61262002),中国博士后科学基金(2014M562177),广西自然科学基金(2014GXNSFAA118378),广西高等学校科学技术研究项目(2013ZD060),广西高等学校优秀中青年骨干教师培养工程,广西高等学校高水平创新团队及卓越学者计划,广西财经学院数量经济学自治区级重点实验室资助

Unified Modeling Method of Functional and Non-functional Aspects for Composite Software

XIAO Fang-xiong, XU Bo, XIA Guo-en, LI Guo-xiang and MIN Hua-qing   

  • Online:2018-11-14 Published:2018-11-14

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

关键词: 组合式软件,功能正确性,非功能满足性,统一建模

Abstract: Non-functional aspects such as time,cost and probability,are becoming more and more important for composite software in the dynamic,open,heterogeneous and changeable environment of Internet.Constructing unite functional and non-functional models of composite software in design phase and verifying functional and non-functional aspects based on the models,are effective to assure dependability for the kind of software.In this paper,a novel property sequence diagram (PSD) was proposed by extending traditional UML sequence diagram with abstract time,cost and probability.PSD has two levels.The low level of PSD is extended with time and cost,and is used to model basic and detail interact scenarios of composite software.While the high level is extended with probability,and is used to construct full scenario by synthesizing the low levels.An example was illustrated to show the effectiveness of purposed methods.

Key words: Composite software,Functional aspect,Non-functional aspect,Unite modeling

[1] 吕建,马晓星,陶先平,等.网构软件的研究与进展[J].中国科学(E辑),2006,6(10):1037-1080 Lv Jian,Ma Xiao-xing,Tao Xian-ping,et al.Research and progress on Internetware[J].Science in China (Series E),2006,6(10):1037-1080
[2] Hamid R,Nezhad M,Stephenson B,et al.Virtual BusinessOperating Environment in the Cloud:Conceptual Architecture and Challenges [C]∥OOER.2009:501-514
[3] Garcia G,Octavio J.Agent-based cloud service composition [J].Applied Intelligence,2013,38(3):436-464
[4] Zeng Liang-zhao,et al.QoS-Aware Middleware for Web Services Composition[J].IEEE Transactions on Software Engineering,2004,30(5):311-327
[5] W3C.QoS for Web Services:Requirements and Possible Ap-proaches[EB/OL].http://www.w3c.or.kr/kr-office/TR/2003/ws-qos/
[6] 肖芳雄,李燕,黄志球,等.基于时间概率代价进程代数的组合式软件建模和分析[J].计算机学报,2012,35(5):918-936 Xiao F X,Li Y,Huang Z Q,et al.Modeling and Analyzing Web Services Composition Using Timed Probabilistic Priced Process Algebra[J].Chinese Journal of Computer,2012,35(5):918-936
[7] Object Management Group.UML profile for schedulability,performance and time [EB/OL].http://www.omg.org/spec/SPTP/5
[8] Object Management Group.UML profile for modeling QoS and fault tolerance characteristics and mechanisms[EB/OL].http://www.omg.org/spec/QFTP/
[9] Object Management Group.UML profile for modeling and ana-lysis of real-time and embedded systems version1.0[EB/OL].http://www.omg.org/spec/MARTE/1.0/
[10] Cambronero M E.Using UML Diagrams to Model Real-TimeWeb Services[C]∥Proceedings of the Second International Conference on Internet and Web Applications and Services.2007:24-30
[11] Cambronero E M.RT-UML for modeling Real-Time Web Ser-vices[C]∥Proceedings of the 3rd IEEE International Conference on Service Computing Workshops.Illinois,USA:IEEE Press,2006:131-139
[12] 柳毅,麻志毅,何啸,等.一种从UML模型到可靠性分析模型的转换方法[J].软件学报,2010,1(2):287-304 Liu Yi,Ma Zhi-yi,He Xiao,et al.Approach to Transforming UML Model to Reliability Analysis Model[J].Journal of Software,2010,1(2):287-304
[13] Corellessa V,Pompei A.Towards a UML profile for QoS:A contribution in the reliability domain[J].ACM SIGSOFT Software Engineering Notes,2004,9(1):197-206
[14] Bernardi S,Merseguer J,Petriu D C.Adding dependability ana-lysis capabilities to the MARTE profile[C]∥Czarnecki K,Ober I,Bruel J M,et al.,eds.Proc.of the 11th Int’l Conf.on Model Driven Engineering Languages and Systems.Berlin:Springer-Verlag,2008:736-750
[15] Cortellessa V,Singh H,Cukic B.Early reliability assessment of UML based software models[C]∥Balsamo S,ed.Proc.of the 3rd Int’l Workshop on Software and Performance.New York:ACM Press,2002:302-309
[16] Majzik I,Pataricza A,Bondavalli A.Stochastic dependability analysis of system architecture based on UML Models[C]∥de Lemos R,Gacek C,Romanovsky A,eds.Architecting Dependable Systems.LNCS 2677,Berlin,Heidelberg:Springer-Verlag,2003:219-244
[17] Rodrigues G,Rosenblum D,Uchitel S.Using scenarios to predict the reliability of concurrent component-based software systems[C]∥Cerioli M,ed.Fundamental Approaches to Software Engineering,FASE 2005.Berlin:Springer-Verlag,2005:111-126

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
[1] 雷丽晖,王静. 可能性测度下的LTL模型检测并行化研究[J]. 计算机科学, 2018, 45(4): 71 -75, 88 .
[2] 夏庆勋,庄毅. 一种基于局部性原理的远程验证机制[J]. 计算机科学, 2018, 45(4): 148 -151, 162 .
[3] 厉柏伸,李领治,孙涌,朱艳琴. 基于伪梯度提升决策树的内网防御算法[J]. 计算机科学, 2018, 45(4): 157 -162 .
[4] 王欢,张云峰,张艳. 一种基于CFDs规则的修复序列快速判定方法[J]. 计算机科学, 2018, 45(3): 311 -316 .
[5] 孙启,金燕,何琨,徐凌轩. 用于求解混合车辆路径问题的混合进化算法[J]. 计算机科学, 2018, 45(4): 76 -82 .
[6] 张佳男,肖鸣宇. 带权混合支配问题的近似算法研究[J]. 计算机科学, 2018, 45(4): 83 -88 .
[7] 伍建辉,黄中祥,李武,吴健辉,彭鑫,张生. 城市道路建设时序决策的鲁棒优化[J]. 计算机科学, 2018, 45(4): 89 -93 .
[8] 刘琴. 计算机取证过程中基于约束的数据质量问题研究[J]. 计算机科学, 2018, 45(4): 169 -172 .
[9] 钟菲,杨斌. 基于主成分分析网络的车牌检测方法[J]. 计算机科学, 2018, 45(3): 268 -273 .
[10] 史雯隽,武继刚,罗裕春. 针对移动云计算任务迁移的快速高效调度算法[J]. 计算机科学, 2018, 45(4): 94 -99, 116 .