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…