An Analysis of Windows Workflow's Control-Flow Expressiveness

被引:8
|
作者
Zapletal, Marco [1 ,2 ]
van der Aalst, Wil M. P. [2 ]
Russell, Nick [2 ]
Liegl, Philipp [1 ]
Werthner, Hannes [1 ]
机构
[1] Vienna Univ Technol, Vienna, Austria
[2] Eindhoven Univ Technol, Eindhoven, Netherlands
关键词
Workflow Patterns; Windows Workflow; Workflow Modeling; Business Process Modeling;
D O I
10.1109/ECOWS.2009.17
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
The Windows Workflow Foundation (WF) has been introduced as part of the .NET framework as a means of creating workflow-centric applications. Its intended field of application is broad, ranging from fat-client applications and web applications to enterprise application integration solutions. Unlike other approaches Windows Workflow supports two distinct approaches to workflow specification - sequential workflows and state machine workflows - which deal with fundamentally different types of business scenarios. To date there has been minimal investigation into its capabilities and limitations, especially with respect to the two different control-flow styles it offers. To remedy this, in this paper we present a rigorous analysis of Windows Workflow's ability to deal with common control-flow scenarios. As a framework for this evaluation we use the Workflow Patterns. Our analysis outlines the strength and shortcomings of Windows Workflow's control-flow expressiveness and compares it to BPEL and jBPM - two other popular approaches for the design and implementation of business processes in a service-oriented context.
引用
收藏
页码:200 / +
页数:2
相关论文
共 50 条
  • [1] The NestFlow Interpretation of Workflow Control-Flow Patterns
    Combi, Carlo
    Gambini, Mauro
    Migliorini, Sara
    [J]. ADVANCES IN DATABASES AND INFORMATION SYSTEMS, 2011, 6909 : 316 - 332
  • [2] Diagnostic Information for Control-Flow Analysis of Workflow Graphs (a.k.a. Free-Choice Workflow Nets)
    Favre, Cedric
    Voelzer, Hagen
    Mueller, Peter
    [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS (TACAS 2016), 2016, 9636 : 463 - 479
  • [3] A CASE STUDY IN WORKFLOW MODELLING USING CONTROL-FLOW PATTERNS
    Callero, Y.
    Castilla, I.
    Aguilar, R. M.
    [J]. 22ND EUROPEAN MODELING AND SIMULATION SYMPOSIUM (EMSS 2010), 2010, : 265 - 274
  • [4] Alternative Representations of Workflow Control-Flow Patterns Using HOPS
    Kuehn, Robert
    Dittmar, Anke
    Forbrig, Peter
    [J]. PERSPECTIVES IN BUSINESS INFORMATICS RESEARCH, 2010, 64 : 115 - +
  • [5] Demand Control-Flow Analysis
    Germane, Kimball
    McCarthy, Jay
    Adams, Michael D.
    Might, Matthew
    [J]. VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2019, 2019, 11388 : 226 - 246
  • [6] Control-Flow Bending: On the Effectiveness of Control-Flow Integrity
    Carlini, Nicolas
    Barresi, Antonio
    Payer, Mathias
    Wagner, David
    Gross, Thomas R.
    [J]. PROCEEDINGS OF THE 24TH USENIX SECURITY SYMPOSIUM, 2015, : 161 - 176
  • [7] Control-Flow Analysis of Functional Programs
    Midtgaard, Jan
    [J]. ACM COMPUTING SURVEYS, 2012, 44 (03)
  • [8] Pushdown Control-Flow Analysis for Free
    Gilray, Thomas
    Lyde, Steven
    Adams, Michael D.
    Might, Matthew
    Van Horn, David
    [J]. ACM SIGPLAN NOTICES, 2016, 51 (01) : 691 - 704
  • [9] THE SEMANTICS OF SCHEME CONTROL-FLOW ANALYSIS
    SHIVERS, O
    [J]. SIGPLAN NOTICES, 1991, 26 (09): : 190 - 198
  • [10] Control-flow analysis in cubic time
    Nielson, F
    Seidl, H
    [J]. PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2001, 2028 : 252 - 268