The Need for Formal Compatibility Analysis in Web Service Choreography via an E-Commerce Application

Maya Souilah Benabdelhafid and Mahmoud Boufaida
Additional contact information
Maya Souilah Benabdelhafid: LIRE Laboratory, Constantine 2 - Abdelhamid Mehri University, Constantine, Algeria
Mahmoud Boufaida: LIRE Laboratory, Constantine 2 - Abdelhamid Mehri University, Constantine, Algeria

International Journal of E-Business Research (IJEBR), 2015, vol. 11, issue 4, 1-16

Abstract: The formal analysis of Web service compatibility is an important task that is not supported by current composition languages, due to their lack of well-defined formal semantics. This paper addresses the raised issues by providing a survey of service composition with focus on formal compatibility analysis and proposing an e-commerce application that integrates formal methods in Web service choreographies. These methods, including Colored Petri Nets (CPNs) and Timed CPNs, are used at design-time for analyzing service compatibility that will be monitored at run-time. This paper forms an important step towards reliable choreographies since by analyzing at design-time problems could be detected early in the development cycle before starting the implementation. It discusses the monitoring of the compatibility evolution at run-time. The effectiveness of our work is validated using CPN Tools.

Date: 2015
References: Add references at CitEc
Citations:

Downloads: (external link)
http://services.igi-global.com/resolvedoi/resolve. ... 018/IJEBR.2015100101 (application/pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:igg:jebr00:v:11:y:2015:i:4:p:1-16

Access Statistics for this article

International Journal of E-Business Research (IJEBR) is currently edited by Mohammad Nabil Almunawar

More articles in International Journal of E-Business Research (IJEBR) from IGI Global
Bibliographic data for series maintained by Journal Editor ().