Semantics of reactive components in event-driven workflow execution

被引：0
|
作者：
Tombros, D [1 ]
Geppert, A [1 ]
Dittrich, KR [1 ]
机构：
[1] Univ Zurich, Inst Informat, CH-8057 Zurich, Switzerland
来源：
ADVANCED INFORMATION SYSTEMS ENGINEERING | 1997年 / 1250卷
关键词：
workflow management; ECA-rules; distributed systems;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
The exact semantics of workflows and involved processing entities is an open yet urgent problem. This paper considers the semantics and correctness of event-driven workflow execution. The basis for the formalization in our approach is provided by an event history which records all events that have occurred during the execution of workflows. Workflows are executed by reactive components which operate on top of that history. Based on the history it is possible to determine the semantics of these reactive components (and consequently, the semantics of workflows) as well as to check whether their observable behavior is correct.
引用
收藏
页码：409 / 422
页数：14
相关论文
共 50 条
  • [1] Defining the semantics of reactive components in event-driven workflow execution with event histories
    Geppert, A
    Tombros, D
    Dittrich, KR
    INFORMATION SYSTEMS, 1998, 23 (3-4) : 235 - 252
  • [2] Event-Driven Scientific Workflow Execution
    Zhao, Zhili
    Paschke, Adrian
    BUSINESS PROCESS MANAGEMENT WORKSHOPS (BPM), 2013, 132 : 390 - 401
  • [3] EDGE: Event-Driven GPU Execution
    Hetherington, Tayler Hicklin
    Lubeznov, Maria
    Shah, Deval
    Aamodt, Tor M.
    2019 28TH INTERNATIONAL CONFERENCE ON PARALLEL ARCHITECTURES AND COMPILATION TECHNIQUES (PACT 2019), 2019, : 336 - 352
  • [4] Event-driven programming with logical execution times
    Ghosal, A
    Henzinger, TA
    Kirsch, CM
    Sanvido, MAA
    HYBRID SYSTEMS: COMPUTATION AND CONTROL, PROCEEDINGS, 2004, 2993 : 357 - 371
  • [5] Decentralized execution of event-driven scientific workflows
    Li, Guoli
    Muthusamy, Vinod
    Jacobsen, H. -Arno
    Mankovski, Serge
    SCW 2006: IEEE SERVICES COMPUTING WORKSHOPS, PROCEEDINGS, 2006, : 73 - +
  • [6] An Idea of Event-Driven Program Tasks Execution
    Chmiel, M.
    Hrynkiewicz, E.
    IFAC WORKSHOP ON PROGRAMMABLE DEVICES AND EMBEDDED SYSTEMS (PDES 2009), PROCEEDINGS, 2009, : 17 - 22
  • [7] A framework for event-driven surgical workflow assistance
    Franke, S.
    Neumuth, T.
    BIOMEDICAL ENGINEERING-BIOMEDIZINISCHE TECHNIK, 2014, 59 : S1233 - +
  • [8] Event-driven Model for Manufacturing Execution System Platform
    Shang Wenli
    Duan Bin
    Shi Haibo
    ISCSCT 2008: INTERNATIONAL SYMPOSIUM ON COMPUTER SCIENCE AND COMPUTATIONAL TECHNOLOGY, VOL 2, PROCEEDINGS, 2008, : 387 - 390
  • [9] Smart Query Execution for Event-driven Stream Processing
    Shaikh, Salman Ahmed
    Watanabe, Yousuke
    Wang, Yan
    Kitagawa, Hiroyuki
    2016 IEEE SECOND INTERNATIONAL CONFERENCE ON MULTIMEDIA BIG DATA (BIGMM), 2016, : 97 - 104
  • [10] LuaTS - A reactive event-driven tuple space
    Leal, MA
    Rodriguez, N
    Ierusalimschy, R
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2003, 9 (08) : 730 - 744
12345