Just in Time ELearning for Medical Application Milestone

Just in Time E-Learning for Medical Application Milestone 2: Scenarios Formalized for Able and Unable Patient Aimee Pail Brown Subrata Acharya

Introduction n Milestone 1 q Create two scenarios for Ji. T Medical Application n n q n Unable Patient Scenario Able Patient Scenario Create UML sequence diagram for scenarios Milestone 2 q Formalize the scenarios n n q Software Tool Magic. Draw (12. 5 EAP beta 1) n q Timing constraints Orchestration and Choreography Provides tools to draw UML, orchestration, choreography diagrams Representation of scenarios via pi-Calculus

Scenario – Unable Patient n n n n Sensor Equipment takes video/picture of Patient Data sent to Condition and Record Agent for storage Sensor detects alarm and alerts Hospital receives alarm and alerts Physician and Nurse Physician queries Patient’s Current Condition for Diagnosis Physician Requests Nurse/Dispatch to perform action After action is performed, Doctor again queries Patient’s condition for outcome of action

Sequence Diagram - UML

Orchestration – Execution Flow

Choreography – Agent Collaboration

Scenario – Able Patient n n n n Patient takes reading (temperature) by sensor equipment Data sent to Condition and Record Agent for storage Sensor detects alarm and alerts Hospital receives alarm and alerts Physician and Nurse Physician queries Patient’s Current Condition for Diagnosis Physician sends an Action to be performed by Patient After action, Physician again queries for updated Condition of Patient

Sequence Diagram - UML

Orchestration – Execution Flow

Choreography – Agent Collaboration

Formalization using Pi-Calculus n State Transition of Data & Alert Propagation

Formalization using Pi-Calculus n Sensor Data Propagation Notation: q n Alarm Propagation Notation: q n (Patient(data!); Sensor(data? , data!); Condition(data? , data!); Records(data? ))* Patient(data!); Sensor(data? , alarm!); (Condition(alarm? , alarm!); Records(alarm? ))|(Hospital(alarm? , alarm!); (Expert(alarm? )|Nurse(alarm? ))) Notation Symbols: q q q ; - sequential composition ? – input data ! – output data * - iteration | - parallel composition

IC Card team takes on from here…. Thank You!!!