Self-adaptive Cloud Infrastructures with

Bidirectional ProgrammingLionel Montrieux

National Institute of Informatics, Tokyo <lionel@nii.ac.jp>

Bidirectional Transformations

get :: Source -> View

S

S’

V

V’

get

put

put :: Source -> View -> Source

[cloud diagram from MS]

Web Application

Security GroupSecurity GroupSecurity Group

Web

EBS volume

Load Balancer

Web

EBS volume

DB

EBS volume

DB

EBS volume Cron

EBS volumeUsers

MAPE-K

Target

M

A P

E

K

adaptive layereffectorsmonitors

Architecture

K

Model (S)

Autoscaling (V) Redundancy (V)Firewall (V)

BX1 BX2 BX3

RedundancyAutoscaling Firewall

JSON JSON JSON

AWS CloudAmazonCloudWatch

M

M E

A,P A,P A,P

Conflicts

redundancy > autoscaling

or

maxcycles 5

Model Changes

Model Changes

VM1 (R) VM2 (R) VM3 (R) VM4 (T)

VM1 (R) VM2 (R) VM3 (R)

VM1 (R) VM2 (R) VM3 (R) VM4 (T)

VM1 (R) VM2 (R) VM3 (T)

VM1 (R) VM2 (R) VM3 (T) VM4 (T)

VM1 (R) VM2 (R) VM3 (T)

VM1 (R) VM2 (R) VM3 (R) VM4 (T) term { VM3 (R) }

VM1 (R) VM2 (R) VM3 (T)

VM1 (R) VM2 (R) VM3 (R) VM4 (T) start { VM4 (R) }

VM1 (R) VM2 (R) VM3 (R) VM4 (R)

Execution

Ansible- ec2: key_name: mykey instance_type: t2.micro image: ami-123456 wait: yes group: webserver count: 3 vpc_subnet_id: subnet-29e63245 assign_public_ip: yes

Demo!

Thank you.

Picture Credits

• Separation of Responsibilities diagram, Microsoft TechNet blog, https://goo.gl/p45fRJ

• Sumo by Lionel Montrieux, CC by-nc 2.0

• Change? by Arthur John Picton, CC by-nc 2.0, https://goo.gl/wn1kTG