Thiago Viana, Andrea Zisman and Arosha Bandara · 2018. 9. 6. · Considering the example: 1....
19
Open Research Online The Open University’s repository of research publications and other research outputs Managing Conflicting Resource-based Requirements in Systems of Systems Conference or Workshop Item How to cite: Viana, Thiago; Zisman, Andrea and Bandara, Arosha (2017). Managing Conflicting Resource-based Requirements in Systems of Systems. In: 6th Asian Workshop of Advanced Software Engineering (AWASE2017), 4-8 May 2017, Chongqing, China. For guidance on citations see FAQs . c [not recorded] Version: Version of Record Copyright and Moral Rights for the articles on this site are retained by the individual authors and/or other copyright owners. For more information on Open Research Online’s data policy on reuse of materials please consult the policies page. oro.open.ac.uk
Transcript of Thiago Viana, Andrea Zisman and Arosha Bandara · 2018. 9. 6. · Considering the example: 1....
Open Research OnlineThe Open University’s repository of research publicationsand other research outputs
Managing Conflicting Resource-based Requirements inSystems of SystemsConference or Workshop Item
How to cite:
Viana, Thiago; Zisman, Andrea and Bandara, Arosha (2017). Managing Conflicting Resource-based Requirementsin Systems of Systems. In: 6th Asian Workshop of Advanced Software Engineering (AWASE2017), 4-8 May 2017,Chongqing, China.
For guidance on citations see FAQs.
c© [not recorded]
Version: Version of Record
Copyright and Moral Rights for the articles on this site are retained by the individual authors and/or other copyrightowners. For more information on Open Research Online’s data policy on reuse of materials please consult the policiespage.
oro.open.ac.uk
ThiagoViana,AndreaZismanandAroshaBandara
FacultyofScience,Technology,EngineeringandMathema8cs
SchoolofCompu:ng&Communica:onsAdap:veSecurityandPrivacy(ASAP)researchprogramme
AWASE-2017
AWASE-2017
SystemofSystems
AnalyseMe HomeHub
AWASE-2017
CreateFamilyMeals
ImproveFamilyBudget
AvoidFoodWaste
• Conflic/ng requirements - a commonproblempresentinalltypesofsystems.
• Conflicts will arise within each componentsystemandalsoacrosstheSoSasawholeduetounexpectedinterac:ons.
AWASE-2017
• Resources– Calories;– Insulin;– Food;– Electricity;– Budget.
• FocusonRequirementsSa/sfac/on– Relaxingrequirementstomanageconflicts.
AWASE-2017
• AM_R5-AnalyseMeSHALLsuggesta<mealplan>with<totalcalories>ASCLOSEASPOSSIBLETO<idealcalorieslevel>AND<totalinsulin>ASCLOSEASPOSSIBLETO<idealinsulin>.
• HH_R2-HomeHubSHALL<preventfoodconsump:on>ASEARLYASPOSSIBLEAFTER<foodresource>isASCLOSEASPOSSIBLETO<20%>ofthe<totalhomefoodresource>.
AWASE-2017
ConflictDiagnosis
ConflictResolu:on
SoS-1
CS-1CSs Req-1CS
Req.
Ontology
ConflictManager
Req-NOntology CS-N
Knowledge
SoS-1Req.
OverlapDetec:on
ConflictReq.Map
ConflictIden:fica:on
StC
SoS-N
CS-1CSs Req-1CS
Req.
Ontology
SoS-1Req. StC
StCReq-NOntology CS-1
StC
Asser:onsMonitor
BasicSearch
InferenceSearch
Conflic:ngRequirements
Mapping
Viola:ondetectedintheRequirementReregardingtheResourceR
OverlapDetec:on
ConflictIden/fica/on
Asser:onsEngineSearch
BehaviorInferenceEngine
Search
ConflictDiagnosis
RequirementsInterac:onFeatures
(Basis,Degree,Direc:on,Likelihood)
Probes
ENTITIES(CSs,Webservices,SoSs)
ConflictResolu/on
U:lityFunc:on
Resolu:onMethodListAWASE-2017
• HH_R2-HomeHubSHALL<preventfoodconsump:on>ASEARLYASPOSSIBLEAFTER<foodresource>isASCLOSEASPOSSIBLETO<20%>ofthe<totalhomefoodresource>.
• RELAXGrammarExpression:
– SHALL(ASEARLYASPOSSIBLEAFTERqp)• qis(ASCLOSEASPOSSIBLETOab)
– ais20%x<totalhomefoodresource>– bis<foodresource>
• pis<preventfoodconsump:on>• FormalFBTLexpression:
– AGX>qp– q=AF(Δ(b)–a∈S)
AWASE-2017
• Asser/onsEngineSearch• Theasser:onsrelatedtothesameresourcehave
overlappingelements,theymightbe:• Complementary(Disjoint),MutuallyExclusive,Subset,Coopera:ve,OppositeandIrrelevant;
• BehaviorInferenceSearch• InferencesoverthestatechartandtheRELAXrequirement
usingontologymatchingfunc:ons.
AWASE-2017
• Therequirementrelatedtotheviolatedasser:on;– HH_R2
• Asanexample,considerrequirementHH_R2withtheactualvaluefor<foodresource>as16andthat20%of<totalhomefoodresource>is20.
• Therequirementsrelatedwiththeoverlappedasser:ons;– AM_R5;
• Inferencesearch:– AnalyseMe<mealplan>containselementsthatindicatestheconsump:onof<foodresource>.
AWASE-2017
AWASE-2017
• Basisfeatureisthefoodresource,theHomeHubandtheAnalyseMesystemandthelistoftheiden:fiedconflic:ngrequirements;• Degreefeaturerepresentstherequirementsa:sfac:onlevel– Foodresourceshouldbe>=20,howeveritis16.
• Direc*onfeatureisposi:ve(thefoodresourceusageishigherthantheexpected);• Likelihoodfeatureisbasedonhistoricaldataofpastconflictresolu:onassociatedwiththeinvolvedrequirements.
Resolu/onMethodList(Robinsonetal.,2003)
Relaxa:on
Refinement
Abandonment
Compromise
Postponement
Restructuring
Reenforcement
Replanning
HelpingHand
Sacrifice
ConfigurableU/lityFunc/onconsidering:- GlobalXLocal
- Priori:es- RequirementSa:sfac:onDegree- ResourceUsage
- Individualand/orOverall
AWASE-2017
Consideringtheexample:1.Relaxa/onoverthefoodresourcelimitlevelfrom20%to15%;2.Replanningusinganalterna:vegoalofAnalyseMeandgenerateaMealPlantoconsumelessfromfoodresource;3.HelpingHandusingasmartcitylevelcomponentandinvokingashoppinglistfromasupermarkettoincreasethefoodlevel;
AWASE-2017
Resolu/onMethodList(Robinsonetal.,2003)
Relaxa:on
Refinement
Abandonment
Compromise
Postponement
Restructuring
Reenforcement
Replanning
HelpingHand
Sacrifice
• Exploring the effect of different conflictresolu:on methods on the u:liza:on of theresourcesmanagedbytheSoS.– TwoSimulatedScenariosofFmFm;– Useof3Resolu:onMethods:
• Abandonment;• Relaxa:on;• Refinement.
02468101214161820
1 2 3 4 5 6 7 8 9 10 11
ENERGY
CALORIES
INSULIN
BUDGET
02468101214161820
1 2 3 4 5 6 7 8 9 10 11
ENERGY
CALORIES
INSULIN
BUDGET
02468101214161820
1 2 3 4 5 6 7 8 9 10 11
ENERGY
CALORIES
INSULIN
BUDGET
Abandonment Refinement
Relaxa:on
• Inves:gate and implement the diagnosis andresolu:on steps (e.g.: expand the u:lityfunc:on);
• Fullimplementa:onoftheframework;• Evalua:on of the framework using realis:cdomains/casestudies;
AWASE-2017
ThiagoViana,AndreaZismanandAroshaBandara
FacultyofScience,Technology,EngineeringandMathema8cs
SchoolofCompu:ng&Communica:onsAdap:veSecurityandPrivacy(ASAP)researchprogramme
AWASE-2017
