Verification of timed BPEL 2.0 models
Elie Fares, Jean-Paul Bodeveix and Mamoun Filali
| Year of publication: |
2011
|
|---|---|
| Authors: | Fares, Elie ; Bodeveix, Jean-Paul ; Filali, Mamoun |
| Published in: |
Enterprise, business-process and information systems modeling : 12th International Workshop, BPMDS 2011, and 16th International Conference, EMMSAD 2011, held at CAiSE 2011, London, UK, June 20 - 21, 2011 ; proceedings. - Berlin : Springer, ISBN 978-3-642-21758-6. - 2011, p. 261-275
|
| Subject: | Digitale Dienste | Web-based service | Prozessmanagement | Business process management | Programmiersprache | Programming language |