Abstract
Conference Title: 2017 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computed, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI) Conference Start Date: 2017, Aug. 4 Conference End Date: 2017, Aug. 8 Conference Location: San Francisco, CA, USA Distributed real-time systems such as internet of things (IoT) systems and smart grid systems have been dramatically pervasive during the last several years. Many technologies have emerged accordingly to support their development. One of prominent technologies is Data Distribution Service (DDS) which is a publish-subscribe middleware standard that aims at improving the scalability and communication aspects in distributed and large-scale applications. DDS has been gaining increasing attentions due to its support for scalability and various quality of service (QoS) policies which are important for reliable communication. The DDS standard provides static and dynamic models of DDS entities. However, the dynamic models absent some important behaviors that are often assumed well understood, but have distinct semantics for which without their definitions, the dynamic models are left incomplete. Consequently, their absence hinders the understanding of DDS behaviors and their implementation. In this work, we define absent functional behaviors in DDS dynamic models including defining new operations that are necessary to complete the intended behaviors. We use the Object Constraint Language (OCL) to define the semantics of new operations.