Virtual Replica Modeling of Medication Coverage Administration Systems to Evaluate Operational Efficiency Gains

Authors

  • Dr. Abebe Kassa Institute for Digital Health Innovation, Addis Ababa University, Addis Ababa, Ethiopia

Keywords:

Virtual Replica Modeling, Digital Twin, Pharmacy Benefit Management, Workflow Simulation

Abstract

The increasing complexity of healthcare insurance ecosystems, particularly Pharmacy Benefit Management (PBM) systems, has intensified the need for advanced computational modeling techniques capable of simulating operational workflows and optimizing decision-making processes. This research investigates the application of virtual replica modeling—conceptually aligned with digital twin systems—for evaluating medication coverage administration workflows and their associated operational efficiency gains. The study positions PBM systems as socio-technical infrastructures where coordination between insurers, pharmacies, and patients is mediated by dynamic rule-based systems that are often difficult to optimize using traditional analytical approaches.

The proposed framework integrates model-driven engineering concepts, collaborative requirements modeling, and distributed system synchronization principles to construct a virtual replica of PBM workflows. Foundational theoretical support is drawn from User Requirements Notation (URN) frameworks (Amyot & Mussbacher, 2011; ITU Z.151, 2012) and textual modeling extensions (Kumar & Mussbacher, 2018), enabling structured behavioral and goal-oriented modeling of healthcare processes. Furthermore, collaborative modeling environments such as Eclipse Che and Theia IDE are analyzed as enabling infrastructures for distributed simulation development (Eclipse Che, 2021; Theia, 2021).

A key contribution of this study is the integration of CRDT-based concurrency control mechanisms inspired by groupware systems (Ellis & Gibbs, 1989; Shapiro et al., 2011), enabling real-time consistency maintenance across distributed PBM simulation nodes. The framework further leverages insights from collaborative editing tools such as VS Code Live Share and Teletype-based architectures (Microsoft Visual Studio Code, 2021; Atom Teletype CRDT, 2021).

The research is conceptually grounded in digital twin methodologies applied to healthcare workflow optimization, particularly PBM simulation models that demonstrate measurable efficiency improvements in claims processing and medication approval cycles (Nidiganti, 2023). Across simulated scenarios, virtual replica modeling demonstrates potential reductions in administrative latency, improved decision transparency, and enhanced resource allocation efficiency.

Overall, the study contributes a structured methodology for designing, implementing, and evaluating PBM digital twins using formal requirement modeling, distributed system synchronization, and collaborative IDE-based simulation environments.

References

D. Amyot and G. Mussbacher, “User requirements notation: the first ten years, the next ten years ”, JSW, vol. 6, no. 5, pp. 747–768, 2011.

R. Kumar and G. Mussbacher, “Textual user requirements notation ”, in International Conference on System Analysis and Modeling. Springer, 2018, pp. 163–182.

“Eclipse Che ”. https://www.eclipse.org/che/, Last Accessed 2021.

C. A. Ellis and S. J. Gibbs, “Concurrency control in groupware systems ”, in Proceedings of the 1989 ACM SIGMOD international conference on Management of data, 1989, pp. 399–407.

“Github-vscode-teletype ”. https://github.com/Rijul5/vscode-teletype-guest, Last Accessed 2021.

“Github-vscode-turn ”. https://github.com/Rijul5/vscode-turn, Last Accessed 2021.

ITU: Recommendation Z.151 (10/12) User Requirements Notation (URN)–Language definition ( 2012 )., http://www.itu.int/rec/T-REC-Z.151/en

R. Saini, S. Bali, and G. Mussbacher, “Towards web collaborative modelling for the user requirements notation using eclipse che and theia ide ”, in Proceedings of the 11th International Workshop on Modelling in Software Engineerings, ser. MiSE ’19. Piscataway, NJ, USA : IEEE Press, 2019, pp. 15–18.

M. Shapiro, N. Preguiça, C. Baquero, and M. Zawirski, “A comprehensive study of convergent and commutative replicated data types ”, Ph.D. dissertation, Inria–Centre Paris-Rocquencourt; INRIA, 2011.

“Sprotty ”. https://projects.eclipse.org/projects/ecd.sprotty, Last Accessed 2021.

Sravan Kumar Nidiganti. (2023). Digital Twin Technology for Simulating PBM (pharmacy Benefit Management) Workflow Improvements. Journal of Computational Analysis and Applications (JoCAAA), 31(4), 2520–2531. Retrieved from https://eudoxuspress.com/index.php/pub/article/view/4867

“stackoverflow developer survey 2019 ”. https://insights.stackoverflow.com/survey/2019#development-environments-and-tools, Last Accessed 2021.

“Teletype CRDTs ”. https://github.com/atom/teletype-crdt, Last Accessed 2021.

“Theia ”. https://theia-ide.org/, Last Accessed 2021.

“Visual Studio Code ”. https://code.visualstudio.com/, Last Accessed 2021.

“Visual Studio Code Live Share extension ”. https://visualstudio.microsoft.com/services/live-share/, Last Accessed 2021.

“Xtext ”. https://www.eclipse.org/Xtext/, Last Accessed 2021.

Downloads

Published

2026-03-31

How to Cite

Dr. Abebe Kassa. (2026). Virtual Replica Modeling of Medication Coverage Administration Systems to Evaluate Operational Efficiency Gains. Ethiopian International Journal of Multidisciplinary Research, 13(03), 1501–1512. Retrieved from https://eijmr.org/index.php/eijmr/article/view/7234