Palomo-Duarte, Manuel, García-Domínguez, Antonio orcid.org/0000-0002-4744-9150 and Medina-Bulo, Inmaculada (2014) Automatic dynamic generation of likely invariants for WS-BPEL compositions. Expert systems with applications. pp. 5041-5055. ISSN 0957-4174
Abstract
The wide adoption of Web Services has led to the development of languages to compose them, like the WS-BPEL standard. In order to check whether the composition works as expected, one common approach is to analyze it and infer functional properties describing its behavior. Traditional approaches for inferring properties in WS-BPEL have been static: compositions are transformed into specialized analysis models based on some formalization. However, this formalization could be inexact due to theoretical limitations or differing interpretations of the standard by implementers. Dynamic invariant generation solves these problems by extracting the properties from actual executions and has been successfully used in popular languages, but not to WS-BPEL yet. In this work, we apply dynamic invariant generation to WS-BPEL, providing innovative solutions for several features that require special consideration, like highly multidimensional values in variables, an advanced type system or unstructured code. We have implemented these solutions in Takuan and evaluated its performance with several compositions of varying complexity. We present the results obtained and a comparative analysis of the efficiency and effectiveness of our solutions. Results show that the solutions are successful in reducing the cost of applying dynamic invariant generation and the number of uninteresting invariants generated.
Metadata
Item Type: | Article |
---|---|
Authors/Creators: |
|
Copyright, Publisher and Additional Information: | Funding Information: This work was partly funded by the research scholarship PU-EPIF-FPI-C 2010-065 of the University of Cádiz and the MoDSOA project ( TIN2011-27242 ) under the National Program for Research, Development and Innovation of the Spanish Ministry of Science and Innovation. © 2014 Elsevier Ltd. This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. |
Keywords: | Dynamic invariant generation,Web service composition,White-box testing,WS-BPEL |
Dates: |
|
Institution: | The University of York |
Academic Units: | The University of York > Faculty of Sciences (York) > Computer Science (York) |
Depositing User: | Pure (York) |
Date Deposited: | 01 May 2024 10:00 |
Last Modified: | 07 Feb 2025 00:39 |
Published Version: | https://doi.org/10.1016/j.eswa.2014.01.037 |
Status: | Published |
Refereed: | Yes |
Identification Number: | 10.1016/j.eswa.2014.01.037 |
Related URLs: | |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:212148 |
Download
Filename: Automatic_Dynamic_Generation_of_Likely_Invariants_for_WS-BPEL_Compositions.pdf
Description: Automatic Dynamic Generation of Likely Invariants for WS-BPEL Compositions
Licence: CC-BY-NC-ND 2.5