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