Verifying the Concurrent Properties in BPEL Based Web Service Composition Process

Abstract

The relatively new web service software paradigm involves services which are loosely coupled, highly reusable and flexible. By specifying the workflow of individual services, Web service composition enhances the ability to handle more complex business processes and provides many value-added services. In this article, we propose an extended control flow… (More)
DOI: 10.1109/TNSM.2013.111113.120379

Topics

14 Figures and Tables