Model Driven Conformance Testing for Standardized Services

Software applications that are provided through services following the Software as a service (SaaS) paradigm generally need to be compliant to some standards. In order to select the software application that provides the most conformant service interface, we develop a formal framework that tests the compliance and reports quantitative results that help experts to take the right decision. Unlike existing work that focuses on a single dimension when checking the compliance of a software application with the corresponding standard (for example the functional dimension exclusively, or the syntactic dimension exclusively), in this work we consider multiple dimensions at the same time. This provides more comprehensive results. We implemented a prototype and we tested our framework on a case study regarding the selection of software applications for our collaborative platform.

[1]  Mike P. Papazoglou,et al.  Capturing Compliance Requirements: A Pattern-Based Approach , 2012, IEEE Software.

[2]  Akhil Kumar,et al.  Visual Modeling of Business Process Compliance Rules with the Support of Multiple Perspectives , 2013, ER.

[3]  Willem-Jan van den Heuvel,et al.  Using Patterns for the Analysis and Resolution of Compliance Violations , 2012, Int. J. Cooperative Inf. Syst..

[4]  Yildiray Kabak,et al.  Artemis: Deploying semantically enriched Web services in the healthcare domain , 2006, Inf. Syst..

[5]  Alan Hartman,et al.  Using a model-based test generator to test for standard conformance , 2002, IBM Syst. J..

[6]  Wil M. P. van der Aalst,et al.  Workflow Patterns , 2004, Distributed and Parallel Databases.

[7]  Parisa Ghodous,et al.  Controlling the Evolution of Product-Based Collaboration Contracts , 2013, 2013 IEEE International Conference on Services Computing.

[8]  S. Rajagopal,et al.  Semantic Grid Service Discovery Approach using Clustering of Service Ontologies , 2006, TENCON 2006 - 2006 IEEE Region 10 Conference.

[9]  Wil M. P. van der Aalst,et al.  Conformance checking of service behavior , 2008, TOIT.

[10]  Yuichi Nakamura,et al.  Syntactic Validation of Web Services Security Policies , 2007, ICSOC.

[11]  Soumya Simanta,et al.  Why Standards Are Not Enough to Guarantee End-to-End Interoperability , 2008, Seventh International Conference on Composition-Based Software Systems (ICCBSS 2008).

[12]  Naohiko Uramoto,et al.  Static vs. Dynamic Validation of BSP Conformance , 2009, 2009 IEEE International Conference on Web Services.

[13]  Guido Wirtz,et al.  Has WS-I's Work Resulted in Ws-* Interoperability? , 2011, 2011 IEEE International Conference on Web Services.

[14]  Catarina Ferreira Da Silva,et al.  Towards Combining Declarative Specification with On-the-Fly Mediation , 2013, 2013 IEEE International Conference on Services Computing.

[15]  Mike P. Papazoglou,et al.  Enforcing compliance on business processes through the use of patterns , 2011, ECIS.