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

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

Maya Souilah Benabdelhafid (LIRE Laboratory, Constantine 2 - Abdelhamid Mehri University, Constantine, Algeria) and Mahmoud Boufaida (LIRE Laboratory, Constantine 2 - Abdelhamid Mehri University, Constantine, Algeria)
Copyright: © 2015 |Pages: 16
DOI: 10.4018/IJEBR.2015100101
OnDemand PDF Download:
$37.50

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.
Article Preview

Some Enterprise Interoperability Issues

This section discusses some enterprise interoperability issues related to the Web service choreography and to the need for formal methods for analyzing and monitoring Web service compatibility.

Complete Article List

Search this Journal:
Reset
Open Access Articles: Forthcoming
Volume 13: 4 Issues (2017)
Volume 12: 4 Issues (2016)
Volume 11: 4 Issues (2015)
Volume 10: 4 Issues (2014)
Volume 9: 4 Issues (2013)
Volume 8: 4 Issues (2012)
Volume 7: 4 Issues (2011)
Volume 6: 4 Issues (2010)
Volume 5: 4 Issues (2009)
Volume 4: 4 Issues (2008)
Volume 3: 4 Issues (2007)
Volume 2: 4 Issues (2006)
Volume 1: 4 Issues (2005)
View Complete Journal Contents Listing