Fuzzy Conformance Checking of Observed Behaviour with Expectations

被引:0
|
作者
Bragaglia, Stefano [1 ]
Chesani, Federico [1 ]
Mello, Paola [1 ]
Montali, Marco [2 ]
Sottara, Davide [1 ]
机构
[1] Univ Bologna, DEIS, Viale Risorgimento 2, I-40136 Bologna, Italy
[2] Free Univ Bozen Bolzano, KRDB Res Ctr, I-39100 Bolzano, Italy
关键词
fuzzy conformance; production rule systems; expectations; time reasoning; PATTERN; RETE;
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
In some different research fields a research issue has been to establish if the external, observed behaviour of an entity is conformant to some rules/specifications/expectations. Research areas like Multi Agent Systems, Business Process, and Legal/Normative systems, have proposed different characterizations of the same problem, named as the conformance problem. Most of the available systems, however, provide only simple yes/no answers to the conformance issue. In this paper we introduce the idea of a gradual conformance, expressed in fuzzy terms. To this end, we present a system based on a fuzzy extension of Drools, and exploit it to perform conformance tests. In particular, we consider two aspects: the first related to fuzzy ontological aspects, and the second about fuzzy time-related aspects. Moreover, we discuss how to conjugate the fuzzy contributions from these aspects to get a single, fuzzy score representing a conformance degree.
引用
收藏
页码:80 / +
页数:3
相关论文
共 50 条
  • [21] Conformance Checking using Formal Methods
    Santone, Antonella
    Vaglini, Gigliola
    ICSOFT-EA: PROCEEDINGS OF THE 11TH INTERNATIONAL JOINT CONFERENCE ON SOFTWARE TECHNOLOGIES - VOL. 1, 2016, : 258 - 263
  • [22] Impact-Aware Conformance Checking
    Tsoury, Arava
    Soffer, Pnina
    Reinhartz-Berger, Iris
    BUSINESS PROCESS MANAGEMENT WORKSHOPS (BPM 2019), 2019, 362 : 147 - 159
  • [23] Encoding Conformance Checking Artefacts in SAT
    Boltenhagen, Mathilde
    Chatain, Thomas
    Carmona, Josep
    BUSINESS PROCESS MANAGEMENT WORKSHOPS (BPM 2019), 2019, 362 : 160 - 171
  • [24] A Unified Approach to Architecture Conformance Checking
    Caracciolo, Andrea
    Lungu, Mircea Filip
    Nierstrasz, Oscar
    2015 12TH WORKING IEEE/IFIP CONFERENCE ON SOFTWARE ARCHITECTURE (WICSA), 2015, : 41 - 50
  • [25] Earth Movers' Stochastic Conformance Checking
    Leemans, Sander J. J.
    Syring, Anja F.
    van der Aalst, Wil M. P.
    BUSINESS PROCESS MANAGEMENT FORUM, BPM FORUM 2019, 2019, 360 : 127 - 143
  • [26] Scalable process discovery and conformance checking
    Sander J. J. Leemans
    Dirk Fahland
    Wil M. P. van der Aalst
    Software & Systems Modeling, 2018, 17 : 599 - 631
  • [27] Conformance Checking: Relating Processes and Models
    Carmona, Josep
    van Dongen, Boudewijn
    Weidlich, Matthias
    ADVANCED INFORMATION SYSTEMS ENGINEERING (CAISE 2019), 2019, 11483 : 700 - 700
  • [28] A Algorithm for Conformance Checking Based on Statistics
    Li Zhao
    Zhang Liqun
    Huang Fangfang
    2014 FIFTH INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS DESIGN AND ENGINEERING APPLICATIONS (ISDEA), 2014, : 5 - 8
  • [29] Conformance Checking Approximation Using Simulation
    Sani, Mohammadreza Fani
    Gonzalez, Juan J. Garza
    van Zelst, Sebastiaan J.
    van der Aalst, Wil M. P.
    2020 2ND INTERNATIONAL CONFERENCE ON PROCESS MINING (ICPM 2020), 2020, : 105 - 112
  • [30] Architecture Conformance Checking with Description Logics
    Schroeder, Sandra
    Riebisch, Matthias
    11TH EUROPEAN CONFERENCE ON SOFTWARE ARCHITECTURE (ECSA 2017) - COMPANION VOLUME, 2017, : 167 - 173