On the Need for Extended Transactional Models@Run.Time - PowerPoint PPT Presentation


 On ¡the ¡Need ¡for ¡Extended 
 Transactional ¡Models@Run.Time Presented ¡at ¡MRT ¡2015, ¡Ottawa, ¡Canada 
 Mahdi ¡Derakhshanmanesh 1 , ¡Marvin ¡Grieger 2 ¡and ¡Jürgen ¡Ebert 1 
 {manesh, ¡ebert}@uni-­‑koblenz.de 1 
 marvin.grieger@uni-­‑paderborn.de 2

Agenda Introduction Example ¡Issues Desired ¡Features Conclusions ¡and ¡Future ¡Work 2 Monday, ¡September ¡28th, ¡2015

Presentation ¡of ¡the ¡motivation ¡behind ¡this ¡research. INTRODUCTION 3 Monday, ¡September ¡28th, ¡2015

Background: ¡MRT ¡& ¡SAS Models ¡ can ¡be ¡also ¡used ¡ at ¡runtime ¡(MRT) ¡ to ¡realize ¡ adaptive ¡software. OpenJSIP (1) ¡GRAF ¡Project [Amoui2012ADA] DAC-­‑PL JAKE2 ISA (2) ¡MoSAiC ¡Project [Derakhshanmanesh2015MSC] 4 Monday, ¡September ¡28th, ¡2015

Background: ¡MRT ¡& ¡SAS Models ¡ can ¡be ¡also ¡used ¡ at ¡runtime ¡(MRT) ¡ to ¡realize ¡ adaptive ¡software. OpenJSIP (1) ¡GRAF ¡Project [Amoui2012ADA] DAC-­‑PL JAKE2 ISA (2) ¡MoSAiC ¡Project [Derakhshanmanesh2015MSC] 4 Monday, ¡September ¡28th, ¡2015

OpenJSIP Call Call Callee Caller OpenJSIP ¡ Server 5 Monday, ¡September ¡28th, ¡2015

OpenJSIP Call Call Callee Caller OpenJSIP ¡ Server 5 Monday, ¡September ¡28th, ¡2015

Adaptive ¡OpenJSIP 6 Monday, ¡September ¡28th, ¡2015

Adaptive ¡OpenJSIP Adaptation ¡ Manager Models ¡at ¡ Runtime Adaptable ¡ Software 7 Monday, ¡September ¡28th, ¡2015

Adaptive ¡OpenJSIP Adaptation ¡ Manager Models ¡at ¡ Runtime Adaptable ¡ Adaptable ¡ OpenJSIP Software 7 Monday, ¡September ¡28th, ¡2015

Adaptive ¡OpenJSIP Adaptation ¡ Manager Models ¡at ¡ Load ¡ Runtime Information Adaptable ¡ Adaptable ¡ OpenJSIP Software 7 Monday, ¡September ¡28th, ¡2015

Adaptive ¡OpenJSIP Adaptation ¡ Manager Models ¡at ¡ Reject ¡Call ¡ Load ¡ Accept ¡Call ¡ Runtime Behaviour Information Behaviour Adaptable ¡ Adaptable ¡ OpenJSIP Software 7 Monday, ¡September ¡28th, ¡2015

Adaptive ¡OpenJSIP Adaptation ¡ Manager Accept ¡Call ¡ Reject ¡Call ¡ Adaptation ¡Rule Adaptation ¡Rule Models ¡at ¡ Reject ¡Call ¡ Load ¡ Accept ¡Call ¡ Runtime Behaviour Information Behaviour Adaptable ¡ Adaptable ¡ OpenJSIP Software 7 Monday, ¡September ¡28th, ¡2015

Adaptive ¡OpenJSIP Adaptation ¡ Manager Accept ¡Call ¡ Reject ¡Call ¡ Rule ¡Engine Adaptation ¡Rule Adaptation ¡Rule Models ¡at ¡ Reject ¡Call ¡ Load ¡ Accept ¡Call ¡ Runtime Behaviour Information Behaviour Adaptable ¡ Adaptable ¡ OpenJSIP Software 7 Monday, ¡September ¡28th, ¡2015

Adaptive ¡OpenJSIP Adaptation ¡ Manager Accept ¡Call ¡ Reject ¡Call ¡ Rule ¡Engine Adaptation ¡Rule Adaptation ¡Rule Various ¡issues ¡can ¡arise ¡as ¡ Models ¡at ¡ Reject ¡Call ¡ Load ¡ Accept ¡Call ¡ the ¡model ¡is 
 Runtime Behaviour Information Behaviour accessed ¡concurrently! Adaptable ¡ Adaptable ¡ OpenJSIP Software 7 Monday, ¡September ¡28th, ¡2015

Motivation: ¡Extended ¡Transactions Execution ¡frameworks ¡(middleware) ¡must ¡ ensure ¡properties ¡ that ¡guarantee ¡a ¡ flawless ¡execution . ¡ A ¡ transaction ¡approach ¡ assumes ¡that ¡closed ¡execution ¡ sequences ¡can ¡be ¡identified ¡(BOT, ¡…, ¡EOT) ¡such ¡that ¡required ¡ properties ¡can ¡be ¡guaranteed . ¡ ▪ Database ¡transactions ¡(ACID ¡properties) ¡ Further ¡MRT-­‑issues ¡stem ¡from ¡the ¡MAPE-­‑loop, ¡so ¡we ¡talk ¡ about ¡ extended ¡transactions ¡ or ¡ transactions ¡i.t.b.s . 8 Monday, ¡September ¡28th, ¡2015


 Research ¡Problems ¡and ¡Contributions A ¡ standardized ¡solution ¡ for ¡handling ¡models ¡at ¡runtime ¡is ¡ needed ¡that ¡guides ¡application ¡development. ¡ (1) What ¡are ¡transaction-­‑related ¡issues ¡to ¡be ¡aware ¡of ¡when ¡ using ¡models ¡at ¡runtime ¡(e.g., ¡to ¡build ¡SAS)? ¡ (2) What ¡are ¡the ¡specific ¡needs ¡for ¡a ¡transaction ¡concept ¡for ¡ models ¡at ¡runtime ¡in ¡the ¡broader ¡sense? ¡ We ¡(i) ¡describe ¡ concrete ¡examples ¡ for ¡common ¡transaction-­‑ related ¡issues ¡with ¡models ¡at ¡runtime ¡from ¡the ¡context ¡of ¡GRAF ¡ and ¡(ii) ¡elicit ¡ desired ¡features ¡ of ¡a ¡transaction ¡concept ¡specific ¡ to ¡models@run.time. 9 Monday, ¡September ¡28th, ¡2015

(Q1) ¡What ¡are ¡transaction-­‑related ¡issues ¡to ¡be ¡aware ¡of ¡when ¡using ¡ models ¡at ¡runtime ¡(e.g., ¡to ¡build ¡SAS)? EXAMPLE ¡ISSUES 10 Monday, ¡September ¡28th, ¡2015

Issues ¡-­‑ ¡Overview Adaptation-­‑ Unrepeatable ¡ Overeager ¡ Outdated ¡ Missed ¡ Specific ¡Issues Adaptation Adaptation Adaptation Adaptation MRT-­‑Specific ¡ Lost ¡Model ¡ Dirty ¡Model ¡ Unrepeatable ¡ Conflicting ¡ Issues Update Read Model ¡Read Model ¡Update 11 Monday, ¡September ¡28th, ¡2015

Issues ¡-­‑ ¡Overview Adaptation-­‑ Unrepeatable ¡ Overeager ¡ Outdated ¡ Missed ¡ Specific ¡Issues Adaptation Adaptation Adaptation Adaptation MRT-­‑Specific ¡ Lost ¡Model ¡ Dirty ¡Model ¡ Unrepeatable ¡ Conflicting ¡ Issues Update Read Model ¡Read Model ¡Update 11 Monday, ¡September ¡28th, ¡2015

Unrepeatable ¡Adaptation Problem: ¡ The ¡model, ¡based ¡on ¡which ¡the ¡adaptation ¡is ¡triggered, ¡changes ¡during ¡the ¡adaptation. 12 Monday, ¡September ¡28th, ¡2015

Unrepeatable ¡Adaptation Problem: ¡ The ¡model, ¡based ¡on ¡which ¡the ¡adaptation ¡is ¡triggered, ¡changes ¡during ¡the ¡adaptation. Example: 1 12 Monday, ¡September ¡28th, ¡2015

Unrepeatable ¡Adaptation Problem: ¡ The ¡model, ¡based ¡on ¡which ¡the ¡adaptation ¡is ¡triggered, ¡changes ¡during ¡the ¡adaptation. Example: 1 12 Monday, ¡September ¡28th, ¡2015

Unrepeatable ¡Adaptation Problem: ¡ The ¡model, ¡based ¡on ¡which ¡the ¡adaptation ¡is ¡triggered, ¡changes ¡during ¡the ¡adaptation. Example: 1 2 12 Monday, ¡September ¡28th, ¡2015

Unrepeatable ¡Adaptation Problem: ¡ The ¡model, ¡based ¡on ¡which ¡the ¡adaptation ¡is ¡triggered, ¡changes ¡during ¡the ¡adaptation. Example: 1 2 12 Monday, ¡September ¡28th, ¡2015

Unrepeatable ¡Adaptation Problem: ¡ The ¡model, ¡based ¡on ¡which ¡the ¡adaptation ¡is ¡triggered, ¡changes ¡during ¡the ¡adaptation. Example: 1 2 3 12 Monday, ¡September ¡28th, ¡2015

Unrepeatable ¡Adaptation Problem: ¡ The ¡model, ¡based ¡on ¡which ¡the ¡adaptation ¡is ¡triggered, ¡changes ¡during ¡the ¡adaptation. Example: 1 2 3 12 Monday, ¡September ¡28th, ¡2015

Unrepeatable ¡Adaptation Problem: ¡ The ¡model, ¡based ¡on ¡which ¡the ¡adaptation ¡is ¡triggered, ¡changes ¡during ¡the ¡adaptation. Example: 1 2 3 4 12 Monday, ¡September ¡28th, ¡2015

Unrepeatable ¡Adaptation Problem: ¡ The ¡model, ¡based ¡on ¡which ¡the ¡adaptation ¡is ¡triggered, ¡changes ¡during ¡the ¡adaptation. Example: 1 2 3 4 12 Monday, ¡September ¡28th, ¡2015

Unrepeatable ¡Adaptation Problem: ¡ The ¡model, ¡based ¡on ¡which ¡the ¡adaptation ¡is ¡triggered, ¡changes ¡during ¡the ¡adaptation. Example: 1 2 3 4 Solution ¡Idea ¡ Atomic ¡rule ¡execution 12 Monday, ¡September ¡28th, ¡2015

Overeager ¡Adaptation Problem: ¡ The ¡adaptation ¡might ¡rarely ¡or ¡never ¡occur. Example: 1 2 3 4.a 13 Monday, ¡September ¡28th, ¡2015

Overeager ¡Adaptation Problem: ¡ The ¡adaptation ¡might ¡rarely ¡or ¡never ¡occur. Example: 1 2 3 4.a 13 Monday, ¡September ¡28th, ¡2015

Overeager ¡Adaptation Problem: ¡ The ¡adaptation ¡might ¡rarely ¡or ¡never ¡occur. Example: 1 2 3 4.a Solution ¡Idea ¡ Define ¡tolerable ¡derivations ¡ in ¡sensed ¡changes 13 Monday, ¡September ¡28th, ¡2015

Outdated ¡Adaptation Problem: ¡ The ¡adaptation ¡is ¡performed ¡based ¡on ¡outdated ¡information. Example: 1 2 3 4.b 14 Monday, ¡September ¡28th, ¡2015