Skip to main content
Springer Nature Link
Log in

Designing an Architectural Style for Pervasive Healthcare Systems

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

    We’re sorry, something doesn't seem to be working properly.

    Please try refreshing the page. If that doesn't work, please contact support so we can address the problem.

Abstract

Nowadays, the Pervasive Healthcare (PH) systems are considered as an important research area. These systems have a dynamic structure and configuration. Therefore, an appropriate method for designing such systems is necessary. The Publish/Subscribe Architecture (pub/sub) is one of the convenient architectures to support such systems. PH systems are safety critical; hence, errors can bring disastrous results. To prevent such problems, a powerful analytical tool is required. So using a proper formal language like graph transformation systems for developing of these systems seems necessary. But even if software engineers use such high level methodologies, errors may occur in the system under design. Hence, it should be investigated automatically and formally that whether this model of system satisfies all their requirements or not. In this paper, a dynamic architectural style for developing PH systems is presented. Then, the behavior of these systems is modeled and evaluated using GROOVE toolset. 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

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

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
Fig. 6
Fig. 7
Fig. 8
Fig. 9
Fig. 10
Fig. 11
Fig. 12
Fig. 13

Similar content being viewed by others

References

  1. Kwon, P.-J., Kim, H., and Kim, U., A study on the web-based intelligent self-diagnosis medical system. Adv. Eng. Softw. 40(6):402–406, 2009.

    Article  MATH  Google Scholar 

  2. Chen, C.-M., Web-based remote human plus monitoring sysytem with inteligent data analysis for home health care. Expert. Syst. Appl. 38(3):2011–2019, 2011.

    Article  Google Scholar 

  3. Lin, C.-C., Lee, R.-G., and Hsiao, C.-C., A pervasive health monitoring service system based on ubiqutous network technology. Int. J. Med. Informat. 77(7):461–469, 2008.

    Article  Google Scholar 

  4. Friedewald, M., and Raabe, O., Ubiquitous computing: An overview of technology impacts. Telem. Inform. 28(2):55–65, 2011.

    Article  Google Scholar 

  5. Tu, Y.-J., Zhou, W., and Piramuthu, S., RFID pervasive healthcare read rate false reads. Decis. Support. Syst. 46(2):586–593, 2009.

    Article  Google Scholar 

  6. 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 support to clinical decisions. Comput. Commun. 35(11):1296–1305, 2012.

    Article  Google Scholar 

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

    Article  Google Scholar 

  8. Rensink, A., Schmidt, A., Varrό, D., Model checking graph transformations: A comparison of two approaches. Second International Conference on Graph Transformation, vol. 3256, pp. 226–241, 2004.

  9. Asadollahi, S., Rafe, V., and Rafeh, R., Towards automated software verification and validation. Int. Confer. Comp. Technol. Develop. 1:206–210, 2009.

    Google Scholar 

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

    Google Scholar 

  11. Clarke, E. M., Grumberg, O., Peled, D. A., Model checking. The MIT Press, 2000.

  12. Dinges, P., Agha, G., Scoped synchronization constraints for large scale actor systems. Coordination Model and Languages, 14th International conference Coordination, vol. 7274, pp. 89–103, Springer, 2012.

  13. Baresi, L., Ghezzi, C. Mottola, L., On accurate automatic verification of publish-subscribe architectures. 29th International Conference on Software Engineering, pp. 199–208, 2007.

  14. Baresi, L., Ghezzi, C., Mottola, L., Loupe: Verifying publish-subscribe architectures with a magnifying lens. IEEE Trans. Software. Eng. 37(2):228–246, 2011.

    Google Scholar 

  15. Eugster, P. T., Felber, P. A., Guerraoui, R., and Kermarrec, A., The many faces of publish/subscribe. ACM Comput. Surv. 35(2):114–131, 2003.

    Article  Google Scholar 

  16. Baresi, L., Heckel, R., Thöne, S., and Varrό, D., Style-based modeling and refinement of service-oriented architectures. Softw. Syst. Model. 5(2):187–207, 2006.

    Article  Google Scholar 

  17. Thöne, S., A style-based modeling and refinement technique with graph transformations. Ph.D. Thesis, University of Paderborn: Germany, 2005.

  18. Baresi, L., Rafe, V., Rahmani, A. T., and Spoletini, P., An efficient solution for model checking graph transformation systems. Electron. Notes. Theor. Comput. Sci. 213(1):3–21, 2008.

    Article  Google Scholar 

  19. GROOVE Manual Version 4.5.2 and GROOVE website http://www.groove.sourceforge.net/groove-index.html, 2012.

  20. Ghamarian, A. H., de Mol, M., Rensink, A., Zambon, E., Zimakova, M., Modelling and analysis using GROOVE. Int. J. Soft. Tool. Technol. Trans. Springer, 14(1):15–40, 2012.

    Google Scholar 

  21. Rensink, A., The GROOVE simulator: A tool for state space generation. Springer, Berlin, Heidelberg, pp. 479–485, 2004.

    Google Scholar 

  22. Kastenberg, H., and Rensink, A., Model checking dynamic states in GROOVE. Springer, Berlin, Heidelberg, pp. 299–305, 2006.

    Book  Google Scholar 

  23. Kulkarni, P., and Ozturk, Y., mPHASiS: Mobile patient healthcare and sensor information system. J. Netw. Comput. Appl. 34(1):402–417, 2011.

    Article  Google Scholar 

  24. Anliker, U., Ward, J., and Lukowicz, P., AMON: A wearable multiparameter medical monitoring and alert system. IEEE Trans. Inf. Technol. Biomed. 8(4):415–427, 2004.

    Article  Google Scholar 

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

  26. Using carcionet, http://www.cardionet.com, 2010.

  27. Lorincz, K., Malan, D., Nawoj, A., Mainland, G., and Welsh, M., Sensor networks for emergency response: Challenges and opportunities. IEEE Pervas. Comput. 3(4):16–23, 2004.

    Article  Google Scholar 

  28. Hansen, T., Eklund, J., Sprinkle, J., 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.

  29. Jovanov, E., 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, and September, 2005.

  30. Tu, Y.-J., Zhou, W., and Piramuthu, S., Identifying RFID-embedded objects in pervasive healthcare applications. Decis. Support. Syst. 46(2):586–593, 2009.

    Article  Google Scholar 

  31. Raghupathi, W., and Umar, A., Exploring a model-driven architecture (MDA) approach tohealth care information systems development. Int. J. Med. Informat. 77(5):305–314, 2008.

    Article  Google Scholar 

  32. Rafe, V., and Monfaredzadeh, M., A qualitative framework to assess hospital/medical websites. Int. J. Med. Syst. 35(5):2927–2939, 2012.

    Article  Google Scholar 

Download references

Conflict of interest

The authors declare that they have no conflict of interest.

Author information

Authors and Affiliations

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

    Vahid Rafe

  2. Department of Computer Engineering, Tooyserkan Branch, Islamic Azad University, Tooyserkan, Iran

    Masoumeh Hajvali

Authors
  1. Vahid Rafe
    View author publications

    You can also search for this author inPubMed Google Scholar

  2. Masoumeh Hajvali
    View author publications

    You can also search for this author inPubMed Google Scholar

Corresponding author

Correspondence to Vahid Rafe.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Rafe, V., Hajvali, M. Designing an Architectural Style for Pervasive Healthcare Systems. J Med Syst 37, 9927 (2013). https://doi.org/10.1007/s10916-013-9927-6

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1007/s10916-013-9927-6

Keywords