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 条
  • [31] Implementation of Web-based event-driven activity execution in CapBasED-AMS
    Hung, PCK
    Karlapalem, K
    ASSOCIATION FOR INFORMATION SYSTEMS PROCEEDINGS OF THE AMERICAS CONFERENCE ON INFORMATION SYSTEMS, 1998, : 1000 - 1002
  • [32] Denotational semantics and its algebraic derivation for an event-driven system-level language
    Zhu, H.
    He, Jifeng
    Qin, Shengchao
    Brooke, Phillip J.
    FORMAL ASPECTS OF COMPUTING, 2015, 27 (01) : 133 - 166
  • [33] Event-Driven Query Expansion
    Rosin, Guy D.
    Guy, Ido
    Radinsky, Kira
    WSDM '21: PROCEEDINGS OF THE 14TH ACM INTERNATIONAL CONFERENCE ON WEB SEARCH AND DATA MINING, 2021, : 391 - 399
  • [34] Event-driven Adaptation in COP
    Degano, Pierpaolo
    Ferrari, Gian-Luigi
    Galletta, Letterio
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (211): : 37 - 45
  • [35] Event-Driven Packet Processing
    Ibanez, Stephen
    Antichi, Gianni
    Brebner, Gordon
    McKeown, Nick
    PROCEEDINGS OF THE EIGHTEENTH ACM WORKSHOP ON HOT TOPICS IN NETWORKS (HOTNETS '19), 2019, : 133 - 140
  • [36] Optimizing event-driven simulations
    De Michele, C.
    COMPUTER PHYSICS COMMUNICATIONS, 2011, 182 (09) : 1846 - 1850
  • [37] Event-driven power management
    Simunic, T
    Benini, L
    Glynn, P
    De Micheli, G
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2001, 20 (07) : 840 - 857
  • [38] Event-Driven Network Programming
    McClurg, Jedidiah
    Hojjat, Hossein
    Foster, Nate
    Cerny, Pavol
    ACM SIGPLAN NOTICES, 2016, 51 (06) : 369 - 385
  • [39] EVENT-DRIVEN MODULO SAMPLING
    Florescu, Dorian
    Krahmer, Felix
    Bhandari, Ayush
    2021 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH AND SIGNAL PROCESSING (ICASSP 2021), 2021, : 5435 - 5439
  • [40] Event-Driven Programming with EScala
    Satabin, Lucas
    Mezini, Mira
    AOSD 2011 PROCEEDINGS AND COMPANION MATERIAL, 2011, : 67 - 67
12345