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 toimplementation.
| Original language | English |
|---|---|
| Title of host publication | Lecture Notes In Computer Science : 5th International Conference on The Unified Modeling Language |
| Number of pages | 10 |
| Volume | 2460 |
| Publisher | Springer |
| Publication date | 2002 |
| Pages | 140-149 |
| ISBN (Print) | 3-540-44254-5 |
| Publication status | Published - 2002 |
| Event | UML'2002, September 30-October 4, 2002, Dresden, Germany - Dresden, Germany Duration: 30 Sept 2002 → 4 Oct 2002 Conference number: 5 |
Conference
| Conference | UML'2002, September 30-October 4, 2002, Dresden, Germany |
|---|---|
| Number | 5 |
| Country/Territory | Germany |
| City | Dresden |
| Period | 30/09/2002 → 04/10/2002 |
Keywords
- Executable models
- detailed behaviour
- Petri nets
- CPN Tools
- system design
- middleware
- pervasive and mobile computing
- supplementing UML