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