58260 - Distributed Systems

Academic Year 2017/2018

  • Docente: Andrea Omicini
  • Credits: 6
  • SSD: ING-INF/05
  • Language: Italian
  • Teaching Mode: Traditional lectures
  • Campus: Cesena
  • Corso: Second cycle degree programme (LM) in Computer Science and Engineering (cod. 8614)

Learning outcomes

At the end of the course, students got acquainted with the fundamental issues of distributed systems, the computational models capturing their essence, and the technologies currently helping  facing them in the most systematic and effective way. In particular, students become familiar with the fittest solutions, technologies, architectures, and methodologies to design distributed systems, and is capable of

  • devising out the most critical aspects of distributed systems coming from physical distribution
  • determining the most proper methodological approaches
  • selecting the fittest technologies for implementing the solutions detected

Course contents

General Issues of Distributed Systems

  • Roots of Distributed Systems: Space, Time & Computation
  • Goals & Issues of Distributed Systems
  • Sorts of Distributed Systems

Core Issues of Distributed Systems

  • Software Architectures
  • Middleware
  • Computing with Time
  • Computing with Space
  • Features of Distribution

Paradigms for Distributed Systems

  • Distributed Logic Programming / Logic & Computation
  • Agent-Oriented Computing / Agents & Multi-Agent Systems
  • Coordination-based Systems / Coordination of Distributed Systems

Technologies for Distributed Systems

  • Logic Programming in Prolog with tuProlog
  • Agents & Multi-Agent Systems with Jade
  • Tuple-based Coordination with TuCSoN
  • Programming Interaction with ReSpecT
  • Standard Services for Distributed Systems: Web Services
  • Computing without Space: Cloud Computing

Readings/Bibliography

The bibliography is made available through the course web site.

Teaching methods

  • Lessons with slides
  • Examples discussed and built by the teacher and by experts from the field
  • Lab activity

Assessment methods

  • Oral test
  • Possible discussion of an individual/group project

Teaching tools

Links to further information

http://apice.unibo.it/xwiki/bin/view/Courses/Sd

Office hours

See the website of Andrea Omicini