Научный семинар НУЛ ПОИС: Андрей Ривкин "Modelling, Enactment and Verification of Data-aware Processes"
Семинар научно-учебной лаборатории процессно-ориентированных информационных систем будет посвящён моделированию и верификации процессов, которые работают с данными
С докладом выступит Aндрей Ривкин, postdoctoral researcher, KRDB Research Center for Knowledge and Data, Free University of Bozen-Bolzano.
Data and business processes are the two key pillars in modern enterprise systems. While data are often regarded as the main driver of organisation decisions (for example, the decision to order 1000 laptops depends on the amount of money available), processes describe how business operations should be conducted (for example, first place correctly the laptop order, then provide the company’s billing address etc.). Although data and processes are two different entities, they are tightly connected. Quite often, business processes consume, manipulate, and generate data; they communicate with each other through shared databases. These interactions influence the performance of the company as whole, and often require additional treatment such as correctness checking and verification in order to assure that everything works as expected and avoid possibly costly failures once the processes will be effectively enacted. While there have been various foundational studies on "data-aware” business processes, the creation of suitable “models” and “verification techniques” for data-aware business processes has a long road ahead. In fact, contemporary data modelling approaches almost never mention how to manipulate them in a process, and likewise business process modelling approaches disregard which data to consider. On the implementation side, integrating data and processes is still a very time consuming, demanding and ad-hoc effort.
In this talk we advance the state of the art in data-aware business process management. We create a bridge between recent foundational frameworks for data-aware processes, and corresponding models that are closer to actual systems and implementations. We consequently devise a number of novel formalisms that gradually enrich the process dimension with data-related aspects. We then study their modelling, verification, and enactment, leading towards corresponding proof-of-concept implementations, which in turn paves the way towards a concrete impact into the enterprise dimension.
Время проведения: 18:10-19:30