Niels Lohmann. A feature-complete Petri net semantics for WS-BPEL 2.0. In Kees van Hee, Wolfgang Reisig, and Karsten Wolf, editors, Proceedings of the Workshop on Formal Approaches to Business Processes and Web Services (FABPWS’07), pages 21–35, June 2007. University of Polandaise. ISBN 978-83-7051-429-7
pattern for the parallel <forEach>
Abstract: We present an extension of a Petri net semantics for the Web Service Business Execution Language (WS-BPEL). This extension covers the novel activities and constructs introduced by the recent WS-BPEL 2.0 specification. Furthermore, we simplify several aspects of the Petri net semantics to allow for more compact models suited for computer-aided verification.
Links
Niels Lohmann, Peter Massuthe, and Karsten Wolf. Behavioral constraints for services. In Gustavo Alonso, Peter Dadam, and Michael Rosemann, editors, Business Process Management, 5th International Conference, BPM 2007, Brisbane, Australia, September 24–28, 2007, Proceedings, volume 4714 of Lecture Notes in Computer Science, pages 271–287. Springer-Verlag, September 2007. ISBN 978-3-540-75182-3, DOI 10.1007/978-3-540-75183-0_20.
a constraint oWFN
Abstract: Recently, we introduced the concept of an operating guideline of a service as a structure that characterizes all its properly interacting partner services. The hitherto considered correctness criterion is deadlock freedom of the composition of both services.
In practice, there are intended and unintended deadlock-freely interacting partners of a service. In this paper, we provide a formal approach to express intended and unintended behavior as behavioral constraints. With such a constraint, unintended partners can be “filtered” yielding a customized operating guideline. Customized operating guidelines can be applied to validate a service and for service discovery.
Download
- Paper (PDF-Dokument, 16 Seiten, 368 KB)
- Folien (PowerPoint-Präsentation)
Links
letzte Kommentare