52 search results - page 1 / 11 » Relaxed Soundness of Business Processes |
BPM
2006
Springer
13 years 8 months ago
2006
Springer
Current approaches for proving the correctness of business processes focus on either soundness, weak soundness, or relaxed soundness. Soundness states that each activity should be ...
CAISE
2001
Springer
13 years 9 months ago
2001
Springer
Business processes play a central role in the reorganization of a company and the (re)design of the respective information system(s). Typically the processes are described with the...
BPM
2006
Springer
13 years 8 months ago
2006
Springer
COOPIS
2004
IEEE
13 years 8 months ago
2004
IEEE
More and more companies use "process aware" information systems to make their business processes more efficient. To do this, workflow definitions must be formulated in a ...
WSFM
2007
Springer
13 years 11 months ago
2007
Springer
We present and compare existing formalisms that consider the control of Petri net process models in the area of business processes and web services. Control has the aim to force a ...