context-oriented programming …pages.di.unipi.it › throughthefog › wp-content › uploads ›...
TRANSCRIPT
1
CONTEXT-ORIENTEDPROGRAMMINGABSTRACTIONSFORFOGC.BODEI,P.DEGANO,G.FERRARI,L.GALLETTA
2
ML-CODA:AContext-OrientedProgrammingLanguage
FUNCTIONALLANGUAGE
ML
(KERNEL)
CONTEXT
DATALOGKNOWLEDGE
BASE
ML-CODA
BODEI,CANCIANI,DEGANO,GALLETTA,SALVATORI,FERRARI
3
CONTEXT
ML
(KERNEL)
ABSTRACTIONLAYERVIRTUALIZATIONOFTHE
OPERATIONALENVIRONMENT
PHYSICALENV:POSITION
CONNECTIVITY:
APPPREFSPROFILES
:ML-CODA
4
ContextDependentBinding
dlet txt=
getTxt ()when only_speech()
in …
(* txt is a parameter: its value depend on the current context *)
CONTEXT
ML-CODA
5
BehaviouralVariaEons
fun getData()=let url = (_){<-direct_com(). let c = getChan() in receiveData c,<- use_qrcode(),camera(on). let p = take_picture() in decode_qr p }in getRemoteData:
CONTEXT
ML-CODA
6
BehavioralVariaEons
fun getData()=let url = (_){<-direct_com(). let c = getChan() in receiveData c,<- use_qrcode(),camera(on). let p = take_picture() in decode_qr p }in getRemoteData:
CONTEXT
Adap@vity:appcanmodifyitsbehaviouraccordingtochangesinitscontextML-CODA
7
ML-CODA
StaEcMachinery(DFG@IEEE-TSE)o verifythatdispatchingmechanismalwayssucceed
SecurityAnalysis(DBGS@JCS)o detectpotenEalunsafemodicaEons PrototypeImplementaEon(CDFG@FOCLASA)o ContextOrientedExtensionofF#
8
OURF(r)OGGOAL:PROGRAMMINGABSTRACTIONS
inaContext-Awarefashion
9
ProgrammingModel
• HowcanweeasilydevelopapplicaEonsonthefogcompuEnginfrastructure?• Mirko’stalkforfurthermoEvaEons
• Needarightprogrammingmodelthat• Providessuitableprogrammingabstrac@ons• Ensuresdynamicadapta@on• Supportcontext-awareorchestra@ons• Supportshierarchicalresources• Enforcecontext-awaresecurityproper@es• Supportverifica@on
10
OurF(r)ROGgoals:byexamples
11
<Type,Speed,otherinfo>
12
13
CONTEXT
TOPOLOGYOFSTLsLOCALSERVICESHIERARCHYINFO
14
CONTEXT
TOPOLOGYOFSTLsLOCALSERVICESHIERARCHYINFO
COMPUTING&ORCHESTRATION
PUT_DATA()
LOCAL&NONLOCAL
15
CONTEXT
TOPOLOGYOFSTLsLOCALSERVICESHIERARCHYINFO
COMPUTING&ORCHESTRATION
ORCHESTRATE(param)
Slow-downwarning
16
CONTEXT
TOPOLOGYOFSTLsLOCALSERVICESHIERARCHYINFO
COMPUTING&ORCHESTRATION
ORCHESTRATE()Slow-downwarning
ORCHESTRATION=LIGHTHOUSE
17
CONTEXT
TOPOLOGYOFSTLsLOCALSERVICESHIERARCHYINFO
COMPUTING&ORCHESTRATION
ORCHESTRATE()Slow-downwarning
DYNAMICORCHESTRATION=CONTEXTDEPENDENTADAPTATION
18
CONTEXT
LOCALSERVICESHIERARCHYINFO
POLICIES
COMPUTING&ORCHESTRATION
ACTIVATE_SERVICE()
19
ARCHITECTURALSTYLE
APPCXT
APPCXT
APPCXT
20
Context-awareness:adaptaEon
Adapta@onstep
APPCXT
APPCXT
APPCXT
21
Context-awareness:CoordinaEngParallelism
APPCXT
APPCXT
APPCXT
22
WEARESTILLLOSTINTHEFOG…