29 search results - page 1 / 6 » Beyond soundness: on the verification of semantic business p... |
DPD
2010
13 years 4 months ago
2010
ECOWS
2008
Springer
13 years 6 months ago
2008
Springer
Executable business process models build on the specification of process activities, their implemented business functions (e.g., Web services) and the control flow between these a...
CAISE
2007
Springer
13 years 8 months ago
2007
Springer
The semantics of the OR-join in business process modeling languages like EPCs or YAWL have been discussed for a while. Still, the existing solutions suffer from at least one of two...
EDOC
2006
IEEE
13 years 10 months ago
2006
IEEE
The correctness of business process models is of paramount importance for the application on an enterprise level. A severe problem is that several languages for business process m...
BPM
2007
Springer
13 years 8 months ago
2007
Springer
The collaborative business process can be unreliable when business partners collaborate in a peer-to-peer fashion without central control. Therefore, an important issue that needs ...