Sciweavers

512 search results - page 2 / 103
» Structural Detection of Deadlocks in Business Process Models
Sort
View
PDP
2006
IEEE
13 years 11 months ago
An O(n) Distributed Deadlock Resolution Algorithm
This paper shows a new distributed algorithm for deadlock detection and resolution under the single-resource request model that highly improves the complexity measurements of prev...
Manuel Prieto, Jesús E. Villadangos, Federi...
BPM
2007
Springer
152views Business» more  BPM 2007»
13 years 6 months ago
Behavioral Constraints for Services
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 ...
Niels Lohmann, Peter Massuthe, Karsten Wolf
BPSC
2009
153views Business» more  BPSC 2009»
13 years 2 months ago
On Application of Structural Decomposition for Process Model Abstraction
Artem Polyvyanyy, Sergey Smirnov 0002, Mathias Wes...
TSMC
2010
12 years 11 months ago
A Petri Net Approach to Analysis and Composition of Web Services
Business Process Execution Language for Web Services (BPEL) is becoming the industrial standard for modeling web service-based business processes. Behavioral compatibility for web ...
PengCheng Xiong, Yushun Fan, MengChu Zhou
OTM
2007
Springer
13 years 11 months ago
Understanding the Occurrence of Errors in Process Models Based on Metrics
Abstract. Business process models play an important role for the management, design, and improvement of process organizations and processaware information systems. Despite the exte...
Jan Mendling, Gustaf Neumann, Wil M. P. van der Aa...