Guaranteeing soundness of adaptive business processes using ABIS

The Internet of Services necessitates ad-hoc collaboration of companies in business processes. Each collaboration requires specific adjustment of the underlying process. While adapting these variable processes in collaboration with multiple parties, a need for guaranteeing the soundness of business process variants arises. In this paper we extend the ABIS approach of adaptive business process modeling with soundness concepts, apply them in an interactive varaiant cration algorithm and implement this algorithm in a prototype.