Research Field "Verification of models"
The combination of several services into a coherent process requires to identify correctness criteria allowing to assess when the processes is correct. These criteria have to take into account that processes are composed of building blocks and are often composed of long running activities operating in an highly dynamic environment. Failure handling strategies are directly affected by the activities of verification of the models. For example, in cross organizational workflows some changes, that are reasonable from the point of view of a single organizational unit, may be in conflict with superior process goals. Therefore, research effort is needed to ensure the correctness of a workflow process and to verify it in a (semi)-automatic way.
Related Projects
m.frincu
Yagsi