103 search results - page 2 / 21 » Transforming BPEL to Petri Nets |
BPSC
2010
13 years 3 months ago
2010
: This paper proposes a framework for the detection of information leaks in workflow descriptions based on static information flow analysis. Despite the correct deployment of acces...
INFSOF
2008
13 years 5 months ago
2008
The Business Process Execution Language for Web Services (BPEL) has emerged as the de-facto standard for implementing processes. Although intended as a language for connecting web ...
DAGSTUHL
2006
13 years 6 months ago
2006
Abstract Recently, languages such as BPEL and CDL have been proposed to describe the way services can interact from a behavioral perspective. The emergence of these languages heral...
ACSD
2001
IEEE
13 years 9 months ago
2001
IEEE
This paper presents a method for the automatic synthesis of asynchronous circuits from Petri net specifications. The method is based on a structural encoding of the system in such ...
DFG
2003
Springer
13 years 10 months ago
2003
Springer