290 search results - page 13 / 58 » Using Formal Analysis Techniques in Business Process Redesig... |
119
click to vote
VLDB
2007
ACM
15 years 5 months ago
2007
ACM
Many enterprises nowadays use business processes, based on the BPEL standard, to achieve their goals. These are complex, often distributed, processes. Monitoring the execution of ...
QEST
2009
IEEE
15 years 6 months ago
2009
IEEE
—Failure mode and effects analysis (FMEA) is a technique to reason about possible system hazards that result from system or system component failures. Traditionally, FMEA does no...
131
Voted
WIRTSCHAFTSINFORMATI
2007
15 years 24 days ago
2007
A core challenge in Business Process Management is the continuous, bi-directional translation between (1) a business requirements view on the process space of an enterprise and (2...
73
Voted
ICSE
2000
IEEE-ACM
15 years 3 months ago
2000
IEEE-ACM
If a business built a plant to produce products without first designing a process to manufacture them, the risk would be lack of capacity without significant plant redesign. Simil...
129
Voted
DKE
2008
14 years 11 months ago
2008
We address the problem of analyzing the interaction between WS-BPEL processes. We present a technology chain that starts out with a WS-BPEL process and translates it into a Petri ...