Model-Driven System Development for a Cloud-Based Healthcare Application Using Colored Petri Nets

The 21st century has brought widespread adoption of the cloud computing paradigm when constructing large-scale software systems. While the approach has enabled systems to exhibit software quality attributes such as high agility and scalability, it has also magnified long-standing issues related to maintaining both software development standards and their accompanying software implementations. The research aims to improve or maintain the quality of consumer-driven software as cloud computing adoption becomes more prevalent. Our model-driven approach intends to offer solutions to fix the typical disconnect between design and implementation. The paper demonstrates the construction of a cloud-based healthcare application using a modeling and simulation language called Colored Petri Nets (CPNs). It demonstrates design verification techniques during a model simulation and software prototyping in the context of a cloud-based healthcare application. The healthcare domain serves as an ideal candidate since the domain usually lags behind other industries in updating software development approaches and tools. Furthermore, a cloud-first approach allows for infrastructure that supports millions of patients and physicians distributed globally. The paper aims to promote the technical merits of model-driven design in maintaining high assurance of software quality standards, especially in the context of cloud-based applications. Key contributions of the paper are adoption of model-driven system development in the context of cloud-based applications and integration of machine-learning models into simulation models for such purposes.