Abstract
Integrated Exploration of Data-Intensive Business Processes
Highlights
Business processes are widely used in industry to organize and document procedures aimed to deliver services or products to customers [1]
Business Process Model and Notation (BPMN) supports the representation of processes at different levels of abstraction [1], spanning from high-level process models needed during process design and analysis to detailed models for supporting enactment and automation
We show how such a formal representation supports the integrated conceptual modeling and design-time analysis of process models and the data operations performed by the processes on databases
Summary
Business processes are widely used in industry to organize and document procedures aimed to deliver services or products to customers [1]. We focus on explicitly highlighting the connections between a process model and the conceptual schema(ta) of one or more databases storing the data relevant for its execution with the final aim to enable the humandriven exploration of the overall “connected system” To this end, we combine the BPMN [5] and UML class diagram [18] notations with formal methods, whose suitability for reasoning over processes and data in a general, tool-agnostic manner has been acknowledged by literature, e.g., in the case of logic-based conceptual description languages for the design of processes [19], [20] and data [21], [22].
Sign-in/Register to view highlights & summary Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
