Verification of Cloud Based Information Integration Architecture using Colored Petri Nets

Abstract

Abstract-Healthcare applications, such as patient record, patient -doctor mapping service, various disease symptoms etc. The major challenges is processing and integrating the real time data. Following-up with analyzing the data would involve moving the data in Data Lake to a Cloud to known about the status of the patient and for tracking purpose. In this research, we recommend a cloud based information integration framework using Data Lake in Cloud. This work extends the information integration architecture by designing with Data Lake in Cloud, using mathematical model (Petri Net) to verify architecture. This approach has the ability to scale up and down in real time data, and leading to efficient way of using data resources in the Cloud.

Formal Modeling and Analysis of Integrated Healthcare System using Colored Petri Nets

“…Unfortunately, systems are not available to maintain the history of the patient. That's why Healthcare Professionals face many problems during treating a patient [15]. The workflow also has a great impact on healthcare systems.…”

“…Process handling is a complex task in a healthcare system. As well as system integration, it is important to study these effects [15]. Improved clinical workflow is a key component of a healthcare delivery system.…”

Nets-within-nets for modeling emergent patterns in ontogenetic processes

“…Moreover, in CPN, each place and transition can be designed to accept a limited number of colors. In this way, it is possible to separate the identity of resources from their location, modeling the same condition for different categories of resources [50] . CPN lead to non-redundant and more compact representations of the system.…”