Production workflow: concepts and techniques
Production workflow: concepts and techniques
The Linear Time-Branching Time Spectrum (Extended Abstract)
CONCUR '90 Proceedings of the Theories of Concurrency: Unification and Extension
Life-Cycle Inheritance: A Petri-Net-Based Approach
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
Business-to-business workflow interoperation based on process-views
Decision Support Systems
Fundamental Modeling Concepts: Effective Communication of IT Systems
Fundamental Modeling Concepts: Effective Communication of IT Systems
Constructing customized process views
Data & Knowledge Engineering
Semantics and analysis of business process models in BPMN
Information and Software Technology
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
Measuring Similarity between Business Process Models
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
The Refined Process Structure Tree
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Graph Matching Algorithms for Business Process Model Similarity Search
BPM '09 Proceedings of the 7th International Conference on Business Process Management
The Triconnected Abstraction of Process Models
BPM '09 Proceedings of the 7th International Conference on Business Process Management
View-based process visualization
BPM'07 Proceedings of the 5th international conference on Business process management
Fuzzy mining: adaptive process simplification based on multi-perspective metrics
BPM'07 Proceedings of the 5th international conference on Business process management
Deciding behaviour compatibility of complex correspondences between process models
BPM'10 Proceedings of the 8th international conference on Business process management
The ICoP Framework: identification of correspondences between process models
CAiSE'10 Proceedings of the 22nd international conference on Advanced information systems engineering
Meronymy-based aggregation of activities in business process models
ER'10 Proceedings of the 29th international conference on Conceptual modeling
Efficient Consistency Measurement Based on Behavioral Profiles of Process Models
IEEE Transactions on Software Engineering
Efficient computation of causal behavioural profiles using structural decomposition
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
Hi-index | 0.00 |
Business process models are abstractions of concrete operational procedures that occur in the daily business of organizations. Typically one model is insufficient to describe one business process. For instance, a detailed technical model may enable automated process execution, while a more abstract model supports decision making and process monitoring by business users. Thereafter, multiple models capturing one process at various levels of abstraction often coexist. While the relations between such models are studied, little is known about the relations between process instances and abstract models. In this paper we show how the state of an abstract activity can be calculated from the states of related, detailed process activities as they happen. The approach uses activity state propagation. With state uniqueness and state transition correctness we introduce formal properties that improve the understanding of state propagation. Algorithms to check these properties are devised. Finally, we use behavioral profiles to identify and classify behavioral inconsistencies in abstract process models that might occur, once activity state propagation is used.