Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Khalil Mecheraoui"'
Autor:
Julio C Carrasquel, Khalil Mecheraoui
Publikováno v:
Моделирование и анализ информационных систем, Vol 28, Iss 2, Pp 146-168 (2021)
Conformance checking methods diagnose to which extent a real system, whose behavior is recorded in an event log, complies with its specification model, e.g., a Petri net. Nonetheless, the majority of these methods focus on checking isolated process i
Externí odkaz:
https://doaj.org/article/23741ddf1011447fb2c5dac227b7765f
Publikováno v:
Journal of Parallel and Distributed Computing. 155:14-23
This paper provides a true-concurrency approach for the specification and verification of systems of concurrent communicating agents with durable actions. We present high-level Petri nets with durable actions (DaHL) to cope with various details in su
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b7228935b8f2228032555b467d81bc82
https://doi.org/10.1016/j.jpdc.2021.04.011
https://doi.org/10.1016/j.jpdc.2021.04.011
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030726096
AIST
AIST
Event logs of information systems consist of recorded traces, describing executed activities and involved resources (e.g., users, data objects). Conformance checking is a family of process mining techniques that leverage such logs to detect whether o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::937f808b8be5600e93a5656bd9843073
https://doi.org/10.1007/978-3-030-72610-2_33
https://doi.org/10.1007/978-3-030-72610-2_33
Publikováno v:
Communications in Computer and Information Science ISBN: 9783319462530
ICIST
ICIST
In order to enable enterprises to operate more effectively and efficiently, providing a high reliability of the specification of business processes is an active research subject. However, the proposed approaches use limited models. WS-BPEL (or BPEL f
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f794eb9aa4561f2e4dd63b4bcef2371e
https://doi.org/10.1007/978-3-319-46254-7_14
https://doi.org/10.1007/978-3-319-46254-7_14