基于过设计与欠设计约束的服务质量控制方法收

J4 ›› 2015, Vol. 37 ›› Issue (01): 84-92.

基于过设计与欠设计约束的服务质量控制方法收

段玉聪1,高洪皓2,唐朝胜1,杜文才1,万世想1,卢俊星1

(1.海南大学信息科学技术学院,海南海口 570288；2.上海大学计算中心,上海 200444)

收稿日期:2014-09-10 修回日期:2014-11-24 出版日期:2015-01-25 发布日期:2015-01-25
基金资助:
国家自然科学基金资助项目(61363007);海南大学基金资助项目(HDSF201310,kyqd1242);上海高校青年教师培养资助计划(ZZSD13008)

A QoS control approach based on
the constraint of over design and under design

DUAN Yucong1,GAO Honghao2,TANG Chaosheng1,DU Wencai1,WAN Shixiang1,LU Junxing1

(1.College of Information Science & Technology,Hainan University,Haikou 570228;
2.Center of Computing,Shanghai University,Shanghai 200444,China）

Received:2014-09-10 Revised:2014-11-24 Online:2015-01-25 Published:2015-01-25

摘要/Abstract

摘要：

随着Web 服务技术的发展，基于服务模式的软件被广泛应用，包括医疗、教育和公共交通等领域。然而，服务质量QoS的控制是目前服务技术难题之一。在服务组合过程中，针对设计时(Design Time)和运行时(Runtime)的不同服务形态，提出了过设计(Over Design)与欠设计(Under Design)两种偏离需求的服务设计模式，并构建能够约束服务组合的变化空间(Variability Space)，实现控制服务质量的目的。通过电子商务的案例展示过设计和欠设计，并对相关偏离情形进行价值分析论证，以论证减少过设计和欠设计的重要性。

关键词: Web服务, 服务组合, 欠设计, 过设计, QoS控制

Abstract:

With the development of the Web service technology, the service mode based software is widely used in the fields of health care, education and public transportation. However, QualityofService (QoS) control is still one of the difficulties in the service technology. In the process of service combination, considering the design-time service and run-time service modes, two service design modes Over Design (OD) and Under Design (UD) are proposed. The variability space that constrains service combination is constructed to achieve the goal of QoS control. We show OD and UD cases in E-commence scenarios and use value based analysis to justify the significance of reducing OD and UD.

Key words: web service;service combination;under design;over design;QoS control

段玉聪1,高洪皓2,唐朝胜1,杜文才1,万世想1,卢俊星1. 基于过设计与欠设计约束的服务质量控制方法收[J]. J4, 2015, 37(01): 84-92.

DUAN Yucong1,GAO Honghao2,TANG Chaosheng1,DU Wencai1,WAN Shixiang1,LU Junx. A QoS control approach based on
the constraint of over design and under design [J]. J4, 2015, 37(01): 84-92.

参考文献

［1］Wang Shangguang, Sun Qibo, Yang Fangchun. Web service dynamic selection by the decomposition of global QoS constraints［J］. Journal of Software, 2011, 22(7):14261439.(in Chinese)
［2］Boehm B W, Sullivan K J. Software economics:A roadmap［C］∥Proc of the Future of Software Engineering, 2000:319343.
［3］Pautasso C, Alonso G. Flexible binding for reusable composition of web services［C］∥Proc of the 4th International Conference on Software Composition, 2005:151166.
［4］Yue Kun, Wang Xiaoling, Zhou Aoying. Underlying techniques for web services:A survey［J］. Journal of Software, 2004, 15(3):428.(in Chinese)
［5］Garlan D. Software architecture:A raodmap［C］∥Proc of the Fureture of Software Engineering, 2000:91101.
［6］Gamma E, Helm R, Johnson R E, et al. Design patterns:Abstraction and reuse of objectoriented design［C］∥Proc of the 7th European Conference on ObjectOriented Programming, 1993:406431.
［7］Ogrinz M. Mashup patterns:Designs and examples for the modern enterprise［M］. 1st ed. Boston: AddisonWesley Professional, 2009.
［8］Duan Y. A survey on service contract［C］∥Proc of the 13th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, 2012:805810.
［9］Kattepur A,Benveniste A,Jard C.Negotiation strategies for probabilistic contracts in web services orchestrations［C］∥Proc of ICWS, 2012:106113.
［10］Duan Y, Kattepur A, Zhou H, et al. Service value broker patterns:An empirical collection［C］∥Proc of SNPD, 2013:675682.
［11］AlNaeem T, Gorton I, Babar M, et al. A qualitydriven systematic approach for architecting distributed software applications［C］∥Proc of ICSE, 2005:244253.
［12］Drago M L, Ghezzi C, Mirandola R. A quality driven extension to the QVTrelations transformation language［J］. Computer ScienceResearch and Development, 2011(11),DOI 10.1007/s0045001102020.
［13］Lee K, Kang K C, Lee J. Concepts and guidelines of feature modeling for product line software engineering［M］∥Software Reuse:Methods, Techniques, and Tools, Berlin:Springer, 2002:6277.
［14］Duan Y, Lee R. Knowledge management for model driven data cleaning of very large database［M］∥Software Engineering,Artifical Intelligence,Networking and Parallel/Distributed Computing,Berlin:SpringerVerlag,2013:143158.
［15］Duan Y, Kattepury A, Getahun F, et al. Releasing the power of varibility:Towards constraint driven quality assurance［C］∥Proc of IEEE AAI/ESKM, 2013:1520.
［16］Schobbens P Y,Heymans P,Trigaux J C.Feature diagrams:A survey and a formal semantics［C］∥Proc of the 14th IEEE International Conference on Requirements Engineering, 2006:136145.
［17］Demuth A,Lopezherrejon R E,Egyed A.Constraintdriven modeling through transformation［C］∥Proc of ICMT’12,2012:248263.
［18］Feldstein M. Domestic saving and international capital movements in the long run and the short run［J］.European Economic Review, 1983,21(12):129151.
［19］Nassaj A, Lienig J. A new methodology for constraintdriven layout design of analog circuits［C］∥Proc of ICECS, 2009:996999.
［20］Group O M. Formal/20110805, OMG unified modelling language (OMG UML), Infrastructure［S］.OMG, 2011.
［21］Chung L,do Prado Leite C S.On nonfunctional requirements in software engineering［M］∥Conceptual Modeling:Foundations and Applications,Berlin:Springer, 2009:363379.
［22］Dao T M, Lee H, Kang K C. Problem framesbased approach to achieving quality attributes in software product line engineering［C］∥Proc of the 15th International Conference on Software Product Line, 2011:175180.
［23］Alebrahim A, Heisel M. Supporting qualitydriven design decisions by modeling variability［C］∥Proc of the 8th International ACM SIGSOFT Conference on Quality of Software Architectures, 2012:4348.
［24］Meyer B. Eiffel:A language and environment for software engineering［J］.The Journal of Systems and Software, 1988,8(3):199246.
［25］Barnett M, Chang B E, Deline R, et al. Boogie:A modular reusable verifier for objectoriented programs［C］∥Proc of FMCO’05, 2006:364387.
［26］Czarnecki K,Grünbacher P,Rabiser R,et al.Cool features and tough Decisions?:A comparison of variability modeling approaches［C］∥Proc of the 6th International Workshop on Variability Modeling of SoftwareIntensive Systems, 2012:173182.
［27］Egyed A, Wile D S. Support for managing designtime decisions［J］. IEEE Transactions on Software Engineering, 2006, 32(5):299314.
［28］Lano K. Constraintdriven development［J］.Journal of Information and Software Technology, 2008, 50(5):406423.
附中文参考文献：
［1］王尚广，孙其博，杨放春. 基于全局QoS约束分解的Web服务动态选择［J］. 软件学报， 2011， 22(7):14261439.
［4］岳昆，王晓玲，周傲英. Web服务核心支撑技术:研究综述［J］. 软件学报， 2004， 15(3):428.

[1]	王信, 刘晓燕, 张开琦, 王星, 严馨. 基于变更事件驱动的微服务组合平台设计与实现[J]. 计算机工程与科学, 2021, 43(10): 1781-1788.
[2]	刘婷1,2,杨秋翔1. 基于混沌机制与Levy变异烟花算法的服务组合优化[J]. 计算机工程与科学, 2019, 41(09): 1618-1626.
[3]	何娟娟1,刘冬梅1,朱鸿2,杜益宁1,周子健1,郑小宇1. 面向Web服务测试的单线执行序列生成方法[J]. 计算机工程与科学, 2019, 41(06): 1034-1043.
[4]	龚文聪1，袁景凌1,2，陈旻骋1，向尧1,赵子康1. 基于用户体验延迟的QoE层次评估模型[J]. 计算机工程与科学, 2019, 41(03): 479-484.
[5]	陈婷1,2,刘建勋1,2,曹步清1,2,李润2. 基于BTM主题模型的Web服务聚类方法研究[J]. 计算机工程与科学, 2018, 40(10): 1737-1745.
[6]	郭雪1，李铮2，张贺3，荣国平3，文俊浩1. Web服务组合策略研究及组合决策平台实现[J]. 计算机工程与科学, 2018, 40(08): 1358-1365.
[7]	王磊，瞿佳明. 基于协同过滤和Slope One算法的Web服务可靠性预测[J]. 计算机工程与科学, 2018, 40(08): 1390-1397.
[8]	陈颖1，刘冬梅1，朱鸿2，兰斌1，何娟娟1. 服务组合的代数规约[J]. 计算机工程与科学, 2018, 40(06): 1075-1083.
[9]	丁晶晶，张功萱. 一种基于Spark在线Web服务的高效低延迟调度资源算法[J]. 计算机工程与科学, 2016, 38(08): 1550-1556.
[10]	唐郑熠1,3,王金水1,韦立2,3,薛醒思1,胡文瑜1. OWL-S过程模型的形式化描述与相容性分析[J]. J4, 2016, 38(03): 478-485.
[11]	戴小玲,唐明董,吕赛霞. 基于灰色关联分析的Web服务选择[J]. J4, 2016, 38(02): 297-304.
[12]	刘胜楠1，汪诗林2. 虚拟环境下Web服务动态负载均衡策略改进[J]. J4, 2015, 37(09): 1607-1613.
[13]	李景霞1，吴国栋1，钱俊彦2. 基于邻接矩阵的Web服务组合[J]. J4, 2015, 37(09): 1627-1631.
[14]	肖文娟，段玉聪. 基于时间序列的感知QoS的云服务组合[J]. J4, 2014, 36(11): 2061-2066.
[15]	郭兰兰,王辉,陈翔涛. 基于NEI的免疫自学习Web服务突现方法研究[J]. J4, 2014, 36(04): 713-718.