计算机科学 ›› 2015, Vol. 42 ›› Issue (12): 162-166.
肖芳雄,许 波,夏国恩,李国祥,闵华清
XIAO Fang-xiong, XU Bo, XIA Guo-en, LI Guo-xiang and MIN Hua-qing
摘要： 在Internet动态、开放、异构、多变的环境下,组合式软件不仅要满足功能正确,非功能(时间、代价、概率等)属性的满足也日益成为一个重要的问题。在组合式软件的设计阶段,建立组合式软件功能和非功能的统一模型并验证其功能正确性和非功能满足性,是确保组合式软件可信性的重要手段。在UML序列图的基础上进行时间、代价、概率属性的扩展,提出了一种可对组合式软件的交互行为及其时间、代价、概率属性统一建模的属性序列图,该属性序列图以两层模式进行建模,其中基本属性序列图可对涉及时间、代价属性的具体交互场景建模,高层属性序列图通过概率合成基本属性序列图可形成全局场景。给出了针对BPEL4WS的建模实例以说明所提建模方法的有效性。
| [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! |
|
||
首页