Advanced verification of distributed WS-BPEL business processes incorporating CSSA-based data flow analysis
Wolfram Amme; Axel Martens; Simon Moser
| Year of publication: |
2009
|
|---|---|
| Authors: | Amme, Wolfram ; Martens, Axel ; Moser, Simon |
| Published in: |
International journal of business process integration and management : IJBPIM. - Olney, Bucks : Inderscience Enterprises, ISSN 1741-8763, ZDB-ID 2193360-1. - Vol. 4.2009, 1, p. 47-59
|
| Subject: | Prozessmanagement | Business process management | Programmiersprache | Programming language | Digitale Dienste | Web-based service | Graphentheorie | Graph theory |
| Extent: | graph. Darst. |
|---|---|
| Type of publication: | Article |
| Type of publication (narrower categories): | Aufsatz in Zeitschrift ; Article in journal |
| Language: | English |
| Source: | ECONIS - Online Catalogue of the ZBW |
Persistent link: https://www.econbiz.de/10003875657