Formalization and verification of event-driven process chains

被引：0
|
作者：
Dept. of Math. and Computing Science, Eindhoven Univ. Technol., P.O. B., Eindhoven, Netherlands [1 ]
机构：
来源：
Inf Software Technol | / 10卷 / 639-650期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Formalization and verification of event-driven process chains
    van der Aalst, WMP
    INFORMATION AND SOFTWARE TECHNOLOGY, 1999, 41 (10) : 639 - 650
  • [2] Merging Event-Driven Process Chains
    Gottschalk, Florian
    van der Aalst, Wil M. P.
    Jansen-Vullers, Monique H.
    ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2008, PART I, 2008, 5331 : 418 - 426
  • [3] A performance measurement perspective for event-driven process chains
    Stefanov, V
    List, B
    Sixteenth International Workshop on Database and Expert Systems Applications, Proceedings, 2005, : 967 - 971
  • [4] Petri net based certification of event-driven process chains
    Langner, P
    Schneider, C
    Wehler, J
    APPLICATION AND THEORY OF PETRI NETS 1998, 1998, 1420 : 286 - 305
  • [5] Colored Petri nets to verify extended event-driven process chains
    van Hee, K
    Oanea, O
    Sidorova, N
    ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2005: COOPIS, DOA, AND ODBASE, PT 1, PROCEEDINGS, 2005, 3760 : 183 - 201
  • [6] Detecting Common Errors in Event-Driven Process Chains by Label Analysis
    Gruhn, Volker
    Laue, Ralf
    ENTERPRISE MODELLING AND INFORMATION SYSTEMS ARCHITECTURES-AN INTERNATIONAL JOURNAL, 2011, 6 (01): : 3 - 15
  • [7] Towards an Extended Metamodel of Event-Driven Process Chains to Model Complex Event Patterns
    Krumeich, Julian
    Mehdiyev, Nijat
    Werth, Dirk
    Loos, Peter
    ADVANCES IN CONCEPTUAL MODELING, ER 2015 WORKSHOPS, 2015, 9382 : 119 - 130
  • [8] Verification of Event-driven Process Chain with Timed Automata and Time Petri Nets
    Amjad, Anam
    Azam, Farooque
    Anwar, Muhammad Waseem
    Butt, Wasi Haider
    2017 9TH IEEE-GCC CONFERENCE AND EXHIBITION (GCCCE), 2018,
  • [9] SOA simulation and verification by Event-Driven Policy Enforcement
    Tsai, W. T.
    Zhou, Xinyu
    Chen, Yinong
    41ST ANNUAL SIMULATION SYMPOSIUM, PROCEEDINGS, 2008, : 165 - 172
  • [10] UMLPACE for Modeling and Verification of Complex Business Requirements in Event-Driven Process Chain (EPC)
    Amjad, Anam
    Azam, Farooque
    Anwar, Muhammad Waseem
    Butt, Wasi Haider
    Rashid, Muhammad
    Naeem, Aamir
    IEEE ACCESS, 2018, 6 : 76198 - 76216
12345