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.

Slides:

Advertisements

Similar presentations

Italian electronic services for Labor Market: a practical example for implementing Cross-border eService (SE.RE.NA. project)

Advertisements

School of Health Science AND Human Services Health Science Cluster Biotechnology Research and Development Diagnostic Services CAS — Public Health and Advanced.

A A R H U S U N I V E R S I T Y Faculty of Agricultural Sciences Institute of Agricultural Engineering, Horsens, Denmark SICAT Satellite, internet and.

Kurt Jensen Lars M. Kristensen 1 Coloured Petri Nets Department of Computer Science Kurt Jensen ADA-220 Coloured Petri Nets Modelling.

Enabling the national digital agenda: now and the future James Ferguson Consultant Hepatologist QEHB Birmingham.

The design process IACT 403 IACT 931 CSCI 324 Human Computer Interface Lecturer:Gene Awyzio Room:3.117 Phone:

FEN Welcome Presentation Seminar overview Seminar: Introduction to relational databases.

Computer Power AKA (also know as) The Action Lab.

MOCA'021 Executable Use Cases for Pervasive Healthcare Jens Bæk Jørgensen and Claus Bossen Centre for Pervasive Computing Department of Computer Science.

CPN'021 Coloured Petri Nets in UML-Based SW Development – Designing Middleware for Pervasive Healthcare Jens Bæk Jørgensen Centre for Pervasive Computing.

1 Modelling and Validation of Distributed Systems: Research Area and Thesis Opportunities Jens Bæk Jørgensen Department of Computer Science University.

1 Coloured Petri Nets and Education Søren Christensen Department of Computer Science University of Aarhus Denmark 4th Advanced Course on Petri Nets 2003,

1 CPN Models as Enhancements to a Traditional Software Specification for an Elevator Controller Jens Bæk Jørgensen Department of Computer Science University.

Pervasive Healthcare Martin Mogensen mastering student and student programmer Centre for Pervasive Healthcare [ Computer Science Department.

Modelling with Coloured Petri Nets Søren Christensen Department of Computer Science University of Aarhus.

1 Modeldrevet softwareudvikling – 16. november 2004 Design Methods for Reactive Systems, R.J. Wieringa Part IV: Software Specification Methods Jens Bæk.

Course Map The Java Programming Language Basics Object-Oriented Programming Exception Handling Graphical User Interfaces and Applets Multithreading Communications.

Implementing Hierarchical Features in a Graphically Based Formal Modelling Language Peter Henderson, Robert John Walters and Stephen Crouch Department.

Let's Go All the Way: From Requirements via Colored Workflow Nets to a BPEL Implementation of a New Bank System Wil M. P. van der Aalst Jens Bæk Jørgensen.

1 CPN Workflow Models as Functional Requirements Jens Bæk Jørgensen Department of Computer Science University of Aarhus CPN05, Aarhus, October

Biomedical research methods. What are biomedical research methods? An integrated approach using chemical, mathematical and computer simulations, in vitro.

These materials are prepared only for the students enrolled in the course Distributed Software Development (DSD) at the Department of Computer.

Radiation Hazard Awareness Training - ONLINE Coming – May 2015.

A university for the world real R © 2009, Chapter 23 Epilogue Wil van der Aalst Michael Adams Arthur ter Hofstede Nick Russell.

Personalized Medicine Research at the University of Rochester Henry Kautz Department of Computer Science.

1 Course 13: Manifolds and Modeling Monday 8:30-12:15 Cindy Grimm Media and Machines Lab Department of Computer Science and Engineering Washington University.

1 Course 21: Manifolds and Modeling Monday 8:30-12:15 Cindy Grimm Media and Machines Lab Department of Computer Science and Engineering Washington University.

Hallandale Magnet High School 720 N.W. 9 th Avenue Hallandale Beach, Fl Principal, Estella Eckhardt Magnet Coordinator, Marilyn Santiago.

To High School and Beyond: Career Explorations in the Middle School Classroom Alonia M. Johnson, M.Ed., M.S. Technology Instructor.

Kurt Jensen Lars M. Kristensen 1 Coloured Petri Nets Department of Computer Science Coloured Petri Nets Modelling and Validation of Concurrent Systems.

A Multi-modal Alert System for Anaesthesia Diagnosis Part IV Project – Software Engineering Tyler & Ken Dr. Michael Harrison – Faculty of Medical & Health.

Learning by Doing (LBD) based Course Content Development (in Areas of CS and ECE) International Institute of Information Technology Hyderabad, India 1.

National Postal Museum – Systems at Work Exhibit Lesson 1 – Handle with Care Presentation.

HCI in Software Process Material from Authors of Human Computer Interaction Alan Dix, et al.

1 Requirements Engineering for the Adviser Portal Bank System – a BPM Case in Coloured Petri Nets Jens Bæk Jørgensen Department of Computer Science University.

Towards a Formal Model of Context Awareness Mikkel Baun Kjærgaard Jonathan Bunde-Pedersen Department of Computer Science University of Aarhus.

WSMX Execution Semantics Executable Software Specification Eyal Oren DERI

EReferral and Consultation November “a tool to help primary-care providers refer their patients to an appropriate specialist and share necessary.

By Wayne Sibley Information Engineering Technology University of Cincinnati College of Applied Science.

Dakota State University.

SLED – Design Model. In the Classroom Problem Identification Teachers and students share and read design brief Teachers prompts students by asking:

Introduction to Computing Muhammad Saeed. Topics Course Description Overview of Areas Contact Information.

Java Learning Objects: a cross cultural perspective Presentation at JICC 9 31/1/05 (London Metropolitan University) Peter Chalk and Mei Qi, Department.

The Engineering Design Process

Presented by 劉乃菀 Department of Computer Science & information Engineering May 30 th, 2011.

University of Sunderland Professionalism and Personal Skills Unit 8 Professionalism and Personal Skills Lecture 8: Professionalism and Ethics.

University of Sunderland Professionalism and Personal Skills Unit 6 Professionalism and Personal Skills Lecture Ethics.

Vice Provost Planning and Programs. Saul J. Weiner, MD Faculty in College of Medicine Active researcher in patient care Practicing clinician College.

Sharjah Higher Colleges of Technology Women’s Campus Program of Studies.

At the beginning of each semester, CSE hires a number of Graduate Teaching Assistants (GTAs) as graders, lab supervisors, and instructors. The department.

Welcome / Bienvenue at University College Northern Denmark (UCN)

VIRTUAL CLINICAL DEPARTMENT by APPLIED LOGIC LABORATORY & INSTITUTE for HEALTH PROTECTION Ministry of Defence.

DATABASE DEMONSTRATION By: Michael Civitate. CINAHL® COMPLETE CINAHL (Cumulative Index to Nursing and Allied Health Literature). CINAHL Complete is the.

+ Game Design Careers. + Game Development Developing an interesting video game is a very challenging task. It usually takes many different people working.

Problem: design complexity advances in a pace that far exceeds the pace in which verification technology advances. More accurately: (verification complexity)

The Virtual Ward – current model A Community Ward with patients cared for in their own homes Virtual Ward Co-ordinator (Advanced Nurse Practitioner) Monday.

These materials are prepared only for the students enrolled in the course Distributed Software Development (DSD) at the Department of Computer.

Department of Computer Science

Developing a Prototype

An educational system for medical billers in training

Michael Smith Behavioral Sciences and Social Medicine

CSCE , 510, 511, 512 Introduction to Program Design and Concepts Dr. J

Project Title This is a sample slide layout

Scheduling Jobs in Multi-Grid Environment

Fundamentals of Human Computer Interaction (HCI)

Collaborative Smart House Environment Computer Science Department University of Cyprus Contact: Christodoulou Eleni.

Machine Learning for Individualized Medicine

Pervasive Telemedicine System

Project Title This is a sample poster layout -

Presentation transcript:

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 th Advanced Course on Petri Nets 2003, Eichstätt, Germany

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 Requirements Engineering Approach: Executable Use Cases (EUCs) Goals: - Narrow gap between informal ideas and formalisation - Spur communication between users and system developers

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

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

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

7 Medicine Administration EUC: Animation Tier

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