Skip to main content
SpringerLink
Log in

Modeling and analysis of interactive telemedicine systems

  • SI:Theories & Tool Support for Software
  • Published:
Innovations in Systems and Software Engineering Aims and scope Submit manuscript

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.

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

Similar content being viewed by others

References

  1. Telemedicine (2011) Wikipedia. http://en.wikipedia.org/wiki/Telemedicine

  2. 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

    Article  MathSciNet  Google Scholar 

  3. 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

  4. Carton A, Driver C, Jackson A, Clarke S (2006) Model-driven theme/UML. Trans Aspect Oriented Softw Dev 5560:238–266

    Google Scholar 

  5. 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

  6. He J, Li X, Liu Z (2006) rCOS: a refinement calculus for object systems. Theor Comput Sci 365(1–2):109–142

    MATH  MathSciNet  Google Scholar 

  7. 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

  8. Object Management Group: UML Profile for MARTE, 1.1 OMG document number: ptc/10-10-09

  9. Bruce P (1997) Real-time UML: developing efficient objects for embedded systems. Addison-Wesley, Longman Publishing Co., Inc., Boston

    Google Scholar 

  10. Nicolas H, Doron P, Rajeev A (1999) Timed automata. Lecture Notes Comput Sci 1633(688) (Springer, Heidelberg)

  11. Lee E (1998) A framework for comparing models of computation. IEEE Trans Comput Aided Des Integr Circuits Syst 17(12):1217–1229

    Article  Google Scholar 

  12. Benveniste A, Caspi P, Edwards S, Halbwachs N (2003) The synchronous languages twelve years later. Proc IEEE 91(1):64–83

    Google Scholar 

  13. Eker J, Janneck J, Lee E, Liu J, Liu X et al (2003) Taming heterogeneity—the Ptolemy approach. Proc IEEE 91(1):127–144

    Article  Google Scholar 

  14. Sriram S, Bhattacharyya S (2009) Embedded multiprocessors scheduling and synchronization, 2nd edn. CRC, Boca Raton

    Book  Google Scholar 

  15. Feautrier P (1995) Compiling for massively parallel architectures: a perspective. Microprogram Microprocess 41:425–439

    Google Scholar 

  16. Lynch N, Tuttle M (1987) Hierarchical correctness proofs for distributed algorithms. In: PODC, pp 137–151

  17. Lynch N, Tuttle M (1989) An introduction to input/output automata. CWI Q 2:219–246

  18. Fiadeiro J, Lopes A, Bocchi L (2006) A formal approach to service component architecture. Lecture Notes Comput Sci 4184:193–213

    Google Scholar 

  19. Chen X, He J, Liu Z, Zhang N (2007) A model of component-based programming. Lecture Notes Comput Sci (4767)

  20. 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

  21. Larsen K, Pettersson P, Wang Y (1997) UPPAAL in a nutshell. STTT 1(1–2):134–152

    Article  MATH  Google Scholar 

Download references

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

  1. Shanghai Keylab of Trustworthy Computing, East China Normal University, Shanghai, 200062, People’s Republic of China

    Jing Liu, Xijiao Xiong & Jifeng He

  2. Center of Math Computing and Software Engineering, Zhejiang Sci-Tech University, Hangzhou, 310018, People’s Republic of China

    Zuohua Ding

Authors
  1. Jing Liu
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Xijiao Xiong
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Zuohua Ding
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Jifeng He
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Jifeng He.

Rights and permissions

Reprints 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

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11334-013-0197-8

Keywords

Search

Navigation