A Study of IoT-Aware Business Process Modeling · Study