Search Results for author:
Found 8 papers, 1 papers with code
Relational Action Bases: Formalization, Effective Safety Verification, and Invariants (Extended Version)
Modeling and verification of dynamic systems operating over a relational representation of states are increasingly investigated problems in AI, Business Process Management, and Database Theory.
Conformance Checking with Uncertainty via SMT (Extended Version)
Logs of real-life processes often feature uncertainty pertaining the recorded timestamps, data values, and/or events.
Soundness in Object-centric Workflow Petri Nets
Recently introduced Petri net-based formalisms advocate the importance of proper representation and management of case objects as well as their co-evolution.
Monitoring Hybrid Process Specifications with Conflict Management: The Automata-theoretic Approach
For example, in the medical domain, a clinical guideline describing the treatment of a specific disease cannot account for all possible co-factors that can coexist for a specific patient and therefore additional constraints may need to be considered.
CoCoMoT: Conformance Checking of Multi-Perspective Processes via SMT (Extended Version)
Conformance checking is a key process mining task for comparing the expected behavior captured in a process model and the actual behavior recorded in a log.
Formalizing Integration Patterns with Multimedia Data (Extended Version)
The previous works on formalizing enterprise application integration (EAI) scenarios showed an emerging need for setting up formal foundations for integration patterns, the EAI building blocks, in order to facilitate the model-driven development and ensure its correctness.
Petri Nets with Parameterised Data: Modelling and Verification (Extended Version)
During the last decade, various approaches have been put forward to integrate business processes with different types of data.
Catalog of Formalized Application Integration Patterns
Enterprise application integration (EAI) solutions are the centrepiece of current enterprise IT architectures (e. g., cloud and mobile computing, business networks), however, require the formalization of their building blocks, represented by integration patterns, verification and optimization.
Software Engineering Logic in Computer Science
