An IoT-aware workflow model designer for smart alarm service about companion animal health check | IEEE Conference Publication | IEEE Xplore