IoT-Enabled Group Activity Recognition Services Using a Modeling Language Approach | AMiner