Abstract:

Using a pervasive healthcare system as example, a new approach to 
specication of user requirements for pervasive IT systems is presented. 
A formal modelling language, Coloured Petri Nets, is applied to describe
 what we call Executable Use Cases, EUCs. EUCs are precise, detailed, and 
executable descriptions of future work processes and their computer 
support. In particular, EUCs allow user requirements speci cations to 
take the frequently changing context of the users, e.g. their location 
and equipment in possession, into account. Topics: Speci cation of user 
requirements, use cases, Uni ed Mod- eling Language (UML), application 
of Coloured Petri Nets to pervasive systems, context awareness.