Verifying the Concurrent Properties in BPEL Based Web Service Composition Process


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


14 Figures and Tables