Modeling and Simulation Tool Suite for Patient PortalsJanos Mathe, Sean Duncavage, Jan Werner, Gabor Karsai, Akos Ledeczi, Brad Malin, Janos Sztipanovits

Institute for Software Integrated Systems, Vanderbilt University

March 20, 2007

GoalDevelop a Modeling and Simulation Platform forpatient Health Information Systems (HIS)

Platform is suitable for• modeling and model-based integration of Patient Portals (PP)

providing access to Electronic Medical Records (EMR) and HealthInformation Systems (HIS)

• performing security and privacy analysis using model verificationand simulation-based testing

• providing mapping to standard SOA execution platforms

Application SystemMyHealth @ Vanderbilt (MHAV)

• Patient Portal• > 25 000 users• Provides a set of (web-based) services

- Secure messaging with doctors- Access to lab results- Scheduling of appointments- Access to billing info- Personalized literature H

ete

rog

en

ic

BenefitsFollowing Model-Based Design principals

• Separation of the low level implementation details from the high level abstractions

• Matching SOA modeling abstractions with the HIS domain

• Simulation of operation

Future WorkWork in progress

• Building tools for• Policy Validation• Dynamic Policy Verification

• Temporal nature of expressions

• Model Translator

Integration and Simulation

HIS

Domain

System

level

BP

EL

Ex

ec

uti

on

Pla

tfo

rm

Workflow Models• Activities

• Coordination

Service Models• Interface

• Data

Privacy Models• Privacy

• Security

Org. Models• Org. structure

• Roles

Model

Transf.

Model

Transf.

Model

Transf.

Model

Transf.

Internal Policy Enforcement Point

BPEL Process Manager

External

Policy Enforcement Point

Policy

Repos.

Policy

Decision Pt.

Policy

Decision Pt.

Config.

Engine

SnS2S1

BPEL Modeling Platform

XACML + XSDBPEL4WS XML Conf.WSDL

Domain specific modelingabstractions expressed informally defined DSML-s

Standard SOA-basedBPEL execution platform

(simulation andfast prototyping)

Standard SOA-based businessprocess modeling platform

* SGV triangle of Platform-Based Design (PBD)

BPEL4WS

WSDL

XACML

Domain

X…

Discrete

Manufacturing

Domain

Y

IBM Websphere Oracle PM MS Biztalk Exe Platform Z …

Clinical

Information

Systems*

SOA

design

ApproachDeveloping Domain-Specific Abstractions

1) Developing Domain-Specific Modeling Languages (DSML) for Patient Portals

o by casting EMR/HIS onto Service-Oriented Architectures (SOA) defined by the OASIS and the WC3 family of standards (BPEL4WS, XACML, WSDL)

2) Building the modelso capturing the key elements of

operation

3) Model translationo interpretation of models

4) Execution and simulation of models, workflows with an execution engine

Refining the level

of abstraction

Iterativeprocess

Model

Transf.

Meta

Models

Test

Models

Modeling

Tool

Critique

BPEL Modeling Platform

GME-based Modeling and Configuration Tools

Model

Translators

Analysis Tools

Wellformedness

Checking

Static Policy

Verification

Modeling and Model-based Integration Tools

Modeling and Verification steps with our tools suite