History-based joins: Semantics, soundness and implementation

被引：3
|
作者：
van Hee, Kees [1 ]
Oanea, Olivia [1 ]
Serebrenik, Alexander [1 ]
Sidorova, Natalia [1 ]
Voorhoeve, Marc [1 ]
机构：
[1] Eindhoven Univ Technol, Dept Math & Comp Sci, NL-5600 MB Eindhoven, Netherlands
来源：
DATA & KNOWLEDGE ENGINEERING | 2008年 / 64卷 / 01期
关键词：
business process modeling and analysis; formal models in business process management; process patterns; process verification and validation; workflow management systems;
D O I：
10.1016/j.datak.2007.06.005
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
In this paper we study the use of case history for control structures in workflow processes. History-dependent control offers much more modeling power than classical control structures and it solves several semantical problems of industrial modeling frameworks. In particular, we introduce a history-dependent join. We study the modeling power by means of workflow patterns. Since proper completion (i.e. the ability of any configuration reachable from the initial one to reach the final one) is always an important '' sanity check '' of process modeling, we introduce a modeling method that guarantees this property holds. Finally we consider an implementation of the proposed control structures on top of an existing workflow engine. (c) 2007 Published by Elsevier B.V.
引用
收藏
页码：24 / 37
页数：14
相关论文
共 50 条
  • [1] History-based joins: Semantics, soundness and implementation
    van Hee, Kees
    Oanea, Olivia
    Serebrenik, Alexander
    Sidorova, Natalia
    Voorhoeve, Marc
    [J]. BUSINESS PROCESS MANAGEMENT, PROCEEDINGS, 2006, 4102 : 225 - 240
  • [2] History-Based Construction of Alignments for Conformance Checking: Formalization and Implementation
    Alizadeh, Mahdi
    de Leoni, Massimiliano
    Zannone, Nicola
    [J]. DATA-DRIVEN PROCESS DISCOVERY AND ANALYSIS, SIMPDA 2014, 2015, 237 : 58 - 78
  • [3] Forward chaining in HALO: An implementation strategy for history-based logic pointcuts
    Herzeel, Charlotte
    Gybels, Kris
    Costanza, Pascal
    De Roover, Coen
    D'Hondt, Theo
    [J]. COMPUTER LANGUAGES SYSTEMS & STRUCTURES, 2009, 35 (01) : 31 - 47
  • [4] History-Based Email Prioritization
    Nussbaum, Ronald
    Esfahanian, Abdol-Hossein
    Tan, Pang-Ning
    [J]. 2009 INTERNATIONAL CONFERENCE ON ADVANCES IN SOCIAL NETWORKS ANALYSIS AND MINING, 2009, : 364 - 365
  • [5] History-based Visualization Navigation
    Zhao, Jing
    [J]. INTERNATIONAL CONFERENCE ON ADVANCED COMPUTER SCIENCE AND ENGINEERING (ACSE 2014), 2014, : 201 - 204
  • [6] Monitors for history-based policies
    Chomicki, J
    Lobo, J
    [J]. POLICIES FOR DISTRIBUTED SYSTEMS AND NETWORKS, PROCEEDINGS, 2001, 1995 : 57 - 72
  • [7] History-based Merging of Models
    Schmidt, Maik
    Wenzel, Sven
    Kehrer, Timo
    Kelter, Udo
    [J]. 2009 ICSE WORKSHOP ON COMPARISON AND VERSIONING OF SOFTWARE MODELS, 2009, : 13 - 18
  • [8] Game Semantics for Type Soundness
    Disney, Tim
    Flanagan, Cormac
    [J]. 2015 30TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2015, : 104 - 114
  • [9] Soundness, completeness and non-redundancy of operational semantics for Verilog based on denotational semantics
    Zhu, HB
    Bowen, JP
    He, JF
    [J]. FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2002, 2495 : 600 - 612
  • [10] A scalable history-based policy engine
    Gama, Pedro
    Ribeiro, Carlos
    Ferreira, Paulo
    [J]. SEVENTH IEEE INTERNATIONAL WORKSHOP ON POLICIES FOR DISTRIBUTED SYSTEMS AND NETWORKS, PROCEEDINGS, 2006, : 100 - +
12345