Modeling Workflow Patterns from First Principles

Börger, Egon

doi:10.1007/978-3-540-75563-0_1

Cited by 20 publications

(16 citation statements)

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Following our algorithm, we implemented (manually) the EC example into the CPN Tools model checker [12]. This results in a CPN containing 24 places, 25 transitions and about 500 lines of CPN ML code; the detailed CPN description is available in [3], and the CPN Tools model is available online 5 . Such an implementation allows for automated verification techniques; among the properties are for example the fact that the various final nodes may be reached in any case, and hence that the process is well-formed.…”

Section: Discussionmentioning

confidence: 99%

“…Also note that [11] proposes an operational semantics of the activity diagrams (for UML 2.2). Börger [5] and Cook et al [7] present other formalizations of the workflow patters of [20] using formalisms different from Petri nets, viz., Abstract State Machines and Orc, respectively. In [16], patterns for specifying the system correctness are defined using UML statecharts, and then translated into timed automata.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Activity Diagrams Patterns for Modeling Business Processes

André

Choppy

Reggio³

2014

Software Engineering Research, Management and Applications

View full text Add to dashboard Cite

Designing and analyzing business processes is the starting point of the development of enterprise applications, especially when following the SOA (Service Oriented Architecture) paradigm. UML activity diagrams are often used to model business processes. Unfortunately, their rich syntax favors mistakes by designers; furthermore, their informal semantics prevents the use of automated verification techniques. In this paper, (i) we propose activity diagram patterns for modeling business processes, (ii) we devise a modular mechanism to compose diagram fragments into a UML activity diagram, and (iii) we propose a semantics for the produced activity diagrams, formalized by colored Petri nets. Our approach guides the modeler task (helping to avoid common mistakes), and allows for automated verification.

show abstract

Section: Discussionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Activity Diagrams Patterns for Modeling Business Processes

André

Choppy

Reggio³

2014

Software Engineering Research, Management and Applications

View full text Add to dashboard Cite

show abstract

“…One of BPMN's main shortcomings is here; see the discussion of refinement mechanisms below. 6 • Management of resources can be expressed only via lanes (actors, roles, etc.) or performers of user or manual tasks.…”

Section: Problems Of Bpmn 20mentioning

confidence: 99%

Approaches to modeling business processes: a critical analysis of BPMN, workflow patterns and YAWL

Börger

2011

Softw Syst Model

Self Cite

121

View full text Add to dashboard Cite

We investigate three approaches describing models of business processes: the OMG standard BPMN in its recent version 2.0, the workflow patterns of the Workflow Pattern Initiative and their reference implementation YAWL. We show how the three approaches fail to provide practitioners with a suitable means precisely and faithfully to capture business scenarios and to analyze, communicate and manage the resulting models. On the positive side, we distill from the discussion six criteria which can help to recognize practical and reliable tool-supported business process description and modeling systems.

show abstract

“…Surprisingly, despite his criticism, Egon Börger has published various papers on formalizing the control-flow patterns in terms of Abstract State Machine (ASMs) [2]. On the one hand, he claims that our informal descriptions are vague and ambiguous.…”

Section: Balancing Between Generality and Precisionmentioning

confidence: 99%

Workflow patterns put into context

Aalst

Hofstede

2012

Softw Syst Model

View full text Add to dashboard Cite

In his paper "Approaches to Modeling Business Processes. A Critical Analysis of BPMN, Workflow Patterns and YAWL", Egon Börger criticizes the work of the Workflow Patterns Initiative in a rather provocative manner. Although the workflow patterns and YAWL are well established and frequently used, Börger seems to misunderstand the goals and contributions of the Workflow Patterns Initiative. Therefore, we put the workflow patterns and YAWL in their historic context. Moreover, we address some of the criticism of Börger by pointing out the real purpose of the workflow patterns and their relationship to formal languages (Petri nets) and real-life WFM/BPM systems.

show abstract

Modeling Workflow Patterns from First Principles

Cited by 20 publications

References 8 publications

Activity Diagrams Patterns for Modeling Business Processes

Activity Diagrams Patterns for Modeling Business Processes

Approaches to modeling business processes: a critical analysis of BPMN, workflow patterns and YAWL

Workflow patterns put into context

Contact Info

Product

Resources

About