Designing an architectural style for pervasive healthcare systems

Journal of Medical Systems

Volumn 37, Issue 2, 2013, Pages

  Rafe, Vahid ^a   Hajvali, Masoumeh ^b  

^a ARAK UNIVERSITY   (Iran)

^b ISLAMIC AZAD UNIVERSITY   (Iran)

Author keywords

Dynamic architectural style; Dynamic publish subscribe architecture; Graph transformation system; Model checking; Pervasive healthcare systems

Indexed keywords

ACCURACY; ARTICLE; BEHAVIOR; HEALTH CARE PLANNING; HEALTH CARE SYSTEM; HOSPITAL CARE; HUMAN; PERVASIVE HEALTHCARE SYSTEM; RELIABILITY; SENSOR; COMPUTER LANGUAGE; COMPUTER PROGRAM; EVALUATION STUDY; HEALTH CARE DELIVERY; HEALTH CARE QUALITY; INFORMATION SYSTEM; MEDICAL INFORMATICS; STANDARDS; SYSTEM ANALYSIS; THEORETICAL MODEL;

DELIVERY OF HEALTH CARE; INFORMATION SYSTEMS; MEDICAL INFORMATICS; MODELS, THEORETICAL; PROGRAMMING LANGUAGES; QUALITY ASSURANCE, HEALTH CARE; SOFTWARE DESIGN; SYSTEMS INTEGRATION;

EID: 84872683472     PISSN: 01485598     EISSN: 1573689X     Source Type: Journal    
DOI: 10.1007/s10916-013-9927-6     Document Type: Article

References (32)

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.
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.
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.
4. Friedewald, M., and Raabe, O., Ubiquitous computing: An overview of technology impacts. Telem. Inform. 28(2):55-65, 2011.
5. Tu, Y.-J., Zhou, W., and Piramuthu, S., RFID pervasive healthcare read rate false reads. Decis. Support. Syst. 46(2):586-593, 2009.
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.
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.
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.
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.
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.
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.
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.
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.
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.
21. Rensink, A., The GROOVE simulator: A tool for state space generation. Springer, Berlin, Heidelberg, pp. 479-485, 2004.
22. Kastenberg, H., and Rensink, A., Model checking dynamic states in GROOVE. Springer, Berlin, Heidelberg, pp. 299-305, 2006.
23. Kulkarni, P., and Ozturk, Y., mPHASiS: Mobile patient healthcare and sensor information system. J. Netw. Comput. Appl. 34(1):402-417, 2011.
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.
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.
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.
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.
32. Rafe, V., and Monfaredzadeh, M., A qualitative framework to assess hospital/medical websites. Int. J. Med. Syst. 35(5):2927-2939, 2012.