Abstract
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
J. Bardram and H.B. Christensen. Middleware for Pervasive Healthcare, A White Paper. In Workshop on Middleware for Mobile Computing, Heidelberg, Germany, 2001.
M.v.d. Beeck. Formalization of UML-Statecharts.
J. Burkhardt, H. Henn, S. Hepper, K. Rintdorff, and T. Schäck. Pervasive Computing—Technology and Architecture of Mobile Internet Applications. Addison-Wesley, 2002.
F. Buschmann, R. Meunier, H. Rohnert, and P. Sommerlad. Pattern-Oriented Software Architecture. John Wiley and Sons, 1996.
U. Hansmann, L. Merk, M. S. Nicklous, and T. Stober. Pervasive Computing Handbook. Springer Verlag, 2001.
D. Harel. Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming, 8, 1987.
R.G. Pettit IV and H. Gomaa. Validation of Dynamic Behaviour in UML Using Colored Petri Nets. In Workshop on Dynamic Behaviour in UML Models: Semantic Questions, _UML_ 2000, York, England, 2000.
K. Jensen. Coloured Petri Nets—Basic Concepts, Analysis Methods and Practical Use. Volume 1–3. Monographs in Theoretical Computer Science. An EATCS Series. Springer-Verlag, 1992–97.
L.M. Kristensen, S. Christensen, and K. Jensen. The Practitioner’s Guide to Coloured Petri Nets. International Journal on Software Tools for Technology Transfer, 2(2), 1998.
S. Kuske. A Formal Semantics of UML State Machines Based on Structured Graph Transformations.
W. Reisig. Petri Nets, an Introduction. Springer-Verlag, 1985.
J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Modeling Language Reference Manual. Addison Wesley, 1999.
A. J.H. Simons and I. Graham. 30 Things That Go Wrong in Object Modelling with UML 1.3. In H. Kilov, B. Rumpe, and I. Simmonds, editors, Behavioral Specifications of Businesses and Systems. Kluwer Academic Publishers, 1999.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Jorgensen, J.B., Christensen, S. (2002). Executable Design Models for a Pervasive Healthcare Middleware System. In: Jézéquel, JM., Hussmann, H., Cook, S. (eds) ≪UML≫ 2002 — The Unified Modeling Language. UML 2002. Lecture Notes in Computer Science, vol 2460. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45800-X_12
Download citation
DOI: https://doi.org/10.1007/3-540-45800-X_12
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-44254-7
Online ISBN: 978-3-540-45800-5
eBook Packages: Springer Book Archive