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, Mahmoud Boufaida
Copyright: © 2015 |Pages: 16
DOI: 10.4018/IJEBR.2015100101
OnDemand:
(Individual Articles)
Available
$37.50
Current Special Offers
No Current Special Offers
TOTAL SAVINGS: $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
Top

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
Volume 20: 1 Issue (2024)
Volume 19: 1 Issue (2023)
Volume 18: 4 Issues (2022): 2 Released, 2 Forthcoming
Volume 17: 4 Issues (2021)
Volume 16: 4 Issues (2020)
Volume 15: 4 Issues (2019)
Volume 14: 4 Issues (2018)
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