Zobrazeno 1 - 10
of 42
pro vyhledávání: '"De Masellis, Riccardo"'
Runtime monitoring is one of the central tasks in the area of operational decision support for business process management. In particular, it helps process executors to check on-the-fly whether a running process instance satisfies business constraint
Externí odkaz:
http://arxiv.org/abs/2004.01859
Recent advances in the field of Business Process Management have brought about several suites able to model complex data objects along with the traditional control flow perspective. Nonetheless, when it comes to formal verification there is still the
Externí odkaz:
http://arxiv.org/abs/1909.12738
We develop a logic-based framework for formal specification and algorithmic verification of homogeneous and dynamic concurrent multi-agent transition systems (HDMAS). Homogeneity means that all agents have the same available actions at any given stat
Externí odkaz:
http://arxiv.org/abs/1905.00810
Autor:
van der Aalst, Wil M.P., De Masellis, Riccardo, Di Francescomarino, Chiara, Ghidini, Chiara, Kourani, Humam
Publikováno v:
In Information Systems June 2023 116
Publikováno v:
In Expert Systems With Applications 1 March 2022 189
The growing adoption of IT-systems for modeling and executing (business) processes or services has thrust the scientific investigation towards techniques and tools which support more complex forms of process analysis. Many of them, such as conformanc
Externí odkaz:
http://arxiv.org/abs/1706.00356
Process discovery techniques return process models that are either formal (precisely describing the possible behaviors) or informal (merely a "picture" not allowing for any form of formal reasoning). Formal models are able to classify traces (i.e., s
Externí odkaz:
http://arxiv.org/abs/1703.06125
Autor:
Chesani, Federico, De Masellis, Riccardo, Di Francescomarino, Chiara, Ghidini, Chiara, Mello, Paola, Montali, Marco, Tessaris, Sergio
The capability to store data about business processes execution in so-called Event Logs has brought to the diffusion of tools for the analysis of process executions and for the assessment of the goodness of a process model. Nonetheless, these tools a
Externí odkaz:
http://arxiv.org/abs/1606.05446
Purpose is crucial for privacy protection as it makes users confident that their personal data are processed as intended. Available proposals for the specification and enforcement of purpose-aware policies are unsatisfactory for their ambiguous seman
Externí odkaz:
http://arxiv.org/abs/1507.08153
Runtime monitoring is one of the central tasks to provide operational decision support to running business processes, and check on-the-fly whether they comply with constraints and rules. We study runtime monitoring of properties expressed in LTL on f
Externí odkaz:
http://arxiv.org/abs/1405.0054