Distributed and Parallel Databases
Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques
Business Process Management, Models, Techniques, and Empirical Studies
Semantic analysis of flow patterns in business process modeling
BPM'07 Proceedings of the 5th international conference on Business process management
A study of the evolution of the representational capabilities of process modeling grammars
CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering
Content-based validation of business process modifications
ER'11 Proceedings of the 30th international conference on Conceptual modeling
Journal of Database Management
Hi-index | 0.00 |
Syntactically correct process models are not necessarily meaningful or represent processes that are feasible to execute. Specifically, when executed, the modeled processes might not be guaranteed to reach their goals. We propose that assigning ontological semantics to process modeling constructs can result in more meaningful models. Furthermore, the ontological semantics can impose constraints on the allowed process models which in turn can provide rules for developing process models. In particular, such models can be designed to be valid in the senses that the process can accomplish its goal when executed. We demonstrate this approach for Petri Net based process models.