Most data-aware process modelling approaches have been developed from a process
perspective and lack a full-fledged data modelling approach. In addition, the evaluation of …

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 …

The increasing recognition of the need for integrating data and processes, both at
conceptual and system levels, raises a new demand in standard-friendly, verifiable data …

Business artifacts have appeared as a new paradigm to capture the information required for
the complete execution and reasoning of a business process. Likewise, conformance …

Artificial intelligence (AI) is expected to change the way software engineers deal with the
tasks of the software process lifecycle. Recently, we have experienced a growth in proposals …

Knowledge-intensive business processes are flexible and data-driven. Therefore, traditional
process modeling languages do not meet their requirements: These languages focus on …

In recent years, a huge body of research has been devoted to the challenging problem of
integrating data and processes to achieve a more comprehensive understanding on their …

The correctness of the business process modelling notation (BPMN) is essential for software
success, and the BPMN formalization is the foundation of the correctness verification …

In artifact-centric business process models it is usually assumed that the specification of the
activities requires stating all the effects of the activity execution over the information base (ie …

Current simulation models are not only represented in the form of traditional data or formula
for pure theory analysis but expanded to be simulation modeling assets that are featured …