Aimee Pail Brown Subrata Acharya Just in Time E-Learning for Medical Application Milestone 2: Scenarios Formalized for Able and Unable Patient Aimee Pail Brown Subrata Acharya
Introduction Milestone 1 Milestone 2 Create two scenarios for JiT Medical Application Unable Patient Scenario Able Patient Scenario Create UML sequence diagram for scenarios Milestone 2 Formalize the scenarios Timing constraints Orchestration and Choreography Software Tool MagicDraw (12.5 EAP beta 1) Provides tools to draw UML, orchestration, choreography diagrams Representation of scenarios via pi-Calculus
Scenario – Unable Patient Sensor Equipment takes video/picture of Patient Data sent to Condition and Record Agent for storage Sensor detects alarm and alerts Hospital 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 Patient takes reading (temperature) by sensor equipment Data sent to Condition and Record Agent for storage Sensor detects alarm and alerts Hospital 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 State Transition of Data & Alert Propagation
Formalization using Pi-Calculus Sensor Data Propagation Notation: (Patient(data!); Sensor(data?,data!); Condition(data?,data!); Records(data?))* Alarm Propagation Notation: Patient(data!); Sensor(data?,alarm!); (Condition(alarm?,alarm!); Records(alarm?))|(Hospital(alarm?, alarm!);(Expert(alarm?)|Nurse(alarm?))) Notation Symbols: ; - sequential composition ? – input data ! – output data * - iteration | - parallel composition
IC Card team takes on from here…. Thank You!!!