
Be the first to like this
Slideshare uses cookies to improve functionality and performance, and to provide you with relevant advertising. If you continue browsing the site, you agree to the use of cookies on this website. See our User Agreement and Privacy Policy.
Slideshare uses cookies to improve functionality and performance, and to provide you with relevant advertising. If you continue browsing the site, you agree to the use of cookies on this website. See our Privacy Policy and User Agreement for details.
Published on
Second part of my tutorial (jointly with Diego Calvanese) on the "Integrated Modeling and Verification of Processes and Data", held at the BPM 2017 conference. The second part focuses on a formal, minimalistic integrated model for processes and data, namely the model of DataCentric Dynamic Systems, and provides a comprehensive overview of the main technical results related to the boundaries of verifiability for models integrating processes and data.
Be the first to like this
Be the first to comment