A5047795784- Business Process Modeling and Analysis
- Service-Oriented Architecture and Web Services
- Semantic Web and Ontologies
- Logic, Reasoning, and Knowledge
- Formal Methods in Verification
- Advanced Database Systems and Queries
- Petri Nets in System Modeling
- Multi-Agent Systems and Negotiation
- Logic, programming, and type systems
- Advanced Software Engineering Methodologies
- Distributed systems and fault tolerance
- Data Quality and Management
- Model-Driven Software Engineering Techniques
- Scientific Computing and Data Management
- Biomedical Text Mining and Ontologies
- AI-based Problem Solving and Planning
- Flexible and Reconfigurable Manufacturing Systems
- Access Control and Trust
- Clinical practice guidelines implementation
- Manufacturing Process and Optimization
- Simulation Techniques and Applications
- Distributed and Parallel Computing Systems
- Big Data and Business Intelligence
- Software Engineering Research
- Data Management and Algorithms
Free University of Bozen-Bolzano
2016-2025
Technical University of Denmark
2022-2023
University of Tartu
2023
Sapienza University of Rome
2023
Utrecht University
2022
The University of Melbourne
2022
Los Alamitos Medical Center
2021
Universidade Federal do Espírito Santo
2021
Burgas Free University
2018
University of Bologna
2005-2011
It may be tempting for researchers to stick incremental extensions of their current work plan future research activities. Yet there is also merit in realizing the grand challenges one’s field. This paper presents an overview nine major problems Business Process Management discipline. These have been collected by open call community, discussed and refined a workshop setting, described here detail, including motivation why these are worth investigating. serve purpose inspiring both novice...
AI-augmented Business Process Management Systems (ABPMSs) are an emerging class of process-aware information systems, empowered by trustworthy AI technology. An ABPMS enhances the execution business processes with aim making these more adaptable, proactive, explainable, and context-sensitive. This manifesto presents a vision for ABPMSs discusses research challenges that need to be surmounted realize this vision. To end, we define concept ABPMS, outline lifecycle within discuss core...
Service-oriented computing, an emerging paradigm for architecting and implementing business collaborations within across organizational boundaries, is currently of interest to both software vendors scientists. While the technologies interconnecting basic services are reaching a good level maturity, modeling service interaction from global viewpoint, that is, representing choreographies, still open challenge. The main problem that, although declarativeness has been identified as key feature,...
In recent years, monitoring the compliance of business processes with relevant regulations, constraints, and rules during runtime has evolved as major concern in literature practice. Monitoring not only refers to continuously observing possible violations, but also includes ability provide fine-grained feedback predict violations future. The body on process is large approaches specifically addressing are hard identify. Moreover, proper means for systematic comparison these missing. Hence, it...
Data-centric dynamic systems are where both the process controlling dynamics and manipulation of data equally central. We study verification (first-order) mu-calculus variants over relational data-centric systems, maintained in a database, is described terms atomic actions that evolve database. Action execution may involve calls to external services, thus inserting fresh into system. As result such infinite-state. show undecidable general, we isolate notable cases decidability achieved....
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 infinite under the assumption at certain point trace starts repeating end event forever, trivializing all other propositions false. This intuition has been put forward and (wrongly) assumed hold in general literature. We define necessary sufficient condition characterize whether LTLf which automatically checked by any reasoner. Then, show...
In this work we survey the research on foundations of data-aware (business) processes that has been carried out in database theory community. We show community indeed developed over years a multi-faceted culture merging data and processes. argue it is should lay to solve, at least from point view formal analysis, dichotomy between still persisting business process management.
Today, large business processes are composed of smaller, autonomous, interconnected subsystems, achieving modularity and robustness. Quite often, these comprise software components as well human actors, they face highly dynamic environments their subsystems updated evolve independently each other. Due to nature complexity, it might be difficult, if not impossible, ensure at design-time that such systems will always exhibit the desired/expected behaviors. This, in turn, triggers need for...
Counterfactual explanations are one of the prominent eXplainable Artificial Intelligence (XAI) techniques, and suggest changes to input data that could alter predictions, leading more favourable outcomes. Existing counterfactual methods do not readily apply temporal domains, such as process mining, where take form traces activities must obey background knowledge expressing which dynamics possible not. Specifically, counterfactuals generated off-the-shelf may violate knowledge, inconsistent...
Capturing stochastic behaviour in business and work processes is essential to quantitatively understand how nondeterminism resolved when taking decisions within the process. This of special interest process mining, where event data tracking actual execution are related models, can then provide insights on frequencies probabilities. Variants Petri nets a natural formal basis represent support different data-driven model-driven analysis tasks this spectrum. However, capturing processes, such...
Description logic Knowledge and Action Bases (KAB) are a mechanism for providing both semantically rich representation of the information on domain interest in terms description knowledge base actions to change such over time, possibly introducing new objects. We resort variant DL-Lite where unique name assumption is not enforced equality between objects may be asserted inferred. Actions specified as sets conditional effects, conditions based epistemic queries (TBox ABox), effects expressed...