def test_shouldBeUnachievable():
root = Goal(Decomposition.AND)
context1 = Context("c1")
context2 = Context("c2")
current = []
current.append(context1)
task1 = Task()
task2 = Task()
task1.addApplicableContext(context2)
task2.addApplicableContext(context2)
root.addDependency(task1)
root.addDependency(task2)
deps = []
deps.append(task1)
deps.append(task2)
plan = root.isAchievable(current, None)
assert plan is None
def test_refinement():
refinement = Refinement()
task = Task()
delegation = Delegation()
goal = Goal(Decomposition.AND)
assert task.myType() is refinement.TASK
assert delegation.myType() is refinement.DELEGATION
assert goal.myType() is refinement.GOAL
def test_aGoalOrDecomposedWithTwoTasksMayNotBeAchievable():
goal = Goal(Decomposition.OR)
task1 = Task()
task2 = Task()
current = Context("C1")
fullContext = []
fullContext.append(current)
qc = QualityConstraint(current, CommonMetrics.SECONDS, 15,
Comparison.LESS_OR_EQUAL_TO)
task1.addApplicableContext(current)
task1.setProvidedQuality(current, CommonMetrics.SECONDS, 16)
task2.addApplicableContext(current)
task2.setProvidedQuality(current, CommonMetrics.SECONDS, 17)
goal.addDependency(task1)
goal.addDependency(task2)
goal.setIdentifier("Root")
goal.addApplicableContext(current)
interp = Interpretation()
interp.addQualityConstraint(qc)
plan = goal.isAchievable(fullContext, interp)
assert goal.decomposition is Decomposition.OR
assert plan is None
def test_aGoalAndDecomposedWithTwoTasksMayBeAchievable():
goal = Goal(Decomposition.AND)
task1 = Task()
task2 = Task()
current = Context("C1")
fullContext = []
fullContext.append(current)
qc = QualityConstraint(current, CommonMetrics.SECONDS, 15,
Comparison.LESS_OR_EQUAL_TO)
interp = Interpretation()
interp.addQualityConstraint(qc)
task1.addApplicableContext(current)
task1.setProvidedQuality(current, CommonMetrics.SECONDS, 13)
task2.addApplicableContext(current)
task2.setProvidedQuality(current, CommonMetrics.SECONDS, 11)
goal.addDependency(task1)
goal.addDependency(task2)
goal.setIdentifier("Root")
goal.addApplicableContext(current)
plan = goal.isAchievable(fullContext, interp)
assert 2 == len(plan.getTasks())
def test_aNonApplicableRootGoalIsNotAchievable():
goal = Goal(Decomposition.AND)
current = Context("C1")
fullContext = []
qc = QualityConstraint(current, CommonMetrics.SECONDS, 15,
Comparison.LESS_OR_EQUAL_TO)
goal.addApplicableContext(Context("C2"))
interp = Interpretation()
interp.addQualityConstraint(qc)
assert goal.isAchievable(fullContext, interp) is None
def test_shouldBeApplicable():
goal = Goal(Decomposition.AND)
task = Task()
delegation = Delegation()
contextCurrent = Context("C1")
fullContext = []
fullContext.append(contextCurrent)
goal.addApplicableContext(contextCurrent)
task.addApplicableContext(contextCurrent)
delegation.addApplicableContext(contextCurrent)
assert True is goal.isApplicable(fullContext)
assert True is task.isApplicable(fullContext)
assert True is delegation.isApplicable(fullContext)
def test_shouldBeAchievable():
root = Goal(Decomposition.AND, "root")
context = Context("c1")
current = []
current.append(context)
task1 = Task("t1")
task2 = Task("t2")
task1.addApplicableContext(context)
root.addDependency(task1)
root.addDependency(task2)
plan = root.isAchievable(current, None)
assert plan
assert task2 in plan.getTasks()
def test_shouldBeNotApplicable():
goal = Goal(Decomposition.AND)
task = Task()
delegation = Delegation()
context = Context("C1")
task.addApplicableContext(context)
goal.addApplicableContext(context)
delegation.addApplicableContext(context)
wrongContext = Context("C2")
fullContext = []
fullContext.append(wrongContext)
assert False is goal.isApplicable(fullContext)
assert False is task.isApplicable(fullContext)
assert False is delegation.isApplicable(fullContext)
def test_shouldGetDependencies():
root = Goal(Decomposition.AND)
task = Task("T1")
goal = Goal(Decomposition.AND, "G1")
delegation = Delegation("D1")
root.addDependency(task)
root.addDependency(goal)
root.addDependency(delegation)
deps = []
deps.append(delegation)
deps.append(goal)
deps.append(task)
for d in deps:
assert d in root.dependencies
def test_shouldGetApplicableDependencies():
root = Goal(Decomposition.AND)
context = Context("c1")
current = []
current.append(context)
task = Task()
goal = Goal(Decomposition.AND)
delegation = Delegation()
task.addApplicableContext(context)
root.addDependency(task)
root.addDependency(goal)
root.addDependency(delegation)
deps = []
deps.append(task)
assert 1 == len(deps)
assert task in deps
def __init__(self, decomposition, identifier=""):
Goal.__init__(self, decomposition, identifier)
self.interp = Interpretation()
def rootGoal():
# Goals
respondToEmergencyGoal = Pragmatic(Decomposition.AND, "respondToEmergency")
emergencyIsDetectedGoal = Pragmatic(Decomposition.OR,
"emergencyIsDetected")
centralReceivesInfoGoal = Pragmatic(Decomposition.AND,
"centralReceivesInfo")
locationIsIdentifiedGoal = Pragmatic(Decomposition.OR,
"locationIsIdentified")
infoIsPreparedGoal = Pragmatic(Decomposition.OR, "infoIsPrepared")
isNotifiedAboutEmergencyGoal = Pragmatic(Decomposition.OR,
"isNotifiedAboutEmergency")
callForHelpIsAcceptedGoal = Goal(Decomposition.AND,
"callForHelpIsAccepted")
falseAlarmIsCheckedGoal = Goal(Decomposition.OR, "falseAlarmIsChecked")
pIsContactedGoal = Goal(Decomposition.AND, "pIsContacted")
receivesEmergencyButtonCallGoal = Goal(Decomposition.OR,
"receivesEmergencyButtonCall")
situationsAreIdentifiedGoal = Goal(Decomposition.AND,
"situationsAreIdentified")
vitalSignsAreMonitoredGoal = Goal(Decomposition.AND,
"vitalSignsAreMonitored")
infoIsSentToEmergencyGoal = Goal(Decomposition.OR, "infoIsSentToEmergency")
setupAutomatedInfoGoal = Goal(Decomposition.AND, "setupAutomatedInfo")
situationDataIsRecoveredGoal = Goal(Decomposition.AND,
"situationDataIsRecovered")
contactResponsibleGoal = Goal(Decomposition.AND, "contactResponsible")
medicalCareReachesGoal = Goal(Decomposition.AND, "medicalCareReaches")
ambulanceIsDispatchedToLocationGoal = Goal(
Decomposition.AND, "ambulanceIsDispatchedToLocation")
# Refinements
respondToEmergencyGoal.addDependency(emergencyIsDetectedGoal)
respondToEmergencyGoal.addDependency(isNotifiedAboutEmergencyGoal)
respondToEmergencyGoal.addDependency(centralReceivesInfoGoal)
respondToEmergencyGoal.addDependency(medicalCareReachesGoal)
emergencyIsDetectedGoal.addDependency(callForHelpIsAcceptedGoal)
emergencyIsDetectedGoal.addDependency(situationsAreIdentifiedGoal)
callForHelpIsAcceptedGoal.addDependency(receivesEmergencyButtonCallGoal)
callForHelpIsAcceptedGoal.addDependency(falseAlarmIsCheckedGoal)
receivesEmergencyButtonCallGoal.addDependency(notifyCentralBySMSTask)
receivesEmergencyButtonCallGoal.addDependency(notifyCentralByInternetTask)
falseAlarmIsCheckedGoal.addDependency(acceptEmergencyTask)
falseAlarmIsCheckedGoal.addDependency(pIsContactedGoal)
pIsContactedGoal.addDependency(confirmEmergencyByCallTask)
situationsAreIdentifiedGoal.addDependency(processDataFromSensorsTask)
situationsAreIdentifiedGoal.addDependency(vitalSignsAreMonitoredGoal)
situationsAreIdentifiedGoal.addDependency(identifySituationTask)
vitalSignsAreMonitoredGoal.addDependency(collectDataFromSensorsTask)
vitalSignsAreMonitoredGoal.addDependency(persistDataToDatabaseTask)
isNotifiedAboutEmergencyGoal.addDependency(notifyByMobileVibrationTask)
isNotifiedAboutEmergencyGoal.addDependency(notifyBySoundAlertTask)
isNotifiedAboutEmergencyGoal.addDependency(notifyByLightAlertTask)
isNotifiedAboutEmergencyGoal.addDependency(centralCallTask)
centralReceivesInfoGoal.addDependency(infoIsSentToEmergencyGoal)
centralReceivesInfoGoal.addDependency(infoIsPreparedGoal)
infoIsSentToEmergencyGoal.addDependency(sendInfoBySMSTask)
infoIsSentToEmergencyGoal.addDependency(sendInfoByInternetTask)
infoIsPreparedGoal.addDependency(setupAutomatedInfoGoal)
infoIsPreparedGoal.addDependency(contactResponsibleGoal)
setupAutomatedInfoGoal.addDependency(locationIsIdentifiedGoal)
setupAutomatedInfoGoal.addDependency(situationDataIsRecoveredGoal)
locationIsIdentifiedGoal.addDependency(considerLastKnownLocationTask)
locationIsIdentifiedGoal.addDependency(identifyLocationByVoiceCallTask)
locationIsIdentifiedGoal.addDependency(accessLocationFromGPSTask)
locationIsIdentifiedGoal.addDependency(accessLocationFromTriangulationTask)
situationDataIsRecoveredGoal.addDependency(accessDataFromDatabaseTask)
contactResponsibleGoal.addDependency(getInfoFromResponsibleTask)
medicalCareReachesGoal.addDependency(ambulanceIsDispatchedToLocationGoal)
ambulanceIsDispatchedToLocationGoal.addDependency(
ambulanceDispatchDelegationTask)
# Applicable Contexts
notifyCentralBySMSTask.addApplicableContext(c2)
notifyCentralByInternetTask.addApplicableContext(c3)
notifyCentralByInternetTask.addApplicableContext(c4)
acceptEmergencyTask.addNonapplicableContext(c2)
confirmEmergencyByCallTask.addApplicableContext(c2)
notifyByMobileVibrationTask.addApplicableContext(c1)
notifyBySoundAlertTask.addApplicableContext(c6)
notifyByLightAlertTask.addApplicableContext(c7)
centralCallTask.addApplicableContext(c8)
sendInfoBySMSTask.addApplicableContext(c2)
sendInfoByInternetTask.addApplicableContext(c3)
sendInfoByInternetTask.addApplicableContext(c4)
identifyLocationByVoiceCallTask.addApplicableContext(c2)
accessLocationFromTriangulationTask.addApplicableContext(c2)
accessLocationFromGPSTask.addApplicableContext(c5)
# Goal Interpretations
qc1 = QualityConstraint(None, MpersMetrics.SECONDS, 180,
Comparison.LESS_THAN)
qc2 = QualityConstraint(c10, MpersMetrics.SECONDS, 90,
Comparison.LESS_THAN)
qc3 = QualityConstraint(c9, MpersMetrics.SECONDS, 240,
Comparison.LESS_THAN)
respondToEmergencyGoal.interp.addQualityConstraint(qc1)
respondToEmergencyGoal.interp.addQualityConstraint(qc2)
respondToEmergencyGoal.interp.addQualityConstraint(qc3)
qc1 = QualityConstraint(None, MpersMetrics.FALSE_NEGATIVE_PERCENTAGE, 30,
Comparison.LESS_THAN)
qc2 = QualityConstraint(c3, MpersMetrics.FALSE_NEGATIVE_PERCENTAGE, 10,
Comparison.LESS_THAN)
qc3 = QualityConstraint(c9, MpersMetrics.FALSE_NEGATIVE_PERCENTAGE, 5,
Comparison.LESS_THAN)
emergencyIsDetectedGoal.interp.addQualityConstraint(qc1)
emergencyIsDetectedGoal.interp.addQualityConstraint(qc2)
emergencyIsDetectedGoal.interp.addQualityConstraint(qc3)
qc1 = QualityConstraint(None, MpersMetrics.SECONDS, 60,
Comparison.LESS_THAN)
centralReceivesInfoGoal.interp.addQualityConstraint(qc1)
qc4 = QualityConstraint(None, MpersMetrics.DISTANCE_ERROR, 1000,
Comparison.LESS_THAN)
qc6 = QualityConstraint(c5, MpersMetrics.DISTANCE_ERROR, 20,
Comparison.LESS_THAN)
qc5 = QualityConstraint(c10, MpersMetrics.DISTANCE_ERROR, 200,
Comparison.LESS_THAN)
qc1 = QualityConstraint(None, MpersMetrics.SECONDS, 120,
Comparison.LESS_THAN)
qc3 = QualityConstraint(c9, MpersMetrics.SECONDS, 240,
Comparison.LESS_THAN)
qc2 = QualityConstraint(c10, MpersMetrics.SECONDS, 20,
Comparison.LESS_THAN)
locationIsIdentifiedGoal.interp.addQualityConstraint(qc1)
locationIsIdentifiedGoal.interp.addQualityConstraint(qc2)
locationIsIdentifiedGoal.interp.addQualityConstraint(qc3)
locationIsIdentifiedGoal.interp.addQualityConstraint(qc4)
locationIsIdentifiedGoal.interp.addQualityConstraint(qc5)
locationIsIdentifiedGoal.interp.addQualityConstraint(qc6)
qc1 = QualityConstraint(None, MpersMetrics.SECONDS, 900,
Comparison.LESS_THAN)
qc2 = QualityConstraint(c10, MpersMetrics.SECONDS, 600,
Comparison.LESS_THAN)
infoIsPreparedGoal.interp.addQualityConstraint(qc1)
infoIsPreparedGoal.interp.addQualityConstraint(qc2)
qc1 = QualityConstraint(None, MpersMetrics.NOISE, 10, Comparison.LESS_THAN)
qc2 = QualityConstraint(c1, MpersMetrics.NOISE, 3, Comparison.LESS_THAN)
isNotifiedAboutEmergencyGoal.interp.addQualityConstraint(qc1)
isNotifiedAboutEmergencyGoal.interp.addQualityConstraint(qc2)
# Provided Task QoS
notifyCentralBySMSTask.setProvidedQuality(
None, MpersMetrics.FALSE_NEGATIVE_PERCENTAGE, 10)
notifyCentralByInternetTask.setProvidedQuality(
None, MpersMetrics.FALSE_NEGATIVE_PERCENTAGE, 5)
acceptEmergencyTask.setProvidedQuality(
None, MpersMetrics.FALSE_NEGATIVE_PERCENTAGE, 30)
confirmEmergencyByCallTask.setProvidedQuality(
None, MpersMetrics.FALSE_NEGATIVE_PERCENTAGE, 5)
processDataFromSensorsTask.setProvidedQuality(
None, MpersMetrics.FALSE_NEGATIVE_PERCENTAGE, 15)
collectDataFromSensorsTask.setProvidedQuality(None, MpersMetrics.SECONDS,
120)
collectDataFromSensorsTask.setProvidedQuality(c3, MpersMetrics.SECONDS, 60)
persistDataToDatabaseTask.setProvidedQuality(None, MpersMetrics.SECONDS, 5)
identifySituationTask.setProvidedQuality(
None, MpersMetrics.FALSE_NEGATIVE_PERCENTAGE, 20)
notifyByMobileVibrationTask.setProvidedQuality(None, MpersMetrics.NOISE, 2)
notifyBySoundAlertTask.setProvidedQuality(None, MpersMetrics.NOISE, 9)
notifyByLightAlertTask.setProvidedQuality(None, MpersMetrics.NOISE, 0)
centralCallTask.setProvidedQuality(None, MpersMetrics.NOISE, 7)
sendInfoBySMSTask.setProvidedQuality(None, MpersMetrics.SECONDS, 65)
sendInfoBySMSTask.setProvidedQuality(c8, MpersMetrics.SECONDS, 45)
sendInfoByInternetTask.setProvidedQuality(None, MpersMetrics.SECONDS, 40)
considerLastKnownLocationTask.setProvidedQuality(
None, MpersMetrics.DISTANCE_ERROR, 900)
considerLastKnownLocationTask.setProvidedQuality(None,
MpersMetrics.SECONDS, 15)
identifyLocationByVoiceCallTask.setProvidedQuality(
None, MpersMetrics.DISTANCE_ERROR, 100)
identifyLocationByVoiceCallTask.setProvidedQuality(
c11, MpersMetrics.DISTANCE_ERROR, 300)
identifyLocationByVoiceCallTask.setProvidedQuality(None,
MpersMetrics.SECONDS,
45)
accessLocationFromTriangulationTask.setProvidedQuality(
None, MpersMetrics.DISTANCE_ERROR, 40)
accessLocationFromTriangulationTask.setProvidedQuality(
c11, MpersMetrics.DISTANCE_ERROR, 400)
accessLocationFromTriangulationTask.setProvidedQuality(
None, MpersMetrics.SECONDS, 30)
accessLocationFromGPSTask.setProvidedQuality(None,
MpersMetrics.DISTANCE_ERROR,
20)
accessLocationFromGPSTask.setProvidedQuality(c11,
MpersMetrics.DISTANCE_ERROR,
30)
accessLocationFromGPSTask.setProvidedQuality(None, MpersMetrics.SECONDS,
50)
accessDataFromDatabaseTask.setProvidedQuality(None, MpersMetrics.SECONDS,
20)
getInfoFromResponsibleTask.setProvidedQuality(None, MpersMetrics.SECONDS,
25)
getInfoFromResponsibleTask.setProvidedQuality(c11, MpersMetrics.SECONDS,
50)
ambulanceDispatchDelegationTask.setProvidedQuality(None,
MpersMetrics.SECONDS,
30)
rootGoal = Goal(Decomposition.AND, "rootGoal")
rootGoal = respondToEmergencyGoal
return rootGoal
def __init__(self):
# Goals
self.respondToEmergencyGoal = Pragmatic(Decomposition.AND,
"respondToEmergencyGoal")
self.emergencyIsDetectedGoal = Pragmatic(Decomposition.OR,
"emergencyIsDetectedGoal")
self.centralReceivesInfoGoal = Pragmatic(Decomposition.AND,
"centralReceivesInfoGoal")
self.locationIsIdentifiedGoal = Pragmatic(Decomposition.OR,
"locationIsIdentifiedGoal")
self.infoIsPreparedGoal = Pragmatic(Decomposition.OR,
"infoIsPreparedGoal")
self.isNotifiedAboutEmergencyGoal = Pragmatic(
Decomposition.OR, "isNotifiedAboutEmergencyGoal")
self.callForHelpIsAcceptedGoal = Goal(Decomposition.AND,
"callForHelpIsAcceptedGoal")
self.falseAlarmIsCheckedGoal = Goal(Decomposition.OR,
"falseAlarmIsCheckedGoal")
self.pIsContacted = Goal(Decomposition.AND, "pIsContacted")
self.receivesEmergencyButtonCallGoal = Goal(
Decomposition.OR, "receivesEmergencyButtonCallGoal")
self.situationsAreIdentifiedGoal = Goal(Decomposition.AND,
"situationsAreIdentifiedGoal")
self.vitalSignsAreMonitoredGoal = Goal(Decomposition.AND,
"vitalSignsAreMonitoredGoal")
self.infoIsSentToEmergencyGoal = Goal(Decomposition.OR,
"infoIsSentToEmergencyGoal")
self.setupAutomatedInfoGoal = Goal(Decomposition.AND,
"setupAutomatedInfoGoal")
self.situationDataIsRecoveredGoal = Goal(
Decomposition.AND, "situationDataIsRecoveredGoal")
self.contactResponsibleGoal = Goal(Decomposition.AND,
"contactResponsibleGoal")
self.medicalCareReachesGoal = Goal(Decomposition.AND,
"medicalCareReachesGoal")
self.ambulanceIsDispatchedToLocationGoal = Goal(
Decomposition.AND, "ambulanceIsDispatchedToLocationGoal")
def __init__(self):
self.tasks = MpersTasks()
self.goals = MpersGoals()
# Refinements
self.goals.respondToEmergencyGoal.addDependency(
self.goals.emergencyIsDetectedGoal)
self.goals.respondToEmergencyGoal.addDependency(
self.goals.isNotifiedAboutEmergencyGoal)
self.goals.respondToEmergencyGoal.addDependency(
self.goals.centralReceivesInfoGoal)
self.goals.respondToEmergencyGoal.addDependency(
self.goals.medicalCareReachesGoal)
self.goals.emergencyIsDetectedGoal.addDependency(
self.goals.callForHelpIsAcceptedGoal)
self.goals.emergencyIsDetectedGoal.addDependency(
self.goals.situationsAreIdentifiedGoal)
self.goals.callForHelpIsAcceptedGoal.addDependency(
self.goals.receivesEmergencyButtonCallGoal)
self.goals.callForHelpIsAcceptedGoal.addDependency(
self.goals.falseAlarmIsCheckedGoal)
self.goals.receivesEmergencyButtonCallGoal.addDependency(
self.tasks.notifyCentralBySMSTask)
self.goals.receivesEmergencyButtonCallGoal.addDependency(
self.tasks.notifyCentralByInternetTask)
self.goals.falseAlarmIsCheckedGoal.addDependency(
self.tasks.acceptEmergencyTask)
self.goals.falseAlarmIsCheckedGoal.addDependency(
self.goals.pIsContacted)
self.goals.pIsContacted.addDependency(
self.tasks.confirmEmergencyByCallTask)
self.goals.situationsAreIdentifiedGoal.addDependency(
self.tasks.processDataFromSensorsTask)
self.goals.situationsAreIdentifiedGoal.addDependency(
self.goals.vitalSignsAreMonitoredGoal)
self.goals.situationsAreIdentifiedGoal.addDependency(
self.tasks.identifySituationTask)
self.goals.vitalSignsAreMonitoredGoal.addDependency(
self.tasks.collectDataFromSensorsTask)
self.goals.vitalSignsAreMonitoredGoal.addDependency(
self.tasks.persistDataToDatabaseTask)
self.goals.isNotifiedAboutEmergencyGoal.addDependency(
self.tasks.notifyByLightAlertTask)
self.goals.isNotifiedAboutEmergencyGoal.addDependency(
self.tasks.notifyByMobileVibrationTask)
self.goals.isNotifiedAboutEmergencyGoal.addDependency(
self.tasks.notifyBySoundAlertTask)
self.goals.isNotifiedAboutEmergencyGoal.addDependency(
self.tasks.centralCallTask)
self.goals.centralReceivesInfoGoal.addDependency(
self.goals.infoIsSentToEmergencyGoal)
self.goals.centralReceivesInfoGoal.addDependency(
self.goals.infoIsPreparedGoal)
self.goals.infoIsSentToEmergencyGoal.addDependency(
self.tasks.sendInfoBySMSTask)
self.goals.infoIsSentToEmergencyGoal.addDependency(
self.tasks.sendInfoByInternetTask)
self.goals.infoIsPreparedGoal.addDependency(
self.goals.setupAutomatedInfoGoal)
self.goals.infoIsPreparedGoal.addDependency(
self.goals.contactResponsibleGoal)
self.goals.setupAutomatedInfoGoal.addDependency(
self.goals.locationIsIdentifiedGoal)
self.goals.setupAutomatedInfoGoal.addDependency(
self.goals.situationDataIsRecoveredGoal)
self.goals.locationIsIdentifiedGoal.addDependency(
self.tasks.accessLocationFromTriangulationTask)
self.goals.locationIsIdentifiedGoal.addDependency(
self.tasks.considerLastKnownLocationTask)
self.goals.locationIsIdentifiedGoal.addDependency(
self.tasks.identifyLocationByVoiceCallTask)
self.goals.locationIsIdentifiedGoal.addDependency(
self.tasks.accessLocationFromGPSTask)
self.goals.situationDataIsRecoveredGoal.addDependency(
self.tasks.accessDataFromDatabaseTask)
self.goals.contactResponsibleGoal.addDependency(
self.tasks.getInfoFromResponsibleTask)
self.goals.medicalCareReachesGoal.addDependency(
self.goals.ambulanceIsDispatchedToLocationGoal)
self.goals.ambulanceIsDispatchedToLocationGoal.addDependency(
self.tasks.ambulanceDispatchDelegationTask)
# Applicable Contexts
self.tasks.notifyCentralBySMSTask.addApplicableContext(
self.contexts.c2)
self.tasks.notifyCentralByInternetTask.addApplicableContext(
self.contexts.c3)
self.tasks.notifyCentralByInternetTask.addApplicableContext(
self.contexts.c4)
self.tasks.acceptEmergencyTask.addNonapplicableContext(
self.contexts.c2)
self.tasks.confirmEmergencyByCallTask.addApplicableContext(
self.contexts.c2)
self.tasks.notifyByMobileVibrationTask.addApplicableContext(
self.contexts.c1)
self.tasks.notifyBySoundAlertTask.addApplicableContext(
self.contexts.c6)
self.tasks.notifyByLightAlertTask.addApplicableContext(
self.contexts.c7)
self.tasks.centralCallTask.addApplicableContext(self.contexts.c8)
self.tasks.sendInfoBySMSTask.addApplicableContext(self.contexts.c2)
self.tasks.sendInfoByInternetTask.addApplicableContext(
self.contexts.c3)
self.tasks.sendInfoByInternetTask.addApplicableContext(
self.contexts.c4)
self.tasks.identifyLocationByVoiceCallTask.addApplicableContext(
self.contexts.c2)
self.tasks.accessLocationFromTriangulationTask.addApplicableContext(
self.contexts.c2)
self.tasks.accessLocationFromGPSTask.addApplicableContext(
self.contexts.c5)
# Goal Interpretation
qc1 = QualityConstraint(None, MpersMetrics.SECONDS, 180,
Comparison.LESS_OR_EQUAL_TO)
qc2 = QualityConstraint(self.contexts.c10, MpersMetrics.SECONDS, 90,
Comparison.LESS_OR_EQUAL_TO)
qc3 = QualityConstraint(self.contexts.c9, MpersMetrics.SECONDS, 240,
Comparison.LESS_OR_EQUAL_TO)
self.goals.respondToEmergencyGoal.interp.addQualityConstraint(qc1)
self.goals.respondToEmergencyGoal.interp.addQualityConstraint(qc2)
self.goals.respondToEmergencyGoal.interp.addQualityConstraint(qc3)
qc1 = QualityConstraint(None, MpersMetrics.FALSE_NEGATIVE_PERCENTAGE,
30, Comparison.LESS_OR_EQUAL_TO)
qc2 = QualityConstraint(self.contexts.c3,
MpersMetrics.FALSE_NEGATIVE_PERCENTAGE, 10,
Comparison.LESS_OR_EQUAL_TO)
qc3 = QualityConstraint(self.contexts.c9,
MpersMetrics.FALSE_NEGATIVE_PERCENTAGE, 5,
Comparison.LESS_OR_EQUAL_TO)
self.goals.emergencyIsDetectedGoal.interp.addQualityConstraint(qc1)
self.goals.emergencyIsDetectedGoal.interp.addQualityConstraint(qc2)
self.goals.emergencyIsDetectedGoal.interp.addQualityConstraint(qc3)
qc1 = QualityConstraint(None, MpersMetrics.SECONDS, 60,
Comparison.LESS_OR_EQUAL_TO)
self.goals.centralReceivesInfoGoal.interp.addQualityConstraint(qc1)
qc4 = QualityConstraint(None, MpersMetrics.DISTANCE_ERROR, 1000,
Comparison.LESS_OR_EQUAL_TO)
qc6 = QualityConstraint(self.contexts.c5, MpersMetrics.DISTANCE_ERROR,
20, Comparison.LESS_OR_EQUAL_TO)
qc5 = QualityConstraint(self.contexts.c10, MpersMetrics.DISTANCE_ERROR,
200, Comparison.LESS_OR_EQUAL_TO)
qc1 = QualityConstraint(None, MpersMetrics.SECONDS, 120,
Comparison.LESS_OR_EQUAL_TO)
qc3 = QualityConstraint(self.contexts.c9, MpersMetrics.SECONDS, 240,
Comparison.LESS_OR_EQUAL_TO)
qc2 = QualityConstraint(self.contexts.c10, MpersMetrics.SECONDS, 20,
Comparison.LESS_OR_EQUAL_TO)
self.goals.locationIsIdentifiedGoal.interp.addQualityConstraint(qc1)
self.goals.locationIsIdentifiedGoal.interp.addQualityConstraint(qc2)
self.goals.locationIsIdentifiedGoal.interp.addQualityConstraint(qc3)
self.goals.locationIsIdentifiedGoal.interp.addQualityConstraint(qc4)
self.goals.locationIsIdentifiedGoal.interp.addQualityConstraint(qc5)
self.goals.locationIsIdentifiedGoal.interp.addQualityConstraint(qc6)
qc1 = QualityConstraint(None, MpersMetrics.SECONDS, 45,
Comparison.LESS_OR_EQUAL_TO)
qc2 = QualityConstraint(self.contexts.c10, MpersMetrics.SECONDS, 30,
Comparison.LESS_OR_EQUAL_TO)
self.goals.infoIsPreparedGoal.interp.addQualityConstraint(qc1)
self.goals.infoIsPreparedGoal.interp.addQualityConstraint(qc2)
qc1 = QualityConstraint(None, MpersMetrics.NOISE, 10,
Comparison.LESS_OR_EQUAL_TO)
qc2 = QualityConstraint(self.contexts.c1, MpersMetrics.NOISE, 3,
Comparison.LESS_OR_EQUAL_TO)
self.goals.isNotifiedAboutEmergencyGoal.interp.addQualityConstraint(
qc1)
self.goals.isNotifiedAboutEmergencyGoal.interp.addQualityConstraint(
qc2)
# Provided Task QoS
self.tasks.notifyCentralBySMSTask.setProvidedQuality(
None, MpersMetrics.FALSE_NEGATIVE_PERCENTAGE, 10)
self.tasks.notifyCentralByInternetTask.setProvidedQuality(
None, MpersMetrics.FALSE_NEGATIVE_PERCENTAGE, 5)
self.tasks.acceptEmergencyTask.setProvidedQuality(
None, MpersMetrics.FALSE_NEGATIVE_PERCENTAGE, 30)
self.tasks.confirmEmergencyByCallTask.setProvidedQuality(
None, MpersMetrics.FALSE_NEGATIVE_PERCENTAGE, 5)
self.tasks.processDataFromSensorsTask.setProvidedQuality(
None, MpersMetrics.FALSE_NEGATIVE_PERCENTAGE, 15)
self.tasks.collectDataFromSensorsTask.setProvidedQuality(
None, MpersMetrics.SECONDS, 120)
self.tasks.collectDataFromSensorsTask.setProvidedQuality(
self.contexts.c3, MpersMetrics.SECONDS, 60)
self.tasks.persistDataToDatabaseTask.setProvidedQuality(
None, MpersMetrics.SECONDS, 5)
self.tasks.identifySituationTask.setProvidedQuality(
None, MpersMetrics.FALSE_NEGATIVE_PERCENTAGE, 20)
self.tasks.notifyByMobileVibrationTask.setProvidedQuality(
None, MpersMetrics.NOISE, 2)
self.tasks.notifyBySoundAlertTask.setProvidedQuality(
None, MpersMetrics.NOISE, 9)
self.tasks.notifyByLightAlertTask.setProvidedQuality(
None, MpersMetrics.NOISE, 0)
self.tasks.centralCallTask.setProvidedQuality(None, MpersMetrics.NOISE,
7)
self.tasks.sendInfoBySMSTask.setProvidedQuality(
None, MpersMetrics.SECONDS, 65)
self.tasks.sendInfoBySMSTask.setProvidedQuality(
self.contexts.c8, MpersMetrics.SECONDS, 45)
self.tasks.sendInfoByInternetTask.setProvidedQuality(
None, MpersMetrics.SECONDS, 40)
self.tasks.considerLastKnownLocationTask.setProvidedQuality(
None, MpersMetrics.DISTANCE_ERROR, 900)
self.tasks.considerLastKnownLocationTask.setProvidedQuality(
None, MpersMetrics.SECONDS, 15)
self.tasks.identifyLocationByVoiceCallTask.setProvidedQuality(
None, MpersMetrics.DISTANCE_ERROR, 100)
self.tasks.identifyLocationByVoiceCallTask.setProvidedQuality(
self.contexts.c11, MpersMetrics.DISTANCE_ERROR, 300)
self.tasks.identifyLocationByVoiceCallTask.setProvidedQuality(
None, MpersMetrics.SECONDS, 45)
self.tasks.accessLocationFromTriangulationTask.setProvidedQuality(
None, MpersMetrics.DISTANCE_ERROR, 40)
self.tasks.accessLocationFromTriangulationTask.setProvidedQuality(
self.contexts.c11, MpersMetrics.DISTANCE_ERROR, 400)
self.tasks.accessLocationFromTriangulationTask.setProvidedQuality(
None, MpersMetrics.SECONDS, 30)
self.tasks.accessLocationFromGPSTask.setProvidedQuality(
None, MpersMetrics.DISTANCE_ERROR, 20)
self.tasks.accessLocationFromGPSTask.setProvidedQuality(
self.contexts.c11, MpersMetrics.DISTANCE_ERROR, 30)
self.tasks.accessLocationFromGPSTask.setProvidedQuality(
None, MpersMetrics.SECONDS, 50)
self.tasks.accessDataFromDatabaseTask.setProvidedQuality(
None, MpersMetrics.SECONDS, 20)
self.tasks.getInfoFromResponsibleTask.setProvidedQuality(
None, MpersMetrics.SECONDS, 25)
self.tasks.getInfoFromResponsibleTask.setProvidedQuality(
self.contexts.c11, MpersMetrics.SECONDS, 50)
self.tasks.ambulanceDispatchDelegationTask.setProvidedQuality(
None, MpersMetrics.SECONDS, 30)
self.rootGoal = Goal(Decomposition.AND, "rootGoal")
self.rootGoal = self.goals.respondToEmergencyGoal