Modeling functional behaviors of DDS
Alaa Alaerjan, Dae‐Kyoo Kim, Dhrgam Al Kafaf · 2017
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.