Introducing
Prezi AI.
Your new presentation assistant.
Refine, enhance, and tailor your content, source relevant images, and edit visuals quicker than ever before.
Trending searches
Loading…
Enforcing Architectural Styles in Presence of Unexpected Distributed Reconfigurations
236
Transcript
Design Productions
Enforcing Architectural Styles in Presence of Unexpected Distributed Reconfigurations
Kyriakos Poyias, Emilio Tuosto
Department of Computer Science, University of Leicester
Ingredients
(ADR)
(DbC)
Design by Contract
Weakest
Pre-condition Algorithm
Architectural Design Rewriting
Terminal Edge
Type Graph
Non-Terminal Edge
Node
Production Type
Fresh node
{Pre}
{Post}
ADR
Production
Run-time Reconfigurations
migrate: findFlights(ff, browseFlights(bookFlight(f, p), fls)) ---> findFlights(ff, browseFlights(fls, bookFlight(f, p)))
For every edge of type D there exists another edge of type D' attached to it
Asserted
ADR
Production
G
k
k-2
k-1
0
r
k-2
1
r
k-1
S
k-2
k-1
k
0
r
k
Thank You
Choose a template
Presentations from around the world
Learn more about creating dynamic, engaging presentations with Prezi