Skip to main content
Book

Web Services and Formal Methods

  • Lohmann N
N/ACitations
Citations of this article
10Readers
Mendeley users who have this article in their library.

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.

Cite

CITATION STYLE

APA

Lohmann, N. (2008). Web Services and Formal Methods (Vol. 4937, pp. 77–91). Retrieved from http://www.springerlink.com/index/10.1007/978-3-540-79230-7

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free