Data & Knowledge Engineering
Seven process modeling guidelines (7PMG)
Information and Software Technology
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
Activity labeling in process modeling: Empirical insights and recommendations
Information Systems
An ontology-based semantic foundation for ARIS EPCs
Proceedings of the 2010 ACM Symposium on Applied Computing
BPM in practice: who is doing what?
BPM'10 Proceedings of the 8th international conference on Business process management
Prediction of business process model quality based on structural metrics
ER'10 Proceedings of the 29th international conference on Conceptual modeling
Quality assessment of business process models based on thresholds
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems - Volume Part I
Modeling process-related RBAC models with extended UML activity models
Information and Software Technology
Fostering adoption, acceptance, and assimilation in knowledge management system design
i-KNOW '11 Proceedings of the 11th International Conference on Knowledge Management and Knowledge Technologies
Perceived consistency between process models
Information Systems
Business process model abstraction: a definition, catalog, and survey
Distributed and Parallel Databases
Action patterns in business process model repositories
Computers in Industry
On the refactoring of activity labels in business process models
Information Systems
Factors of process model comprehension-Findings from a series of experiments
Decision Support Systems
Integrated privacy modeling and validation for business process models
Proceedings of the 2012 Joint EDBT/ICDT Workshops
Quality indicators for business process models from a gateway complexity perspective
Information and Software Technology
Causal Behavioural Profiles - Efficient Computation, Applications, and Evaluation
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2010
Understanding business process models: the costs and benefits of structuredness
CAiSE'12 Proceedings of the 24th international conference on Advanced Information Systems Engineering
Adaptive workflows in smart environments: combining imperative and declarative models
Proceedings of the 2012 ACM Conference on Ubiquitous Computing
Livelock and deadlock detection for PA inter-organizational business processes
EGOVIS'12/EDEM'12 Proceedings of the 2012 Joint international conference on Electronic Government and the Information Systems Perspective and Electronic Democracy, and Proceedings of the 2012 Joint international conference on Advancing Democracy, Government and Governance
Evaluation measures for similarity search results in process model repositories
ER'12 Proceedings of the 31st international conference on Conceptual Modeling
Business Process Model Merging: An Approach to Business Process Consolidation
ACM Transactions on Software Engineering and Methodology (TOSEM)
OSMF: a framework for OSS process measurement
ICT-EurAsia'13 Proceedings of the 2013 international conference on Information and Communication Technology
Simplifying process model abstraction: Techniques for generating model names
Information Systems
Information and Software Technology
| Hi-index | 0.00 |
Business process modeling plays an important role in the management of business processes. As valuable design artifacts, business process models are subject to quality considerations. The absence of formal errors such as deadlocks is of paramount importance for the subsequent implementation of the process. In his book Jan Mendlingdevelops a framework for the detection of formal errors in business process models and the prediction of error probability based on quality attributes of these models (metrics).He presents aprecise description of Event-driven Process Chains (EPCs), their control-flow semantics and a suitable correctness criterion called EPC soundness.