Petri nets: an introduction
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Pattern-oriented software architecture: a system of patterns
Pattern-oriented software architecture: a system of patterns
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
Pervasive computing handbook
Pervasive Computing: Technology and Architecture of Mobile Internet Applications
Pervasive Computing: Technology and Architecture of Mobile Internet Applications
Supporting transparent model update in distributed CASE tool integration
Proceedings of the 2006 ACM symposium on Applied computing
A case study of coloured Petri nets in object-oriented analysis and design
Nordic Journal of Computing
Hi-index | 0.00 |
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.