We are pleased to invite you to our next Colloquium IS that will take place on Friday,
July 7, 2017, 12:30 – 13:30 (Paviljoen K.16).
Speaker: Pieter Kwantes
Title: Compliance verification of inter-organizational workflows
Inter-organizational workflows (IOW) are commonplace in industry. Often they are facilitated by an industry body for standardization of message formats, enabling electronic message exchanges between the participants of the IOW. The SWIFT organization, created in 1973 and responsible for maintaining message standards for the Financial services industry, is (to my knowledge) one of the first examples of such an industry body but there are many more (eg. HL7 for Healthcare, Rosetta in Electronics, EDSN for the Dutch energy market and so on). Making a design for an IOW and verifying its correctness is much more challenging than for an intra-organizational workflow and the stakes are higher. Ongoing research into this subject aims to find methods and tools to support this design and verification process. One question investigated in  is how to verify, using an automated procedure, that the design of a local workflow of an organization participating in an inter-organizational workflow is in compliance with the globally specified rules of that workflow. In this talk the results of  will be presented and future work will be discussed.
 Kwantes, P.M., Gorp, P.V., Kleijn, J., Rensink, A.: Towards compliance verification between global and local process models. In: Graph Transformation – 8th International Conference, ICGT 2015).
Pieter Kwantes is a senior business consultant and project manager specialized in Investment Banking and holds a Master in Economics from the University of Amsterdam and a Master in Computer Science from the University of Leiden and is part-time Phd student also at the University of Leiden.