Automatic dynamic generation of likely invariants for WS-BPEL compositions

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

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:
  • Published: 1 September 2014
  • Published (online): 25 February 2014
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):

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

Export

Statistics