1. 1 Requirements Engineering for a Pervasive Health Care System Jens Bæk Jørgensen and Claus Bossen ACPN: Presented by Søren Christensen and Michael Westergaard Department of Computer Science University of Aarhus Denmark RE’03, Monterey, California, September 2003 4th Advanced Course on Petri Nets 2003, Eichstätt, Germany

2. 2 Background: Aarhus’ Electronic Patient Record (EPR) Problems: - Immobility - Time-consuming login and navigation Project metrics: - approximately 8-10,000 users - approximately 15 million US dollars Solution (?): - Pervasive computing

3. 3 Requirements Engineering Approach: Executable Use Cases (EUCs) Goals: - Narrow gap between informal ideas and formalisation - Spur communication between users and system developers

4. 4 The Pervasive Health Care System (PHCS) - Computers where needed - Context awareness - Propositionality Example of work process to be supported: Medicine administration

5. 5 Medicine Administration EUC: Formal Tier Overview Formal tier created in the language Coloured Petri Nets (CPN)

6. 6 Medicine Administration EUC: Formal Tier, Pour/Check Trays Module

7. 7 Medicine Administration EUC: Animation Tier

8. 8 Medicine Administration EUC: Lessons Learned zEnvironment description needed in specification of requirements zExplicit environment description beneficial for user involvement and mutual understanding zDomain specific graphics ease user involvement in formal modelling zFormal models can be used to prototype the behaviour of systems, early in the development process