UML is applied in the design of a pervasive healthcare middleware system for the hospitals in Aarhus County, Denmark. It works well for the modelling of static aspects of the system, but with respect to describing the behaviour, UML is not sufficient. This paper explains why and, as a remedy, suggests to supplement the UML models with behaviour descriptions in the modelling language Coloured Petri Nets, CPN. CPN models are executable and fine-grained, and a combined use of UML and CPN thus supports design-time investigation of the detailed behaviour of system components. In this way, the behavioural consequences of alternative design proposals may be evaluated and compared, based on models and prior to implementation. © Springer-Verlag Berlin Heidelberg 2002.
CITATION STYLE
Jørgensen, J. B., & Christensen, S. (2002). Executable design models for a pervasive healthcare middleware system. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2460 LNCS, pp. 140–149). Springer Verlag. https://doi.org/10.1007/3-540-45800-x_12
Mendeley helps you to discover research relevant for your work.