Skip to main content
SpringerLink
Log in

A Reliable Architectural Style for Designing Pervasive Healthcare Systems

  • Mobile Systems
  • Published:
Journal of Medical Systems Aims and scope Submit manuscript

Abstract

The evolution of wireless communication technologies opened the way to the definition of innovative e-Health systems aimed at providing a continuous and remote support to patients and new instruments to improve the workflow of the medical personnel. Nowadays, pervasive healthcare systems are a major step in this regard. The safety-critical systems on one hand and their failure in communication (i.e. sending and receiving messages) in other hand may lead to disaster results in the systems. Moreover, the need for high quality services in such systems, and the access to various types of Quality of Services such as reliability in software development has been increasing in the past years. In this paper, firstly we extend the core meta-model of the previously designed style for designing the structures of such systems in order to reach a high level of reliability in messaging. Secondly, their configuration mechanisms in controlling the communicative errors will be modeled using graph transformation rules. Finally, the correctness of the model is analyzed by model checking techniques. The results of the analysis show its high reliability.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5

Similar content being viewed by others

References

  1. Tartarisco, G., Baldus, G., Corda, D., Raso, R., Arnao, A., Ferro, M., Gaggioli, A., and Pioggia, G., Personal health system architecture for stress monitoring and supportto clinical decisions. Computer Communications 35(11):1296–1305, 2012.

    Article  Google Scholar 

  2. Delmastro, F., Pervasive communications in healthcare. Computer Communications 35(11):1284–1295, 2012.

    Article  Google Scholar 

  3. Kwon, P.-J., Kim, H., and Kim, U., A study on the web-based intelligent self-diagnosis medical system. Advances in Engineering Software 40(6):402–406, 2009.

    Article  MATH  Google Scholar 

  4. J. Kim, Ja. Kim, D. Lee, K-Y. Chung, “Ontology driven interactive healthcare with wearable sensors,” Multimed Tools Application, vol.60, no.1, 2012.

  5. Friedewald, M., and Raabe, O., Ubiquitous computing: An overview of technology impacts. Telematics and Informatics 28(2):55–65, 2011.

    Article  Google Scholar 

  6. Rafe, V., and Monfaredzadeh, M., A qualitative framework to assess hospital/medical websites. Journal of Medical Systems 35(5):2927–2939, 2012.

    Article  Google Scholar 

  7. Tu, Y.-J., Zhou, W., and Piramuthu, S., RFID Pervasive healthcare read rate false reads. Decision Support Systems 46(2):586–593, 2009.

    Article  Google Scholar 

  8. M-M. Baig & H. Gholamhosseini, “Smart Health Monitoring Systems: An Overview of Design and Modeling,” Journal of Medical Systems, vol. 37, no. 2, 2013.

  9. F. Mahdian,V. Rare, R. Rareh, M-R-Z. Miralvand., “Considering Faults in Service-Oriented Architecture: A Graph Transformation-Based Approach,”International Conference on Computer Technology and Development, IEEE, 2009.

  10. Gonczy, L., Kovacs, M., and Varro, D., Modeling and Verification of Reliable messaging by graph transformation systems. Electronic Notes in Theoretical Computer Science 175 175(4):37–50, 2007.

    Article  Google Scholar 

  11. V. Rafe& M. Hajvali, “Designing an Architectural Style for Pervasive Healthcare Systems,” Journal of Medical Systems, vol. 37, no. 2, 2013

  12. L. Baresi, C. Ghezzi, L. Mottola, “On Accurate Automatic Verification ofPublish-Subscribe Architectures,”29th InternationalConference on Software Engineering, pp. 199–208, 2007.

  13. Baresi, L., Ghezzi, C., and Mottola, L., Loupe: Verifying Publish-subscribearchitectures with a magnifying lens. IEEE Transactions On Software Engineering 37(2):228–246, 2011.

    Article  Google Scholar 

  14. Rafe, V., and Mahdian, F., Style-based modeling and verification of fault tolerance service oriented architectures. Procedia Computer Science 3 3:972–976, 2011.

    Article  Google Scholar 

  15. Prajakta Kulkarni, Y., mPHASiS: Mobile patient healthcare and sensor information system. Journal of Network and Computer Applications 34:402–417, 2011.

    Article  Google Scholar 

  16. Rafe, V., Rahmani, A. T., Baresi, L., and Spoletini, P., Towards automated verification of layeredgraph transformation specifications. IET Software 3(4):276–291, 2009.

    Article  Google Scholar 

  17. Baresi, L., Heckl, R., Thöne, S., and Varro, D., Modeling and validation of service-oriented architectures: Application vs. Style. ACM SIGSOFT Software Engineering Notes 28(5):68–77, 2003.

    Article  Google Scholar 

  18. Rafe, V., scenario driven analysis of systems specified through graph transformation. Journal of Visual Languages & Computing 24(2):136–145, 2013.

    Article  Google Scholar 

  19. Pahl, C., Giesecke, S., and Hasselbring, W., Ontology-based modelling of architectural styles. Information and Software Technology 51(12):1739–1749, 2009.

    Article  Google Scholar 

  20. Kim, J. S., and Garlan, D., Analyzing architectural styles. The Journal of Systems and Software 83(7):1216–1235, 2010.

    Article  Google Scholar 

  21. Miles, A., and Loughlin, M., A. Polychronis,“Evidence-based healthcare, clinical knowledge and the rise of personalised medicine,”. Journal of Evaluation in Clinical Practice 14(5):621–649, 2008.

    Article  Google Scholar 

  22. Lester, W. T., Zai, A. H., Grant, R. W., and Chueh, H. C., Designing healthcare information technology to catalyse change in clinical care. informatics in primary care 16(1):9–19, 2008.

    Google Scholar 

  23. D. Majoe, P. Bonhof, T. Kaegi-Trachsel, J. Gutknecht, L. Widmer,“Stress andsleep quality estimation from a smart wearable sensor,”in: 5th International Conference on Pervasive Computing and Applications (ICPCA), pp.14–19, 1–3 Dec. 2010.

  24. Nilsson, M., Funk, P., Olsson, E. M. G., von Scheele, B., and Xiong, N., Clinical decision-support for diagnosing stress-related disorders by applying psycho physiological medical knowledge to an instance-based learning system. Artificial Intelligence Method 36(2):159–176, 2006.

    Article  Google Scholar 

  25. Reza Rafeh, “A Proposed Approach for Safety Management in MedicalSoftware Design,” Journal of Medical Systems, vol. 37, no. 1, 2013

  26. Baresi, L., Rafe, V., Rahmani, A. T., and Spoletini, P., An efficient solution for model checking graph transformation systems. Electronic Notes in Theoretical Computer Science 213 213(1):3–21, 2008.

    Article  Google Scholar 

  27. “GROOVE Manual Version 4.9.4 and GROOVE website http://www.groove.source forge.net/groove-index.html,” 2014.

  28. A.H. Ghamarian, M.de. Mol, A. Rensink, E. Zambon, M. Zimakova, “Modelling and Analysis Using GROOVE,” Int J Softw Tools Technol Transfer, Springer, vol. 14, no. 1, pp.15–40, 2012

  29. Rensink, A., The GROOVE Simulator: A tool for state space generation. Springer-Verlag Berlin Heidelberg 2004:479–485, 2004.

    Google Scholar 

  30. “Using cardionet,”http://www.cardionet.com” 2010.

  31. Anliker, U., Ward, J., and Lukowicz, P., AMON:a wearable multiparameter medical monitoring and alert system. IEEE Transactions on Information Technology in Biomedicine 8(4):415–427, 2004.

    Article  Google Scholar 

  32. T. Gao, D. Greenspan, M. Welsh, “Vital sign monitoring and patient tracking over a wireless network.,”Proceedings of 27th annual international conference of the IEEE EMBS, September 2005.

  33. Lorincz, K., Malan, D., Nawoj, A., Mainland, G., and Welsh, M., Sensor networks for emergency response: challenges and opportunities. IEEE Pervasive Computing 3(4):16–23, 2004.

    Article  Google Scholar 

  34. T. Hansen, J. Eklund, J. Sprinkle, “Using smart sensors and camera phone to detect and verify the fall of elderly persona,” In: Proceedings of the 27th annual international conference of the IEEE EMBS, November, 2005

  35. E. Jovanov, “Wireless technology and system integration in body area networks for m-health applications.,” In: Proceedings of the 27th annual international conference of the IEEE EMBS, China, 2005.

  36. Alemdar, H., and Ersoy, C., Wireless sensor networks for healthcare: A survey. Computer Networks 54(15):2688–2710, 2010.

    Article  Google Scholar 

  37. Varshney, U., Pervasive healthcare and wireless health monitoring. Mobile Network Application 12(2–3):113–127, 2007.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Engineering, Faculty of Engineering, Arak University, Arak, 38156-8-8349, Iran

    Vahid Rafe

  2. Young Researchers and Elite Club, Toyserkan Branch, Islamic Azad University, Toyserkan, Iran

    Masoumeh Hajvali

Authors
  1. Vahid Rafe
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Masoumeh Hajvali
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Vahid Rafe.

Additional information

This article is part of the Topical Collection on Mobile Systems

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Rafe, V., Hajvali, M. A Reliable Architectural Style for Designing Pervasive Healthcare Systems. J Med Syst 38, 86 (2014). https://doi.org/10.1007/s10916-014-0086-1

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1007/s10916-014-0086-1

Keywords

Search

Navigation