Variability Modeling and QoS Analysis of Web Services Orchestrations

The ever-growing choice in diverse services is making service orchestration variability an essential aspect of a composite web service. Influence of this variation on the Quality of Service (QoS) of a composite service is critical and the focus of our work. In this paper, we present a methodology to first model orchestration variability using a feature diagram (FD). The FD specifies a product line of orchestrations represented as configurations of invoked/rejected atomic services. Second, due to the potentially large set of configurations we employ combinatorial testing techniques to automatically generate configurations covering all valid pair wise interactions between services. Third, we analyze QoS variation for each configuration using probabilistic models of QoS. Using a crisis management system case study we experimentally show that pair wise generation covers all QoS outliers and eliminates analysis of > 75% of all possible configurations. The QoS analysis of the pair wise configurations reveals unsafe/ineffective configurations, helps determine realistic Service Level Agreements (SLAs), and provides valuable feedback to help remodel an orchestration.

[1]  Kyo Chul Kang,et al.  Feature-Oriented Domain Analysis (FODA) Feasibility Study , 1990 .

[2]  Michael L. Fredman,et al.  The AETG System: An Approach to Testing Based on Combinatiorial Design , 1997, IEEE Trans. Software Eng..

[3]  Jan Bosch,et al.  Representing Variability in Software Product Lines: A Case Study , 2002, SPLC.

[4]  Tony Andrews Business Process Execution Language for Web Services Version 1.1 , 2003 .

[5]  D. Richard Kuhn,et al.  Software fault interactions and implications for software testing , 2004, IEEE Transactions on Software Engineering.

[6]  Amit P. Sheth,et al.  Modeling Quality of Service for Workflows and Web Service Processes , 2002 .

[7]  Anne H. H. Ngu,et al.  QoS-aware middleware for Web services composition , 2004, IEEE Transactions on Software Engineering.

[8]  Matjaz B. Juric,et al.  Business process execution language for web services , 2004 .

[9]  Gerardo Canfora,et al.  Using Test Cases as Contract to Ensure Service Compliance Across Releases , 2005, ICSOC.

[10]  Maria Luisa Villani,et al.  An approach for QoS-aware service composition based on genetic algorithms , 2005, GECCO '05.

[11]  Vladimir Tosic,et al.  On comprehensive contractual descriptions of Web services , 2005, 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service.

[12]  J. Misra Computation Orchestration : A Basis for Wide-Area Computing , 2005 .

[13]  Jacek Czerwonka,et al.  Pairwise Testing in Real World , 2006 .

[14]  Jan Mendling,et al.  Business Process Execution Language for Web Services , 2006, EMISA Forum.

[15]  Andrew L. Wendelborn,et al.  A simplified approach to web service development , 2006, ACSW.

[16]  Kim G. Larsen,et al.  Modal I/O Automata for Interface and Product Line Theories , 2007, ESOP.

[17]  Jaideep Srivastava,et al.  A probabilistic approach to modeling and estimating the QoS of web-services-based workflows , 2007, Inf. Sci..

[18]  Gerardo Canfora,et al.  Search-based testing of service level agreements , 2007, GECCO '07.

[19]  Pierre-Yves Schobbens,et al.  Generic semantics of feature diagrams , 2007, Comput. Networks.

[20]  Albert Benveniste,et al.  Probabilistic QoS and Soft Contracts for Transaction-Based Web Services Orchestrations , 2008, IEEE Transactions on Services Computing.

[21]  Martin Bichler,et al.  Knowledge representation concepts for automated SLA management , 2006, Decis. Support Syst..

[22]  Myra B. Cohen,et al.  Constructing Interaction Test Suites for Highly-Configurable Systems in the Presence of Constraints: A Greedy Approach , 2008, IEEE Transactions on Software Engineering.

[23]  Frank Leymann,et al.  Variability modeling to support customization and deployment of multi-tenant-aware Software as a Service applications , 2009, 2009 ICSE Workshop on Principles of Engineering Service Oriented Systems.

[24]  Stefano Bistarelli,et al.  Soft Constraints for Quality Aspects in Service Oriented Architectures , 2009, YR-SOC.

[25]  Jörg Kienzle,et al.  Crisis Management Systems: A Case Study for Aspect-Oriented Modeling , 2010, LNCS Trans. Aspect Oriented Softw. Dev..

[26]  Jacques Klein,et al.  Automated and Scalable T-wise Test Case Generation Strategies for Software Product Lines , 2010, 2010 Third International Conference on Software Testing, Verification and Validation.