230 search results - page 1 / 46 » A Formally Founded Description Technique for Business Proces... |
PDSE
1998
13 years 5 months ago
1998
As a means of modeling typical system behavior, we present a description technique for business processes derived from data flow nets and provide it with a formal semantics based ...
INCDM
2010
Springer
13 years 7 months ago
2010
Springer
Hospitals increasingly use process models for structuring their care processes. Activities performed to patients are logged to a database but these data are rarely used for managin...
BPM
2000
Springer
13 years 8 months ago
2000
Springer
Formal analysis techniques can deliver important support during business process redesign efforts. This chapter points out the (potential) contribution of these formal analysis tec...
CAISE
2005
Springer
13 years 9 months ago
2005
Springer
Coupling of cross-organizational business processes in electronic markets is a difficult and time-consuming task. In practice business processes are geographically distributed whic...
BPM
2011
Springer
12 years 4 months ago
2011
Springer
As order dependencies between process tasks can get complex, it is easy to make mistakes in process model design, especially behavioral ones such as deadlocks. Notions such as soun...