Formal Support for Adaptive Workflow Systems in a Distributed Environment · Study