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
来源
关键词
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 条
  • [41] Event-driven intermittent control
    Gawthrop, Peter J.
    Wang, Liuping
    INTERNATIONAL JOURNAL OF CONTROL, 2009, 82 (12) : 2235 - 2248
  • [42] EVENT-DRIVEN COMPILING TECHNIQUE
    BANATRE, JP
    ROUTEAU, JP
    TRILLING, L
    COMMUNICATIONS OF THE ACM, 1979, 22 (01) : 34 - 42
  • [43] On Event-Driven Business Integration
    Frank, Joachim H.
    Zeng, Liangzhao
    2013 IEEE 10TH INTERNATIONAL CONFERENCE ON E-BUSINESS ENGINEERING (ICEBE), 2013, : 82 - 89
  • [44] Event-driven stochastic approximation
    Vivek S. Borkar
    Neeraja Sahasrabudhe
    M. Ashok Vardhan
    Indian Journal of Pure and Applied Mathematics, 2016, 47 : 291 - 299
  • [45] Event-Driven Headline Generation
    Sun, Rui
    Zhang, Yue
    Zhang, Meishan
    Ji, Donghong
    PROCEEDINGS OF THE 53RD ANNUAL MEETING OF THE ASSOCIATION FOR COMPUTATIONAL LINGUISTICS AND THE 7TH INTERNATIONAL JOINT CONFERENCE ON NATURAL LANGUAGE PROCESSING, VOL 1, 2015, : 462 - 472
  • [46] EVENT-DRIVEN STOCHASTIC APPROXIMATION
    Borkar, Vivek S.
    Sahasrabudhe, Neeraja
    Vardhan, M. Ashok
    INDIAN JOURNAL OF PURE & APPLIED MATHEMATICS, 2016, 47 (02): : 291 - 299
  • [47] Event-driven competing risks
    Ewing, B
    Yandell, BS
    Barbieri, JF
    Luck, RF
    Forster, LD
    ECOLOGICAL MODELLING, 2002, 158 (1-2) : 35 - 50
  • [48] Realizing Event-Driven SOA
    Levina, Olga
    Stantchev, Vladimir
    2009 FOURTH INTERNATIONAL CONFERENCE ON INTERNET AND WEB APPLICATIONS AND SERVICES, 2009, : 37 - +
  • [49] Optimizing Event-Driven Localization
    Jin, Naigao
    Zhong, Ziguo
    He, Tian
    2013 IEEE 10TH INTERNATIONAL CONFERENCE ON MOBILE AD-HOC AND SENSOR SYSTEMS (MASS 2013), 2013, : 55 - 63
  • [50] Utility Driven Adaptive Workflow Execution
    Lee, Kevin
    Paton, Norman W.
    Sakellariou, Rizos
    Fernandes, Alvaro A. A.
    CCGRID: 2009 9TH IEEE INTERNATIONAL SYMPOSIUM ON CLUSTER COMPUTING AND THE GRID, 2009, : 220 - 227