Modeling workflow patterns from first principles

Authors:
Egon Börger
Affiliations:
Università di Pisa, Dipartimento di Informatica, Pisa, Italy
Venue:
ER'07 Proceedings of the 26th international conference on Conceptual modeling
Year:
2007

Citing 5
Cited 8

Java and the Java Virtual Machine: Definition, Verification, Validation with Cdrom

Java and the Java Virtual Machine: Definition, Verification, Validation with Cdrom
Workflow Patterns

Distributed and Parallel Databases
Abstract State Machines: A Method for High-Level System Design and Analysis

Abstract State Machines: A Method for High-Level System Design and Analysis
Remarks on turbo ASMs for functional equations and recursion schemes

ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
Tutorial: the ASM method for system design and analysis. a tutorial introduction

FroCoS'05 Proceedings of the 5th international conference on Frontiers of Combining Systems

Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach

ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
Abstract State Services

ER '08 Proceedings of the ER 2008 Workshops (CMLSA, ECDM, FP-UML, M2AS, RIGiM, SeCoGIS, WISM) on Advances in Conceptual Modeling: Challenges and Opportunities
A Method for Verifiable and Validatable Business Process Modeling

Advances in Software Engineering
Qos-driven runtime adaptation of service oriented architectures

Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
An ASM-based executable formal model of service-oriented component interactions and orchestration

Proceedings of the Second International Workshop on Behaviour Modelling: Foundation and Applications
Workflow patterns put into context

Software and Systems Modeling (SoSyM)
Approaches to modeling business processes: a critical analysis of BPMN, workflow patterns and YAWL

Software and Systems Modeling (SoSyM)
A pattern-based approach for the verification of business process descriptions

Information and Software Technology

Quantified Score

Hi-index	0.00

Visualization

Abstract

We propose a small set of parameterized abstract models for workflow patterns, starting from first principles for sequential and distributed control. Appropriate instantiations yield the 43 workflow patterns that have been listed recently by the Business Process Modeling Center. The resulting structural classification of those patterns into eight basic categories, four for sequential and four for parallel workflows, provides a semantical foundation for a rational evaluation of workflow patterns.