Business process management: a comprehensive survey
WMP Van der Aalst - International Scholarly Research Notices, 2013 - Wiley Online Library
Business Process Management (BPM) research resulted in a plethora of methods,
techniques, and tools to support the design, enactment, management, and analysis of …
techniques, and tools to support the design, enactment, management, and analysis of …
AI-augmented business process management systems: a research manifesto
AI-augmented Business Process Management Systems (ABPMSs) are an emerging class of
process-aware information systems, empowered by trustworthy AI technology. An ABPMS …
process-aware information systems, empowered by trustworthy AI technology. An ABPMS …
[图书][B] Enabling flexibility in process-aware information systems: challenges, methods, technologies
M Reichert, B Weber - 2012 - Springer
Enabling Flexibility in Process-Aware Information Systems: Challenges, Methods, Technologies
| SpringerLink Skip to main content Advertisement SpringerLink Log in Menu Find a journal …
| SpringerLink Skip to main content Advertisement SpringerLink Log in Menu Find a journal …
Predictive monitoring of business processes
Modern information systems that support complex business processes generally maintain
significant amounts of process execution data, particularly records of events corresponding …
significant amounts of process execution data, particularly records of events corresponding …
Declarative and hybrid process discovery: Recent advances and open challenges
T Slaats - Journal on Data Semantics, 2020 - Springer
Abstract Knowledge-intensive processes, such as those encountered in health care, finance
and government, tend to allow a large degree of flexibility: there are many possible solutions …
and government, tend to allow a large degree of flexibility: there are many possible solutions …
Synthesis for LTL and LDL on finite traces
G De Giacomo, MY Vardi - … of the Twenty-Fourth International Joint …, 2015 - iris.uniroma1.it
In this paper, we study synthesis from logical specifications over finite traces expressed in
LTLf and its extension LDLf. Specifically, in this form of synthesis, propositions are …
LTLf and its extension LDLf. Specifically, in this form of synthesis, propositions are …
[HTML][HTML] Compliance monitoring in business processes: Functionalities, application, and tool-support
In recent years, monitoring the compliance of business processes with relevant regulations,
constraints, and rules during runtime has evolved as major concern in literature and …
constraints, and rules during runtime has evolved as major concern in literature and …
[PDF][PDF] Declarative Process Specifications: Reasoning, Discovery, Monitoring.
C Di Ciccio, M Montali - Process mining handbook, 2022 - library.oapen.org
The declarative specification of business processes is based upon the elicitation of
behavioural rules that constrain the legal executions of the process. The carry-out of the …
behavioural rules that constrain the legal executions of the process. The carry-out of the …
Conformance checking based on multi-perspective declarative process models
Process mining is a family of techniques that aim at analyzing business process execution
data recorded in event logs. Conformance checking is a branch of this discipline embracing …
data recorded in event logs. Conformance checking is a branch of this discipline embracing …
Reasoning on LTL on finite traces: Insensitivity to infiniteness
In this paper we study when an LTL formula on finite traces (LTLf formula) is insensitive to
infiniteness, that is, it can be correctly handled as a formula on infinite traces under the …
infiniteness, that is, it can be correctly handled as a formula on infinite traces under the …