ThingNet: A micro-service based IoT macro-programming platform over edges and cloud | IEEE Conference Publication | IEEE Xplore