Graphs and visual models play a central role in the modeling and meta-modeling of software systems, these models are specified using a modeling formalism, in a high-level abstraction independent of the platform, in which the focus is on the concepts rather than the implementation. This allows keeping the model, transporting it, and then transforming it into code. Several graph transformation tools have been developed to ensure efficient transformations. This transformation requires a process of verification and validation to guarantee the correction of this transformation process, of which there are different ways to checking that a software system achieves its goal. In computer science, formal methods are techniques that allow rigorous reasoning, using semantic and formal methods, to prove their validity with respect to a certain set of properties. In this sense, description logics are promising candidates for encoding graph structures and reasoning about graph transformations, they are privileged target to operationalize graph transformation tools because they have the mechanisms of reasoning or inference.

Internet of Things has developed a health tracking device to be the closing blocks. The aim of an effective IoT healthcare gadget is to provide the current time to track patient medical conditions, prevent critical situations and improve the comfort of the clever IoT environment. The fields of technological expertise and electronics have fused into the Internet of Things (IoT), one of the most exemplary technological progresses.