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 条
  • [21] preCEP: Facilitating Predictive Event-Driven Process Analytics
    Schwegmann, Bernd
    Matzner, Martin
    Janiesch, Christian
    DESIGN SCIENCE AT THE INTERSECTION OF PHYSICAL AND VIRTUAL DESIGN, 2013, 7939 : 448 - 455
  • [22] Wand and Weber's good decomposition conditions for BPMN An interpretation and differences to Event-Driven Process Chains
    Johannsen, Florian
    Leist, Susanne
    Tausch, Reinhold
    BUSINESS PROCESS MANAGEMENT JOURNAL, 2014, 20 (05) : 693 - +
  • [23] Towards a Methodology for the Engineering of Event-Driven Process Applications
    Baumgrass, Anne
    Botezatu, Mirela
    Di Ciccio, Claudio
    Dijkman, Remco
    Grefen, Paul
    Hewelt, Marcin
    Mendling, Jan
    Meyer, Andreas
    Pourmirza, Shaya
    Volzer, Hagen
    BUSINESS PROCESS MANAGEMENT WORKSHOPS, (BPM 2015), 2016, 256 : 501 - 514
  • [24] Event-driven approach for process modeling in telecommunication service
    State Key Laboratory of Networking and Switching Technology, Beijing University of Posts and Telecommunications, Beijing 100876, China
    Beijing Youdian Daxue Xuebao, 2008, 6 (94-98):
  • [25] Integrated simulation combining process-driven and event-driven models
    Kesaraju, V. S.
    Ciarallo, F. W.
    JOURNAL OF SIMULATION, 2012, 6 (01) : 9 - 20
  • [26] A Framework for the Generation of Monitor and Plant Model From Event Logs Using Process Mining for Formal Verification of Event-Driven Systems
    Xavier, Midhun
    Dubinin, Victor
    Patil, Sandeep
    Vyatkin, Valeriy
    IEEE OPEN JOURNAL OF THE INDUSTRIAL ELECTRONICS SOCIETY, 2024, 5 : 517 - 534
  • [27] EveCheck: An Event-Driven, Scalable Algorithm for Coherent Shared Memory Verification
    Graf, Marleson
    Andrade, Gabriel A. G.
    dos Santos, Luiz C. V.
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2023, 42 (02) : 683 - 696
  • [28] Event-driven RBAC
    Bonatti, Piero
    Galdi, Clemente
    Torres, Davide
    JOURNAL OF COMPUTER SECURITY, 2015, 23 (06) : 709 - 757
  • [29] EPC markup language (EPML): An XML-based interchange format for event-driven process chains (EPC)
    Mendling J.
    Nüttgens M.
    Information Systems and e-Business Management, 2006, 4 (3) : 245 - 263
  • [30] Bridging the gap between data warehouses and business processes - A business intelligence perspective for event-driven process chains
    Stefanov, V
    List, B
    Schiefer, J
    NINTH IEEE INTERNATIONAL EDOC ENTERPRISE COMPUTING CONFERENCE, PROCEEDINGS, 2005, : 3 - 14
12345