Engineering Computational Ecosystems
-
Upload
danilo-pianini -
Category
Documents
-
view
120 -
download
0
description
Transcript of Engineering Computational Ecosystems
![Page 1: Engineering Computational Ecosystems](https://reader033.fdocuments.in/reader033/viewer/2022061223/54c671a34a7959e37d8b45da/html5/thumbnails/1.jpg)
Engineering computational ecosystems
Ing. Dott. Danilo [email protected]
Alma Mater Studiorum—Universita di Bologna a Cesena
Vieni via con noi - Cesena 2012
Danilo Pianini (UniBo / DISI) Computational ecosystems November 6, 2012 1 / 34
![Page 2: Engineering Computational Ecosystems](https://reader033.fdocuments.in/reader033/viewer/2022061223/54c671a34a7959e37d8b45da/html5/thumbnails/2.jpg)
(Near) Future city scenario
Danilo Pianini (UniBo / DISI) Computational ecosystems November 6, 2012 2 / 34
![Page 3: Engineering Computational Ecosystems](https://reader033.fdocuments.in/reader033/viewer/2022061223/54c671a34a7959e37d8b45da/html5/thumbnails/3.jpg)
(Near) Future city scenario
Danilo Pianini (UniBo / DISI) Computational ecosystems November 6, 2012 3 / 34
![Page 4: Engineering Computational Ecosystems](https://reader033.fdocuments.in/reader033/viewer/2022061223/54c671a34a7959e37d8b45da/html5/thumbnails/4.jpg)
(Near) Future city scenario
Danilo Pianini (UniBo / DISI) Computational ecosystems November 6, 2012 4 / 34
![Page 5: Engineering Computational Ecosystems](https://reader033.fdocuments.in/reader033/viewer/2022061223/54c671a34a7959e37d8b45da/html5/thumbnails/5.jpg)
(Near) Future city scenario
Danilo Pianini (UniBo / DISI) Computational ecosystems November 6, 2012 5 / 34
![Page 6: Engineering Computational Ecosystems](https://reader033.fdocuments.in/reader033/viewer/2022061223/54c671a34a7959e37d8b45da/html5/thumbnails/6.jpg)
Pervasive Devices
Image courtesy of Alois Ferscha (Pervasive Computing Group, Johannes Kepler Universitat Linz)
Danilo Pianini (UniBo / DISI) Computational ecosystems November 6, 2012 6 / 34
![Page 7: Engineering Computational Ecosystems](https://reader033.fdocuments.in/reader033/viewer/2022061223/54c671a34a7959e37d8b45da/html5/thumbnails/7.jpg)
Pervasive Devices
Image courtesy of Alois Ferscha (Pervasive Computing Group, Johannes Kepler Universitat Linz)
Danilo Pianini (UniBo / DISI) Computational ecosystems November 6, 2012 7 / 34
![Page 8: Engineering Computational Ecosystems](https://reader033.fdocuments.in/reader033/viewer/2022061223/54c671a34a7959e37d8b45da/html5/thumbnails/8.jpg)
Pervasive Devices
Image courtesy of Alois Ferscha (Pervasive Computing Group, Johannes Kepler Universitat Linz)
Danilo Pianini (UniBo / DISI) Computational ecosystems November 6, 2012 8 / 34
![Page 9: Engineering Computational Ecosystems](https://reader033.fdocuments.in/reader033/viewer/2022061223/54c671a34a7959e37d8b45da/html5/thumbnails/9.jpg)
Pervasive Devices
Danilo Pianini (UniBo / DISI) Computational ecosystems November 6, 2012 9 / 34
![Page 10: Engineering Computational Ecosystems](https://reader033.fdocuments.in/reader033/viewer/2022061223/54c671a34a7959e37d8b45da/html5/thumbnails/10.jpg)
Pervasive Displays
Image courtesy of Alois Ferscha (Pervasive Computing Group, Johannes Kepler Universitat Linz)
→
Danilo Pianini (UniBo / DISI) Computational ecosystems November 6, 2012 10 / 34
![Page 11: Engineering Computational Ecosystems](https://reader033.fdocuments.in/reader033/viewer/2022061223/54c671a34a7959e37d8b45da/html5/thumbnails/11.jpg)
Pervasive Displays
Image courtesy of Alois Ferscha (Pervasive Computing Group, Johannes Kepler Universitat Linz)
. . . . . . .
Danilo Pianini (UniBo / DISI) Computational ecosystems November 6, 2012 11 / 34
![Page 12: Engineering Computational Ecosystems](https://reader033.fdocuments.in/reader033/viewer/2022061223/54c671a34a7959e37d8b45da/html5/thumbnails/12.jpg)
Pervasive Ecosystems
Miriads of interacting devices and services as individuals in an ecosystem
No central control is involved
Actions are driven by the context
The system heals itself
Nature does it since hundreds of millions years
Danilo Pianini (UniBo / DISI) Computational ecosystems November 6, 2012 12 / 34
![Page 13: Engineering Computational Ecosystems](https://reader033.fdocuments.in/reader033/viewer/2022061223/54c671a34a7959e37d8b45da/html5/thumbnails/13.jpg)
Self organisation in nature: ants
Danilo Pianini (UniBo / DISI) Computational ecosystems November 6, 2012 13 / 34
![Page 14: Engineering Computational Ecosystems](https://reader033.fdocuments.in/reader033/viewer/2022061223/54c671a34a7959e37d8b45da/html5/thumbnails/14.jpg)
Self organisation in nature: termites
Danilo Pianini (UniBo / DISI) Computational ecosystems November 6, 2012 14 / 34
![Page 15: Engineering Computational Ecosystems](https://reader033.fdocuments.in/reader033/viewer/2022061223/54c671a34a7959e37d8b45da/html5/thumbnails/15.jpg)
Self organisation in nature: birds
Danilo Pianini (UniBo / DISI) Computational ecosystems November 6, 2012 15 / 34
![Page 16: Engineering Computational Ecosystems](https://reader033.fdocuments.in/reader033/viewer/2022061223/54c671a34a7959e37d8b45da/html5/thumbnails/16.jpg)
Self organisation in nature: humans
Danilo Pianini (UniBo / DISI) Computational ecosystems November 6, 2012 16 / 34
![Page 17: Engineering Computational Ecosystems](https://reader033.fdocuments.in/reader033/viewer/2022061223/54c671a34a7959e37d8b45da/html5/thumbnails/17.jpg)
Self organisation in nature: biochemistry
Danilo Pianini (UniBo / DISI) Computational ecosystems November 6, 2012 17 / 34
![Page 18: Engineering Computational Ecosystems](https://reader033.fdocuments.in/reader033/viewer/2022061223/54c671a34a7959e37d8b45da/html5/thumbnails/18.jpg)
Pervasive Ecosystems
Challenges for ICT engineers
Design the rules for the ecosystem in a way that:
Fruitful cooperation is promoted
New services are created by combining the existing
Unwanted interactions are limited
Overall collective behaviour can be (formally) predicted and controlled
The system smoothly evolves with time
Danilo Pianini (UniBo / DISI) Computational ecosystems November 6, 2012 18 / 34
![Page 19: Engineering Computational Ecosystems](https://reader033.fdocuments.in/reader033/viewer/2022061223/54c671a34a7959e37d8b45da/html5/thumbnails/19.jpg)
The SAPERE Project
http://www.sapere-project.eu
Danilo Pianini (UniBo / DISI) Computational ecosystems November 6, 2012 19 / 34
![Page 20: Engineering Computational Ecosystems](https://reader033.fdocuments.in/reader033/viewer/2022061223/54c671a34a7959e37d8b45da/html5/thumbnails/20.jpg)
Eco-laws and Live Semantic Annotations
Live Semantic Annotations (LSA)
A unified description for devices, data, services
Is about interface, status, and behaviour of a component
It provides semantic information, and it is dynamic
Eco-Laws
They resemble chemical reactions
They take some reagent LSA, and provide some product LSA
They can diffuse an LSA in the neighborhood
They can aggregate LSAs like in chemical bonding
They form a small & fixed set of natural eco-laws
Danilo Pianini (UniBo / DISI) Computational ecosystems November 6, 2012 20 / 34
![Page 21: Engineering Computational Ecosystems](https://reader033.fdocuments.in/reader033/viewer/2022061223/54c671a34a7959e37d8b45da/html5/thumbnails/21.jpg)
Pervasive Ecosystems
Danilo Pianini (UniBo / DISI) Computational ecosystems November 6, 2012 21 / 34
![Page 22: Engineering Computational Ecosystems](https://reader033.fdocuments.in/reader033/viewer/2022061223/54c671a34a7959e37d8b45da/html5/thumbnails/22.jpg)
Pervasive displays: multiple view
Image courtesy of Alois Ferscha (Pervasive Computing Group, Johannes Kepler Universitat Linz)
Danilo Pianini (UniBo / DISI) Computational ecosystems November 6, 2012 22 / 34
![Page 23: Engineering Computational Ecosystems](https://reader033.fdocuments.in/reader033/viewer/2022061223/54c671a34a7959e37d8b45da/html5/thumbnails/23.jpg)
Pervasive displays: local sharing
Image courtesy of Alois Ferscha (Pervasive Computing Group, Johannes Kepler Universitat Linz)
Danilo Pianini (UniBo / DISI) Computational ecosystems November 6, 2012 23 / 34
![Page 24: Engineering Computational Ecosystems](https://reader033.fdocuments.in/reader033/viewer/2022061223/54c671a34a7959e37d8b45da/html5/thumbnails/24.jpg)
Pervasive displays: steering
Image courtesy of Alois Ferscha (Pervasive Computing Group, Johannes Kepler Universitat Linz)
Danilo Pianini (UniBo / DISI) Computational ecosystems November 6, 2012 24 / 34
![Page 25: Engineering Computational Ecosystems](https://reader033.fdocuments.in/reader033/viewer/2022061223/54c671a34a7959e37d8b45da/html5/thumbnails/25.jpg)
Pervasive displays: case studies
Image courtesy of Alois Ferscha (Pervasive Computing Group, Johannes Kepler Universitat Linz)
Danilo Pianini (UniBo / DISI) Computational ecosystems November 6, 2012 25 / 34
![Page 26: Engineering Computational Ecosystems](https://reader033.fdocuments.in/reader033/viewer/2022061223/54c671a34a7959e37d8b45da/html5/thumbnails/26.jpg)
Pervasive displays: crowd steering
Image courtesy of Alois Ferscha (Pervasive Computing Group, Johannes Kepler Universitat Linz)
Danilo Pianini (UniBo / DISI) Computational ecosystems November 6, 2012 26 / 34
![Page 27: Engineering Computational Ecosystems](https://reader033.fdocuments.in/reader033/viewer/2022061223/54c671a34a7959e37d8b45da/html5/thumbnails/27.jpg)
Computational ecosystems: functional guarantees
Houston, we’ve got a problem.
Prediction difficulties
Thousands-devices scale system
Autonomous devices
Interaction plays a huge role
Formal proof
Mathematical guarantee
Only tackles simple cases
Model checking
Space state explosion for non-trivial cases
Danilo Pianini (UniBo / DISI) Computational ecosystems November 6, 2012 27 / 34
![Page 28: Engineering Computational Ecosystems](https://reader033.fdocuments.in/reader033/viewer/2022061223/54c671a34a7959e37d8b45da/html5/thumbnails/28.jpg)
Computational ecosystems: simulation
How to simulate a (bio)chemical inspired computational ecosystem?
Classic Agent Based simulators
High expressiveness
Sub optimal level of abstraction
Non optimized
Classic chemical Kinetic Monte Carlo simulators
Extremely fast
No mobility
Extremely low-level
Danilo Pianini (UniBo / DISI) Computational ecosystems November 6, 2012 28 / 34
![Page 29: Engineering Computational Ecosystems](https://reader033.fdocuments.in/reader033/viewer/2022061223/54c671a34a7959e37d8b45da/html5/thumbnails/29.jpg)
Computational ecosystems: Alchemist
Alchemist
Kinetic Monte Carlo engine
Mobility support
Dynamic connectivity support
Complex data items
Reaction-like programming allowed
Classic (weak) agents supported (Java-written)
Built from scratch
Danilo Pianini (UniBo / DISI) Computational ecosystems November 6, 2012 29 / 34
![Page 30: Engineering Computational Ecosystems](https://reader033.fdocuments.in/reader033/viewer/2022061223/54c671a34a7959e37d8b45da/html5/thumbnails/30.jpg)
Crowd evacuation
Danilo Pianini (UniBo / DISI) Computational ecosystems November 6, 2012 30 / 34
![Page 31: Engineering Computational Ecosystems](https://reader033.fdocuments.in/reader033/viewer/2022061223/54c671a34a7959e37d8b45da/html5/thumbnails/31.jpg)
Crowd steering
Danilo Pianini (UniBo / DISI) Computational ecosystems November 6, 2012 31 / 34
![Page 32: Engineering Computational Ecosystems](https://reader033.fdocuments.in/reader033/viewer/2022061223/54c671a34a7959e37d8b45da/html5/thumbnails/32.jpg)
Morphogenesis
Danilo Pianini (UniBo / DISI) Computational ecosystems November 6, 2012 32 / 34
![Page 33: Engineering Computational Ecosystems](https://reader033.fdocuments.in/reader033/viewer/2022061223/54c671a34a7959e37d8b45da/html5/thumbnails/33.jpg)
Morphogenesis
Danilo Pianini (UniBo / DISI) Computational ecosystems November 6, 2012 33 / 34
![Page 34: Engineering Computational Ecosystems](https://reader033.fdocuments.in/reader033/viewer/2022061223/54c671a34a7959e37d8b45da/html5/thumbnails/34.jpg)
References
Engineering computational ecosystems
Ing. Dott. Danilo [email protected]
Alma Mater Studiorum—Universita di Bologna a Cesena
Vieni via con noi - Cesena 2012
Danilo Pianini (UniBo / DISI) Computational ecosystems November 6, 2012 34 / 34