We describe a formally well founded approach to link data and processes conceptually,
based on adopting UML class diagrams to represent data, and BPMN to represent the …

Purpose The purpose of this study is to develop a map for the holistic business process
management (BPM) diagnosis in order to guide the choice of techniques that encompass all …

Abstract Context: Business Processes provide a universal method of describing operational
aspects of business. Business Rules, in turn, support declarative specification of business …

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 …

Context Using models to represent business processes provides several advantages, such
as facilitating the communication between the stakeholders or being able to check the …

Business processes read and write data objects, usually stored in databases. Although data
models and activity-oriented business process models originate from different paradigms …

Data in business processes becomes more and more important. Current standard
languages for process modeling like BPMN 2.0 which include the data flow reflect this …

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 …

Choreography in business processes is used as a mechanism to communicate various
organizations, by providing a method to isolate the behaviour of each part and keeping the …