Abstract
E-Health organisations have seen in these years a rapid growth in the complexity and criticality of the processes they manage. This paper defines an approach for modelling clinical workflows based on Model-Driven principles; in particular the modelling activity is supported by the Dynamic State Machine (DSTM) formalism, that is a well-formed graphical language able to represent state based systems. The main advantage of using such a language resides in obtaining formal models of clinical workflows (whose semantics is strong and precise), with an high level of usability. While the focus of the paper is clearly on modelling, the application of Model-Driven principles allows a tight integration between the control flow of the clinical processes and the information that can be extracted from informal documentation. The approach is shown by applying it to the case study of a real world treatment process of bipolar and mood disorders.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Albanese, M., d’Acierno, A., Moscato, V., Persia, F., Picariello, A.: A multimedia semantic recommender system for cultural heritage applications. In: Semantic Computing (ICSC), 2011 Fifth IEEE International Conference on, pp. 403–410. IEEE (2011)
Alur, R., Kannan, S., Yannakakis, M.: Communicating hierarchical state machines. In: Automata, Languages and Programming, pp. 169–178. Springer, New York (1999)
Amato, F., Casola, V., Mazzeo, A., Romano, S.: A semantic based methodology to classify and protect sensitive data in medical records. In: Information Assurance and Security (IAS), 2010 Sixth International Conference on, pp. 240–246. IEEE (2010)
Amato, F., Mazzeo, A., Moscato, V., Picariello, A.: Semantic management of multimedia documents for e-government activity. In: Complex, Intelligent and Software Intensive Systems, 2009. CISIS’09. International Conference on, pp. 1193–1198. IEEE (2009)
Amato, F., Mazzeo, A., Moscato, V., Picariello, A.: A system for semantic retrieval and long-term preservation of multimedia documents in the e-government domain. Int. J. Web Grid Serv. 5(4), 323–338 (2009)
Amato, F., Mazzeo, A., Penta, A., Picariello, A.: Building RDF ontologies from semi-structured legal documents. In: Complex, Intelligent and Software Intensive Systems, 2008. CISIS 2008. International Conference on (2008)
Barberio, G., et al.: An interoperable testing environment for ERTMS/ETCS control systems. In: Computer Safety, Reliability, and Security, pp. 147–156. Springer, New York (2014)
Gentile, U., Nardone, R., et al.: Dynamic state machines for formalizing railway control system specifications. In: Proceedings of the 3rd International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2014), Communications in Computer and Information Science (2015)
Holzmann, G.J.: The model checker spin. IEEE Trans. Software Eng. 23(5), 279–295 (1997)
Marrone, S., Flammini, F., Mazzocca, N., Nardone, R., Vittorini, V.: Towards model-driven V&V assessment of railway control systems. Int. J. Softw. Tools Technol. Transfer 16(6), 669–683 (2014)
Moscato, F., Amato, F., Amato, A., Aversa, R.: Model-driven engineering of cloud components in metamorp(h)osy. Int. J. Grid Util. Comput. 5(2), 107–122 (2014)
Moscato, F., Aversa, R., Amato, A.: Describing cloud use case in metamorp(h)osy. pp. 793–798 (2012)
Moscato, F., Di Martino, B., Aversa, R.: Enabling model driven engineering of cloud services by using mosaic ontology. Scalable Comput. 13(1), 29–44 (2012)
Moscato, F., Venticinque, S., Aversa, R., Di Martino, B.: Formal modeling and verification of real-time multi-agent systems: the remm framework. Studies Comput. Intell. 162, 187–196 (2008)
Pérez, B., Porres, I.: Authoring and verification of clinical guidelines: a model driven approach. J. Biomed. Inform. 43(4), 520–536 (2010)
Marrone, S., Mazzocca, N., Merseguer, J., Nardone, R., Bernardi, S., Flammini, F., Vittorini, V.: Enabling the usage of UML in the verification of railway systems: the DAM-rail approach. Reliab. Eng. Syst. Saf. 120(0):112–126 (2013)
Sivic, J., Zisserman, A.: Efficient visual search of videos cast as text retrieval. IEEE Trans. Pattern Anal. Mach. Intell. 31(4), 591–606 (2009)
OMG Available Specification: Omg unified modeling language OMG UML, superstructure, v2.4.1. object management group (2011)
Steinberg, D., Budinsky, F., Merks, E., Paternostro, M.: EMF: Eclipse Modeling Framework. Pearson Education, Boston (2008)
van der Aalst, W.MP.: The application of petri nets to workflow management. J. Circuits Syst. comput. 8(01):21–66 (1998)
Acknowledgments
This work was supported by Smart Health 2.0 project, founded by the Italian Initiative "Smart cities and communities and social innovations PON ricerca e competivita AVVISO N. 84/RIC dee 2/03/2013.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Amato, F. et al. (2015). Towards Model-Driven Assessment of Clinical Processes. In: Damiani, E., Howlett, R., Jain, L., Gallo, L., De Pietro, G. (eds) Intelligent Interactive Multimedia Systems and Services. Smart Innovation, Systems and Technologies, vol 40. Springer, Cham. https://doi.org/10.1007/978-3-319-19830-9_11
Download citation
DOI: https://doi.org/10.1007/978-3-319-19830-9_11
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-19829-3
Online ISBN: 978-3-319-19830-9
eBook Packages: EngineeringEngineering (R0)