Sistemi distribuiti 2018/2019

    Main     Slides     Lab     Schedule     Projects
pages
general information on the course

This course is meant to illustrate the conceptual foundations, the main features and the most relevant issues of today distributed computational systems.
Also, the main technologies for constructing distributed systems are introduced, in terms of languages, middleware, and infrastructures.
In particular, logic-based, agent-based, and coordination-based systems are used as the sources for case studies and for experiments in the laboratory.

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
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
course series
lightbulbDistributed Systems 2024/2025 • lightbulbDistributed Systems 2023/2024 • lightbulbSistemi distribuiti 2022/2023 • lightbulbSistemi distribuiti 2021/2022 • lightbulbSistemi distribuiti 2020/2021 • lightbulbSistemi distribuiti 2019/2020 • lightbulbSistemi distribuiti 2018/2019 • lightbulbSistemi distribuiti 2017/2018 • lightbulbSistemi distribuiti 2016/2017 • lightbulbSistemi distribuiti 2015/2016 • lightbulbSistemi distribuiti 2014/2015 • lightbulbSistemi distribuiti 2013/2014 • lightbulbSistemi distribuiti 2013/2014 • lightbulbSistemi distribuiti 2012/2013 • lightbulbSistemi distribuiti 2012/2013 • lightbulbSistemi distribuiti 2011/2012 • lightbulbSistemi distribuiti 2010/2011 • lightbulbSistemi distribuiti L-A 2009/2010 • lightbulbSistemi distribuiti L-A 2008/2009 • lightbulbSistemi distribuiti L-A 2007/2008 • lightbulbSistemi distribuiti L-A 2006/2007 • lightbulbSistemi distribuiti L-A 2005/2006 • lightbulbSistemi distribuiti L-A 2004/2005 • lightbulbSistemi distribuiti L-A 2003/2004 • lightbulbSistemi distribuiti L-A 2002/2003 • lightbulbSistemi distribuiti L-A 2001/2002