SAP R/3 business blueprint (2nd ed.): understanding enterprise supply chain management
SAP R/3 business blueprint (2nd ed.): understanding enterprise supply chain management
Component-based software engineering: putting the pieces together
Component-based software engineering: putting the pieces together
Decidability and Complexity of Petri Net Problems - An Introduction
Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
A Linear Time Implementation of SPQR-Trees
GD '00 Proceedings of the 8th International Symposium on Graph Drawing
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
Journal of Computer and System Sciences
| Hi-index | 0.00 |
In this tutorial, we compare OWL-DL reasoning and Petri net analysis for validating refinement and grounding of business processes. (1) Process refinement: Like in software engineering, the implementation of a business process involves different interacting roles, such as business expert, analyst, process architect, and developer. Each role designs and refines different abstractions of the process until it is sufficiently refined. It is important to verify that the process models of the different abstractions are consistent. (2) Process grounding: A sufficiently refined process has to be mapped on existing IT systems. Ideally, IT systems consist of components with a semantic annotation of their behavior. The most specific process must respect all IT systems' behaviors. Formally capturing process semantics enables to check automatically for consistent process refinement and grounding. The classic application of semantic techniques in the area of static models is well understood. The analysis of business processes deals with dynamics. Modeling dynamics is a challenge for current approaches of semantic Web services. We compare advantages and shortcomings of Petri net analysis and description logic (DL) reasoning for refinement and grounding validation.