Sciweavers

512 search results - page 11 / 103
» Structural Detection of Deadlocks in Business Process Models
Sort
View
CAISE
2007
Springer
14 years 1 months ago
Error Metrics for Business Process Models
Little research has been conducted so far on causes for errors in business process models. In this paper we investigate on how mainly domain independent factors such as the size or...
Jan Mendling, Gustaf Neumann
IS
2008
13 years 7 months ago
Conformance checking of processes based on monitoring real behavior
Many companies have adopted Process-aware Information Systems (PAIS) to support their business processes in some form. On the one hand these systems typically log events (e.g., in ...
Anne Rozinat, Wil M. P. van der Aalst
CAISE
2009
Springer
14 years 2 months ago
A Heuristic Method for Business Process Model Evaluation
In this paper, we present a heuristic approach for finding errors and possible improvements in business process models. First, we translate the information that is included in a m...
Volker Gruhn, Ralf Laue
VVEIS
2007
13 years 8 months ago
Checking Properties of Business Process Models with Logic Programming
Logic programming has been successfully used for reasoning about various kinds of models. However, in the area of business-process modeling it has not yet gained the attention it d...
Volker Gruhn, Ralf Laue
PDPTA
2004
13 years 8 months ago
Design of a Real-Time Scheduler for Kahn Process Networks on Multiprocessor Systems
High-throughput real-time systems require non-standard and costly hardware and software solutions. Modern workstation can represent a credible alternative to develop realtime inte...
Javed Dulloo, Philippe Marquet