EMC—a modeling method for developing web-based applications
Proceedings of the 2000 information resources management association international conference on Challenges of information technology management in the 21st century
Business Process Engineering: Reference Models for Industrial Enterprises
Business Process Engineering: Reference Models for Industrial Enterprises
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Customized Atomicity Specification for Transactional Workflows
CODAS '01 Proceedings of the Third International Symposium on Cooperative Database Systems for Advanced Applications
Ereignisgesteuerte Proze?ketten und Petri-Netze.
Ereignisgesteuerte Proze?ketten und Petri-Netze.
Non-controllable Choice Robustness Expressing the Controllability of Workflow Processes
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
UML and the unified process
Mining configurable enterprise information systems
Data & Knowledge Engineering
YAWL: yet another workflow language
Information Systems
A configurable reference modelling language
Information Systems
Detection and prediction of errors in EPCs of the SAP reference model
Data & Knowledge Engineering
A simplified framework for stochastic workflow networks
Computers & Mathematics with Applications
Model Driven Business Transformation --- An Experience Report
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Improved model management with aggregated business process models
Data & Knowledge Engineering
Does My Service Have Partners?
Transactions on Petri Nets and Other Models of Concurrency II
Empirical Studies in Process Model Verification
Transactions on Petri Nets and Other Models of Concurrency II
Symbolic Abstraction and Deadlock-Freeness Verification of Inter-enterprise Processes
BPM '09 Proceedings of the 7th International Conference on Business Process Management
CASE'09 Proceedings of the fifth annual IEEE international conference on Automation science and engineering
Soundness and separability of workflow nets in the stepwise refinement approach
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
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
Soundness verification of business processes specified in the Pi-calculus
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
Controlling Petri net process models
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
Calculating the semantic conformance of processes
BPM'07 Proceedings of the 2007 international conference on Business process management
An integer programming based approach for verification and diagnosis of workflows
Data & Knowledge Engineering
Symbolic execution of acyclic workflow graphs
BPM'10 Proceedings of the 8th international conference on Business process management
Workflow soundness revisited: checking correctness in the presence of data while staying conceptual
CAiSE'10 Proceedings of the 22nd international conference on Advanced information systems engineering
Visually specifying compliance rules and explaining their violations for business processes
Journal of Visual Languages and Computing
Symbolic abstraction and deadlock-freeness verification of inter-enterprise processes
Data & Knowledge Engineering
Editorial: Mining business process variants: Challenges, scenarios, algorithms
Data & Knowledge Engineering
Perceived consistency between process models
Information Systems
On the application of WF-Nets for checking hybrid IDEF0-IDEF3 business process models
ADVIS'04 Proceedings of the Third international conference on Advances in Information Systems
Investigations on soundness regarding lazy activities
BPM'06 Proceedings of the 4th international conference on Business Process Management
Workflow model compositions preserving relaxed soundness
BPM'06 Proceedings of the 4th international conference on Business Process Management
Faulty EPCs in the SAP reference model
BPM'06 Proceedings of the 4th international conference on Business Process Management
Verification of EPCs: using reduction rules and petri nets
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
On the suitability of correctness criteria for business process models
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Ensuring correctness during process configuration via partner synthesis
Information Systems
On the syntax of reference model configuration – transforming the C-EPC into lawful EPC models
BPM'05 Proceedings of the Third international conference on Business Process Management
Checking soundness of business processes compositionally using symbolic observation graphs
FMOODS'12/FORTE'12 Proceedings of the 14th joint IFIP WG 6.1 international conference and Proceedings of the 32nd IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems
Journal of Database Management
International Journal of Web Services Research
Hi-index | 0.00 |
Business processes play a central role in the reorganization of a company and the (re)design of the respective information system(s). Typically the processes are described with the help of a semiformal, graphical language such as the Event-driven Process Chains (EPCs) by Scheer. This approach provides a suitable medium for the communication between the participants: the domain experts and the IT specialists. But these models leave room for interpretation and hence ambiguities which makes them less suitable as a basis for the design of information systems. To remedy this we suggest to transform the EPCs into a formal representation (Petri nets) preserving the ambiguities, i.e. all possibly intended behaviour. Now formal techniques can be used to find out whether the possible behaviours comprise sensible behaviour. If so, we call the net relaxed sound. By not limiting the modeler compared to previous ways (e.g. [8], [3]) we take a pragmatic approach to correctness which only requires that the net represents some valid behaviour. This allows us to draw conclusions on mistakes in the original EPC and to make suggestions for its improvement thereby enhancing both the model's quality and its suitability for software engineering.