290 search results - page 18 / 58 » Using Formal Analysis Techniques in Business Process Redesig... |
DSS
2007
13 years 8 months ago
2007
: As supply chains become more dynamic it is important to be able to model them formally as business processes. In particular, there is a need for a sense and respond capability to...
BPM
2009
Springer
14 years 3 months ago
2009
Springer
The main scientific event for academics working in the field of Business Process Management is the International BPM Conference. In this paper, social network analysis techniques...
SPIN
1999
Springer
14 years 23 days ago
1999
Springer
Model checking is traditionally applied to computer system design. It has proven to be a valuable technique. However, it requires detailed specifications of systems and requirement...
IJBIS
2010
13 years 5 months ago
2010
: The increasing intensity of global competition and the rapid advances in information technology (IT) have led organisations to search for more efficient and effective ways to man...
SAC
2009
ACM
14 years 3 months ago
2009
ACM
Ensuring transactional behavior of business processes and web service compositions is an essential issue in the area of serviceoriented computing. Transactions in this context may ...