Modeling and reasoning over declarative data-aware processes with object-centric behavioral constraints
Existing process modeling notations ranging from Petri nets to BPMN have difficulties
capturing the data manipulated by processes. Process models often focus on the control …
capturing the data manipulated by processes. Process models often focus on the control …
Formal modeling and SMT-based parameterized verification of data-aware BPMN
We propose DAB–a data-aware extension of BPMN where the process operates over case
and persistent data (partitioned into a read-only database called catalog and a read-write …
and persistent data (partitioned into a read-only database called catalog and a read-write …
Unraveling the foundations and the evolution of conceptual modeling—Intellectual structure, current themes, and trajectories
The field of conceptual modeling has now been in existence for over five decades. To
understand how this field has evolved and should continue to evolve, it is useful to examine …
understand how this field has evolved and should continue to evolve, it is useful to examine …
[LIBRO][B] Verification of Data-Aware Processes via Satisfiability Modulo Theories
A Gianola - 2023 - Springer
Verification of Data-Aware Processes via Satisfiability Modulo Theories Page 1 123 LNBIP 470
Verification of Data-Aware Processes via Satisfiability Modulo Theories Alessandro Gianola …
Verification of Data-Aware Processes via Satisfiability Modulo Theories Alessandro Gianola …
Discovering data models from event logs
D Bano, M Weske - … Modeling: 39th International Conference, ER 2020 …, 2020 - Springer
Business process mining is becoming an increasingly important field for understanding the
behavioral perspective of any given organization. In a process mining project, process …
behavioral perspective of any given organization. In a process mining project, process …
[HTML][HTML] Business process model and notation and openEHR task planning for clinical pathway standards in infections: critical analysis
Background Clinical pathways (CPs) are usually expressed by means of workflow
formalisms, providing health care personnel with an easy-to-understand, high-level …
formalisms, providing health care personnel with an easy-to-understand, high-level …
Workflow nets with tables and their soundness
X Tao, G Liu, B Yang, C Yan… - IEEE Transactions on …, 2019 - ieeexplore.ieee.org
Workflow nets and their extensions with data flows, eg, workflow nets with data and colored
workflow nets, can well model the business processes of workflow systems, and their …
workflow nets, can well model the business processes of workflow systems, and their …
Modeling a clinical pathway for contraception
LJ Sooter, S Hasley, R Lario, KS Rubin… - Applied clinical …, 2019 - thieme-connect.com
Background The Centers for Disease Control and Prevention (CDC) produced a 72-page
document titled “US Selective Practice Recommendations for Contraceptive Use” in 2016 …
document titled “US Selective Practice Recommendations for Contraceptive Use” in 2016 …
WICKR: A Joint Semantics for Flexible Processes and Data
S Haarmann - 2022 - publishup.uni-potsdam.de
Knowledge-intensive business processes are flexible and data-driven. Therefore, traditional
process modeling languages do not meet their requirements: These languages focus on …
process modeling languages do not meet their requirements: These languages focus on …
Enhancing discovered process models with data object lifecycles
Process discovery is an important area in the field of process mining, where most discovery
algorithms focus on process control-flow, giving little attention to the data-flow perspective …
algorithms focus on process control-flow, giving little attention to the data-flow perspective …