Adept_flex—Supporting Dynamic Changes of Workflows Without Losing Control
Journal of Intelligent Information Systems - Special issue on workflow management systems
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques
Business Process Management, Models, Techniques, and Empirical Studies
Data flow and validation in workflow modelling
ADC '04 Proceedings of the 15th Australasian database conference - Volume 27
Correctness criteria for dynamic changes in workflow systems: a survey
Data & Knowledge Engineering - Special issue: Advances in business process management
Compliance checking between business processes and business contracts
EDOC '06 Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference
YAWL: yet another workflow language
Information Systems
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
Inventing Less, Reusing More, and Adding Intelligence to Business Process Modeling
DEXA '08 Proceedings of the 19th international conference on Database and Expert Systems Applications
Action Patterns in Business Process Models
ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing
Beyond soundness: on the verification of semantic business process models
Distributed and Parallel Databases
Formalization and verification of EPCs with OR-joins based on state and context
CAiSE'07 Proceedings of the 19th international conference on Advanced information systems engineering
Generation of business process models for object life cycle compliance
BPM'07 Proceedings of the 5th international conference on Business process management
Machine-assisted design of business process models using descriptor space analysis
BPM'10 Proceedings of the 8th international conference on Business process management
Refactoring of process model activity labels
NLDB'10 Proceedings of the Natural language processing and information systems, and 15th international conference on Applications of natural language to information systems
Investigations on soundness regarding lazy activities
BPM'06 Proceedings of the 4th international conference on Business Process Management
Workflow data patterns: identification, representation and tool support
ER'05 Proceedings of the 24th international conference on Conceptual Modeling
Compliance checking of integrated business processes
Data & Knowledge Engineering
| Hi-index | 0.00 |
Researchers become increasingly interested in developing tools for evaluating the correctness of business process models. We present a methodology for content-based validation of changes to business processes, relying on an automatic extraction of business logic from real-life business process repositories. Each process step in a repository is automatically transformed to a descriptor - containing objects, actions, and related qualifiers. From the collection of descriptors we induce taxonomies of action sequence, object lifecycle, and object and action hierarchies that form the logical foundation of the presented validation process. The method utilizes these taxonomies to identify process deficiencies that may occur due to process model modification, and suggests alternatives in order to correct and validate the models.