Implementing a NTP-based time service within a distributed middleware system