Abstract
Modeling and analyzing telemedicine system (TMS) is a challenging task since the distributed structure and the real time dynamic process of the system make the modeling and analyzing harder. In this paper we propose an approach to model and analyze the architecture of TMSs. A TMS is networked of a number of components and thus is a typical component-based system. Based on the methodology of model-driven development, we design platform-independent component model: the components are extended with real-time properties; the time critical interaction mechanism of components is modeled by timed automata; the functional behavior of the system is modeled with refinement calculus of object systems method. Our approach has the following benefits: (1) with this approach, we can describe the distributed and real-time dynamic process system in multiple views, (2) we can use service architecture to model the distributed structure and (3) we can use interface automata to directly model the time critical interaction mechanism of a system.
Similar content being viewed by others
References
Telemedicine (2011) Wikipedia. http://en.wikipedia.org/wiki/Telemedicine
Chen Z, Liu Z, Ravn A, Stolz V, Zhan N (2009) Refinement and verification in component-based model driven design. Sci Comput Program 74(4):126–168
Chen X, Liu Z, Mencl V (2007) Separation of concerns and consistent integration in requirements modelling. In: Proceedings of current trends in theory and practice of computer science (SOFSEM07). Lecture Notes in Computer Science, vol. 4362, pp 819–831
Carton A, Driver C, Jackson A, Clarke S (2006) Model-driven theme/UML. Trans Aspect Oriented Softw Dev 5560:238–266
Wei K, Li X, Liu Z, Stolz V (2012) rCOS: a formal model-driven engineering method for component-based software. Frontiers of computer science in China, vol 6, pp 17–39
He J, Li X, Liu Z (2006) rCOS: a refinement calculus for object systems. Theor Comput Sci 365(1–2):109–142
Liu Z, S Martin, Zhang N, Zhu J (2010) Composable automata for component interfaces. Technical Report 446, UNU-IIST, P.O. Box 3058, Macau. http://www.iist.unu.edu/index.php/research/technical-reports
Object Management Group: UML Profile for MARTE, 1.1 OMG document number: ptc/10-10-09
Bruce P (1997) Real-time UML: developing efficient objects for embedded systems. Addison-Wesley, Longman Publishing Co., Inc., Boston
Nicolas H, Doron P, Rajeev A (1999) Timed automata. Lecture Notes Comput Sci 1633(688) (Springer, Heidelberg)
Lee E (1998) A framework for comparing models of computation. IEEE Trans Comput Aided Des Integr Circuits Syst 17(12):1217–1229
Benveniste A, Caspi P, Edwards S, Halbwachs N (2003) The synchronous languages twelve years later. Proc IEEE 91(1):64–83
Eker J, Janneck J, Lee E, Liu J, Liu X et al (2003) Taming heterogeneity—the Ptolemy approach. Proc IEEE 91(1):127–144
Sriram S, Bhattacharyya S (2009) Embedded multiprocessors scheduling and synchronization, 2nd edn. CRC, Boca Raton
Feautrier P (1995) Compiling for massively parallel architectures: a perspective. Microprogram Microprocess 41:425–439
Lynch N, Tuttle M (1987) Hierarchical correctness proofs for distributed algorithms. In: PODC, pp 137–151
Lynch N, Tuttle M (1989) An introduction to input/output automata. CWI Q 2:219–246
Fiadeiro J, Lopes A, Bocchi L (2006) A formal approach to service component architecture. Lecture Notes Comput Sci 4184:193–213
Chen X, He J, Liu Z, Zhang N (2007) A model of component-based programming. Lecture Notes Comput Sci (4767)
Xiong X, Liu J, Ding Z (2010) Design and verification of a trustable medical system. Electronic notes in theoretical computer science. In: Proceedings of the 3rd international workshop on Harnessing theories for tool support in software (TTSS), 12 October 2010, vol 266, pp 77–92
Larsen K, Pettersson P, Wang Y (1997) UPPAAL in a nutshell. STTT 1(1–2):134–152
Acknowledgments
Many thanks to the referees for their valuable comments. This work is supported by the projects of the National Natural Science Foundation of China under Grant No. 61170084, 973 program No. 2009CB320702 and the Science Fund for Creative Research Groups of China No. 61021004, the National 863 program No. 2011AA010101. Zuohua Ding is supported by NSFC No. 61170015 and Xijiao Xiong is supported by National Foundation for Young People No. 61202014 and SLADP B412.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Liu, J., Xiong, X., Ding, Z. et al. Modeling and analysis of interactive telemedicine systems. Innovations Syst Softw Eng 11, 55–69 (2015). https://doi.org/10.1007/s11334-013-0197-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11334-013-0197-8