eHealth Scenario AgreementInitiator 2012-12-31T00:00:00 reportAlarm alarmType eq Emergency responseTime lt 300 seconds 1 10 dollars reportAlarm alarmType eq No Confirmation responseTime lt 600 seconds 1 10 dollars getConnectedDeviceIP alarmType eq Emergency responseTime lt 3 seconds 1 3 dollars getConnectedDeviceIP alarmType eq No Confirmation responseTime lt 6 seconds 1 1 dollars getConnectedDeviceIP count(list_of_professionals) gt 0 professionals 1 5 dollars getConnectedDeviceIP alarmType eq Emergency for all i (list_of_professionals(i) = doctor) getConnectedDeviceIP alarmType eq No Confirmation for all i (list_of_professionals(i) = supervisor) receiveAlarm deployedOn eq MobileNode responseTime le 6 seconds 1 2 dollars receiveAlarm deployedOn eq WiredServer responseTime le 2 seconds 1 2 dollars receiveAlarm deployedOn eq MobileNode responseTime le 20 seconds 1 1.5 dollars receiveAlarm deployedOn eq WiredServer responseTime le 15 seconds 1 1.5 dollars getMedicalDevices responseTime le 2 seconds 1 1 dollars getMeasure idMedicalDevice eq device_1 responseTime le 3 seconds 1 0.2 dollars getMeasure idMedicalDevice eq device_2 responseTime le 10 seconds 1 0.1 dollars