Sciweavers

101 search results - page 7 / 21
» MMC-BPM: A Domain-Specific Language for Business Processes A...
Sort
View
BPM
2005
Springer
129views Business» more  BPM 2005»
15 years 3 months ago
Transforming BPEL to Petri Nets
We present a Petri net semantics for the Business Process Execution Language for Web Services (BPEL). Our semantics covers the standard behaviour of BPEL as well as the exceptional...
Sebastian Hinz, Karsten Schmidt 0004, Christian St...
BPM
2006
Springer
105views Business» more  BPM 2006»
15 years 1 months ago
Verifying Workflows with Cancellation Regions and OR-Joins: An Approach Based on Reset Nets and Reachability Analysis
When dealing with complex business processes (e.g., in the context of a workflow implementation or the configuration of some process-aware information system), it is important but ...
Moe Thandar Wynn, Wil M. P. van der Aalst, Arthur ...
78
Voted
ER
2003
Springer
158views Database» more  ER 2003»
15 years 2 months ago
Analysis of Web Services Composition Languages: The Case of BPEL4WS
Abstract. Web services composition is an emerging paradigm for application integration within and across organizational boundaries. A landscape of languages and techniques for web ...
Petia Wohed, Wil M. P. van der Aalst, Marlon Dumas...
AICT
2006
IEEE
163views Communications» more  AICT 2006»
15 years 3 months ago
A Methodology for Searching Reusable Business Processes
Web Services are becoming the prominent paradigm for distributed computing and electronic businesses. This makes natural the extension of the concepts at the base of the workflow ...
Francesco Calabrese, Giovanni Di Dio, Anna Rita Fa...
SIGMOD
2010
ACM
149views Database» more  SIGMOD 2010»
14 years 4 months ago
On models and query languages for probabilistic processes
Probabilistic processes appear naturally in various contexts, with applications to Business Processes, XML data management and more. Many models for specifying and querying such p...
Daniel Deutch, Tova Milo