Business process modelling with ARIS: a practical guide
Business process modelling with ARIS: a practical guide
Design and evaluation of a wide-area event notification service
ACM Transactions on Computer Systems (TOCS)
The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems
The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems
Sap R/3 Process Oriented Implementation
Sap R/3 Process Oriented Implementation
Distributed and Parallel Databases
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Tool Support for Verifying UML Activity Diagrams
IEEE Transactions on Software Engineering
Case handling: a new paradigm for business process support
Data & Knowledge Engineering
YAWL: yet another workflow language
Information Systems
Analyzing interacting WS-BPEL processes using flexible model generation
Data & Knowledge Engineering
Detection and prediction of errors in EPCs of the SAP reference model
Data & Knowledge Engineering
Business Process Management: Concepts, Languages, Architectures
Business Process Management: Concepts, Languages, Architectures
Translating unstructured workflow processes to readable BPEL: Theory and implementation
Information and Software Technology
Metrics for Process Models: Empirical Foundations of Verification, Error Prediction, and Guidelines for Correctness
Correlation patterns in service-oriented architectures
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
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
Understanding the occurrence of errors in process models based on metrics
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
Investigations on soundness regarding lazy activities
BPM'06 Proceedings of the 4th international conference on Business Process Management
Translating standard process models to BPEL
CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering
OTM '09 Proceedings of the Confederated International Workshops and Posters on On the Move to Meaningful Internet Systems: ADI, CAMS, EI2N, ISDE, IWSSA, MONET, OnToContent, ODIS, ORM, OTM Academy, SWWS, SEMELS, Beyond SAWSDL, and COMBEK 2009
Reinforcement learning based resource allocation in business process management
Data & Knowledge Engineering
Discovering event correlation rules for semi-structured business processes
Proceedings of the 5th ACM international conference on Distributed event-based system
A foundational approach for managing process variability
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
On the automatic labeling of process models
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
Behavioral similarity: a proper metric
BPM'11 Proceedings of the 9th international conference on Business process management
Edit distance-based pattern support assessment of orchestration languages
OTM'11 Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems - Volume Part I
Thresholds for error probability measures of business process models
Journal of Systems and Software
Structuring acyclic process models
Information Systems
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
Causal Behavioural Profiles - Efficient Computation, Applications, and Evaluation
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2010
Tying process model quality to the modeling process: the impact of structuring, movement, and speed
BPM'12 Proceedings of the 10th international conference on Business Process Management
Business process architecture: use and correctness
BPM'12 Proceedings of the 10th international conference on Business Process Management
Evaluation measures for similarity search results in process model repositories
ER'12 Proceedings of the 31st international conference on Conceptual Modeling
Eye-tracking the factors of process model comprehension tasks
CAiSE'13 Proceedings of the 25th international conference on Advanced Information Systems Engineering
Simplifying process model abstraction: Techniques for generating model names
Information Systems
Hi-index | 0.00 |
Although several process modeling languages allow one to specify processes with multiple start elements, the precise semantics of such models are often unclear, both from a pragmatic and from a theoretical point of view. This paper addresses the lack of research on this problem and introduces the CASU framework (from Creation, Activation, Subscription, Unsubscription). The contribution of this framework is a systematic description of design alternatives for the specification of instantiation semantics of process modeling languages. We classify six prominent languages by the help of this framework. We validate the relevance of the CASU framework through empirical investigations involving a large set of process models from practice. Our work provides the basis for the design of new correctness criteria as well as for the formalization of Event-driven Process Chains (EPCs) and extension of the Business Process Modeling Notation (BPMN). It complements research such as the workflow patterns.