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 条
  • [21] Fast Operating PLC Based on Event-Driven Control Program Tasks Execution
    Chmiel, Miroslaw
    Hryniewicz, Edward
    Milik, Adam
    INTERNATIONAL JOURNAL OF ELECTRONICS AND TELECOMMUNICATIONS, 2009, 55 (02) : 269 - 286
  • [22] An Event-driven Service-oriented Architecture for the Internet of Things Service Execution
    Lan, Lina
    Wang, Bai
    Zhang, Lei
    Shi, Ruisheng
    Li, Fei
    INTERNATIONAL JOURNAL OF ONLINE ENGINEERING, 2015, 11 (02) : 4 - 8
  • [23] Design and event-driven control of function blocks for adaptive process plan execution
    Wang, LH
    Jin, W
    Feng, HY
    TRANSACTIONS OF THE NORTH AMERICAN MANUFACTURING RESEARCH INSTITUTION OF SME 2005, VOL 33, 2005, 2005, 33 : 343 - 350
  • [24] Smart scheme: an efficient query execution scheme for event-driven stream processing
    Shaikh, Salman Ahmed
    Watanabe, Yousuke
    Wang, Yan
    Kitagawa, Hiroyuki
    KNOWLEDGE AND INFORMATION SYSTEMS, 2019, 58 (02) : 341 - 370
  • [25] Smart scheme: an efficient query execution scheme for event-driven stream processing
    Salman Ahmed Shaikh
    Yousuke Watanabe
    Yan Wang
    Hiroyuki Kitagawa
    Knowledge and Information Systems, 2019, 58 : 341 - 370
  • [26] Semantics based event-driven publish/subscribe Service-Oriented Architecture
    Laliwala, Zakir
    Sorathia, Vikram
    Chaudhary, Sanjay
    2006 1ST INTERNATIONAL CONFERENCE ON COMMUNICATION SYSTEMS SOFTWARE & MIDDLEWARE, VOLS 1 AND 2, 2006, : 346 - +
  • [27] Yet Another Event-driven Process Chain Modelling Workflow Patterns with yEPCs
    Mendling, Jan
    Neumann, Gustaf
    Nuettgens, Markus
    ENTERPRISE MODELLING AND INFORMATION SYSTEMS ARCHITECTURES-AN INTERNATIONAL JOURNAL, 2005, 1 (01): : 3 - 13
  • [28] Event-driven RBAC
    Bonatti, Piero
    Galdi, Clemente
    Torres, Davide
    JOURNAL OF COMPUTER SECURITY, 2015, 23 (06) : 709 - 757
  • [29] REACTIVE PLANNING STRATEGY FOR EVENT-DRIVEN OBSERVATION IN HETEROGENEOUS SENSOR WEBS
    Ben Gorr
    Jaramillo, Alan Aguilar
    Erwin, Christina
    Selva, Daniel
    IGARSS 2024-2024 IEEE INTERNATIONAL GEOSCIENCE AND REMOTE SENSING SYMPOSIUM, IGARSS 2024, 2024, : 704 - 708
  • [30] A Highly Concurrent Process Virtual Machine Based on Event-driven Process Execution Model
    Wu, Dongyao
    Wei, Jun
    Gao, Chushu
    Dou, Wenshen
    2012 NINTH IEEE INTERNATIONAL CONFERENCE ON E-BUSINESS ENGINEERING (ICEBE), 2012, : 61 - 69
12345