Modelling mobile health systems: An application of augmented MDA for the extended healthcare enterprise

Proceedings - IEEE International Enterprise Distributed Object Computing Workshop, EDOC

Volumn , Issue , 2005, Pages 58-69

  Jones, Val ^a   Rensink, Arend ^a   Brinksma, Ed ^a  

^a UNIVERSITY OF TWENTE   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

BIOMEDICAL EQUIPMENT; COMPUTER AIDED DESIGN; COMPUTER AIDED SOFTWARE ENGINEERING; HEALTH CARE; MATHEMATICAL MODELS; MEDICAL APPLICATIONS; PATIENT TREATMENT;

BODY AREA NETWORKS (BAN); COMPUTING SYSTEMS; MOBILE HEALTH SYSTEMS; MODEL TRANSFORMATIONS;

TELEMEDICINE;

EID: 33749395340     PISSN: 15417719     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EDOC.2005.22     Document Type: Conference Paper

References (25)

1. Object Management Group, MDA website, http://www.omg.org/mda/
2. MDA Guide Version 1.0.1, © 2003, OMG, omg/2003-06-01, http://www.omg.org/docs/omg/03-06-01.pdf
3. A. Kleppe, J. Warmer, W. Bast, (2003) MDA Explained: The Model Driven Architecture™. Practice and Promise, Addison Wesley Professional.
4. D.M. Konstantas, V.M. Jones, R.G.A. Bulls, R. Herzog, MobiHealth - innovative 2.5 / 3G mobile services and applications for healthcare, 11th IST Mobile and Wireless Telecommunications Summit 2002, June 16-19,2002; Thessaloniki, Greece.
5. D.M. Konstantas, V.M. Jones, R.G.A. Bults and R. Herzog (2002), "MobiHealth - Wireless mobile services and applications for healthcare", International Conference on Telemedicine -Integration of Health Telematics into Medical Practice, September 22nd-25th, 2002, Regensburg, Germany.
6. I.A. Widya, A. van Halteren, V.M. Jones, R.G.A. Bults, D.M. Konstantas, P. Vierhout, J. Peuscher (2003). Telematic Requirements for a Mobile and Wireless Healthcare System derived from Enterprise Models. Proceedings IEEE ConTel 2003: 7th International Conference on Telecommunications, June 2003, Zagreb, Croatia.
7. V.M. Jones, R.G.A. Bults, D.M. Konstantas, P.A.M. Vierhout (2001), Healthcare PANs: Personal Area Networks for trauma care and home care, Proceedings Fourth International Symposium on Wireless Personal Multimedia Communications (WPMC), Sept. 9-12, 2001, Aalborg, Denmark, http://wpmc01.org/, ISBN 87-988568-0-4.
8. A. van Halteren, R.G.A. Bults, I.A. Widya, V.M. Jones, D.M. Konstantas (2003), Mobihealth-Wireless body area networks for healthcare, Proc. New generation of wearable systems for ehealth: towards a revolution of citizens' health and life style. 11-14 December 2003, Il Ciocco Castelvecchio Pascoli Lucca, Tuscany, Italy, pp. 121-126.
9. A. van Halteren, R.G.A. Bults, I.A. Widya, V.M. Jones, D.M. Konstantas (2004), "Mobihealth-Wireless body area networks for healthcare", Wearable eHealth Systems for Personalised Health Management: State of the Art and Future Challenges. Volume 108 Studies in Health Technology and Informatics, In A, Lymberis and D. de Rossi (eds.), ISBN: 1 58603 449 9, http://www.iospress. nl/html/boek1143885731.html
10. Freehand Awareness project, http://awareness.freeband.nl
11. V.M. Jones, A. Rensink, T. Ruys, E. Brinksma and A, van Halteren (2004), A formal MDA approach for mobile health systems, Proc. EWMDA-2, Second European Workshop on Model Driven Architecture (MDA) with an emphasis on Methodologies and Transformations, September 2004, Canterbury, England.
12. T.C. Ruys and E. Brinksma (2003), Managing the Verification Trajectory, Software Tools for Technology Transfer (STTT), 4:2, pp. 246-259.
13. T.C. Ruys (2001), Towards Effective Model Checking, PhD Thesis, University of Twente, Enschede, The Netherlands,March 2001.
14. G.J. Holzmann, (2003), The Spin Model Checker: Primer and Reference Manual, Addison-Wesley, ISBN 0-321-22862-6.
15. E. Brinksma, (1999). Formal methods for conformance testing: Theory can be practical! In N. Halbwachs and D. Peled (eds.), Computer Aided Verification (CAV), volume 1633 of Lecture Notes in Computer Science, pages 44-46, Trento, July 1999, Springer.
16. J. Tretmans and A. Belinfante. Automatic testing with formal methods. In EuroSTAR'99: 7th European Int. Conference on Software Testing, Analysis & Review, Barcelona, Spain, November 8-12, 1999. EuroStar Conferences, Galway, Ireland.
17. T. Bolognesi, D. De Frutos, R. Langerak, D. Latella (1995), Correctness Preserving Transformations for the Early Phases of Software Development, in Bolognesi T, Van de Lagemaat J and Vissers C.A. (eds.), LOTOSphere: Software Development with LOTOS, pp. 348-368, Kluwer Academic Publishers.
18. V.M. Jones (1995). Realization of CCR in C. in Bolognesi T, Van de Lagemaat J and Vissers C.A. (eds.), LOTOSphere: Software Development with LOTOS, pp. 348-368, Kluwer Academic Publishers.
19. V.M. Jones (1997) Engineering an implementation of the OSI CCR Protocol using the information systems engineering techniques of formal specification and program transformation. University of Twente, CTIT Technical Report series no. 97-19. ISSN 1381-3625.
20. T.G. Zimmerman (1999), Wireless networked devices: A new paradigm for computing and communication, IBM Systems Journal, Vol. 38, No 4.
21. K, van Dam, S. Pitchers and M. Barnard (2001), Body Area Networks: Towards a Wearable Future, Proc. WWRF kick off meeting, Munich, Germany, 6-7 March 2001; http://www.wireless-world-research.org/.
22. R. Schmidt (2001), Patients emit an aura of data, Fraunhofer- Gesellschaft, www.fraunhofer.de/english/press/md/md2001/md1 l-2001_tl.html
23. Wireless World Research Forum (2001), The Book of Visions 2001: Visions of the Wireless World, Version 1.0, December 2001; http://www.wireless-world- research.org/
24. H. Alexander and V.M. Jones (1990). Software Design and Prototyping using me too. London: Prentice Hall International. ISBN 0-13-820259-1.
25. N. Dokovsky, A. van Halteren, I.A. Widya, BANip: Enabling remote healthcare monitoring with Body Area Networks, International Workshop on scientiFic engineering of Distributed Java applIcations, November 2003, Luxembourg, Luxembourg.