Aris--Business Process Modeling
Aris--Business Process Modeling
Distributed and Parallel Databases
An Alternative Way to Analyze Workflow Graphs
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
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
Assigning Ontology-Based Semantics to Process Models: The Case of Petri Nets
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
The measurement of perceived ontological deficiencies of conceptual modeling grammars
Data & Knowledge Engineering
Validation of user intentions in process models
CAiSE'12 Proceedings of the 24th international conference on Advanced Information Systems Engineering
Assigning Ontological Meaning to Workflow Nets
Journal of Database Management
| Hi-index | 0.00 |
Control flow elements are important in process models. Suchelements usually appear in graphic models as splits and joins of activitysequences. Workflow patterns reflect possible executions of differentconfigurations of splits and joins. However, despite the importance of processflow control and workflow patterns, no way exists yet to assure that a particularset of patterns is complete and non-redundant. We use an ontologically-based model of business processes to analyze the control configurations that can existin a process model. A process is modeled in terms of state changes of thedomain in which the process occurs. The state changes are controlled by lawswhich model the actions allowed in the domain. This model is notationindependentand enables incorporating goals into process analysis. We use themodel to suggest classification of control configurations and identifyconfigurations that assure the enacted process can always reach its goal.