Foundations of data-aware process analysis · Study