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
来源
ECOWS'09: PROCEEDINGS OF THE 7TH IEEE EUROPEAN CONFERENCE ON WEB SERVICES | 2009年
关键词
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 条
  • [21] On the analysis of CMMN expressiveness: revisiting workflow patterns
    de Carvalho, Renata M.
    Mili, Hafedh
    Boubaker, Anis
    Gonzalez-Huerta, Javier
    Ringuette, Simon
    2016 IEEE 20TH INTERNATIONAL ENTERPRISE DISTRIBUTED OBJECT COMPUTING WORKSHOP (EDOCW), 2016, : 54 - 61
  • [22] Control-flow Refinement and Progress Invariants for Bound Analysis
    Gulwani, Sumit
    Jain, Sagar
    Koskinen, Eric
    ACM SIGPLAN NOTICES, 2009, 44 (06) : 375 - 385
  • [23] A calculational approach to control-flow analysis by abstract interpretation
    Midtgaard, Jan
    Jensen, Thomas
    STATIC ANALYSIS, 2008, 5079 : 347 - +
  • [24] Control-flow Refinement and Progress Invariants for Bound Analysis
    Gulwani, Sumit
    Jain, Sagar
    Koskinen, Eric
    PLDI'09 PROCEEDINGS OF THE 2009 ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION, 2009, : 375 - 385
  • [25] Binary Control-Flow Trimming
    Ghaffarinia, Masoud
    Hamlen, Kevin W.
    PROCEEDINGS OF THE 2019 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (CCS'19), 2019, : 1009 - 1022
  • [26] Workflow verification: Finding control-flow errors using Petri-net-based techniques
    van der Aalst, WMP
    BUSINESS PROCESS MANAGEMENT: MODELS, TECHNIQUES, AND EMPIRICAL STUDIES, 2000, 1806 : 161 - 183
  • [27] Control-Flow Carrying Code
    Lin, Yan
    Cheng, Xiaoyang
    Gao, Debin
    PROCEEDINGS OF THE 2019 ACM ASIA CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (ASIACCS '19), 2019, : 3 - 14
  • [28] Traces of Control-Flow Graphs
    Campanoni, Simone
    Reghizzi, Stefano Crespi
    DEVELOPMENTS IN LANGUAGE THEORY, PROCEEDINGS, 2009, 5583 : 156 - 169
  • [29] Partial Control-Flow Linearization
    Moll, Simon
    Hack, Sebastian
    PROCEEDINGS OF THE 39TH ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION, PLDI 2018, 2018, : 543 - 556
  • [30] A pointcut language for control-flow
    Douence, R
    Teboul, L
    GENERATIVE PROGRAMMING AND COMPONENT ENGINEERING 2004, PROCEEDINGS, 2004, 3286 : 95 - 114