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 条
  • [31] Distributed Process Discovery and Conformance Checking
    van der Aalst, Wil M. P.
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2012, 2012, 7212 : 1 - 25
  • [32] A tool for checking conformance of UML specification
    Ibrahim, Rosziati
    Ibrahim, Noraini
    World Academy of Science, Engineering and Technology, 2009, 39 : 275 - 279
  • [33] Orientation and conformance: A HMM-based approach to online conformance checking
    Lee, Wai Lam Jonathan
    Burattin, Andrea
    Munoz-Gama, Jorge
    Sepulveda, Marcos
    INFORMATION SYSTEMS, 2021, 102
  • [34] Conformance Checking of Dynamic Access Control Policies
    Power, David
    Slaymaker, Mark
    Simpson, Andrew
    FORMAL METHODS AND SOFTWARE ENGINEERING, 2011, 6991 : 227 - 242
  • [35] Evaluation of Markov Models for Architecture Conformance Checking
    Rodriguez, Guillermo
    Armentano, Marcelo
    Soria, Alvaro
    Corengia, Emilio
    IEEE LATIN AMERICA TRANSACTIONS, 2020, 18 (01) : 43 - 50
  • [36] Optimized SAT encoding of conformance checking artefacts
    Boltenhagen, Mathilde
    Chatain, Thomas
    Carmona, Josep
    COMPUTING, 2021, 103 (01) : 29 - 50
  • [37] Evaluation of an Architectural Conformance Checking Software Service
    Olsson, Tobias
    Toll, Daniel
    Ericsson, Morgan
    Wingkvist, Anna
    ACM PROCEEDINGS OF THE 10TH EUROPEAN CONFERENCE ON SOFTWARE ARCHITECTURE WORKSHOPS (ECSA-W), 2016,
  • [38] Optimized SAT encoding of conformance checking artefacts
    Mathilde Boltenhagen
    Thomas Chatain
    Josep Carmona
    Computing, 2021, 103 : 29 - 50
  • [39] Complete and Interpretable Conformance Checking of Business Processes
    Garcia-Banuelos, Luciano
    van Beest, Nick R. T. P.
    Dumas, Marlon
    La Rosa, Marcello
    Mertens, Willem
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2018, 44 (03) : 262 - 290
  • [40] Optimizing Post-silicon Conformance Checking
    Lei, Li
    Cong, Kai
    Xie, Fei
    2013 IEEE 31ST INTERNATIONAL CONFERENCE ON COMPUTER DESIGN (ICCD), 2013, : 499 - 502