20. – 25. Februar 2005, Dagstuhl-Seminar 05081

Foundations of Global Computing


José Luiz Fiadeiro (University of Leicester, GB)
Ugo Montanari (University of Pisa, IT)
Martin Wirsing (LMU München, DE)

Auskunft zu diesem Dagstuhl-Seminar erteilt

Dagstuhl Service Team


Dagstuhl Seminar Proceedings DROPS


Today software undergoes a fast technological progress where not only the complexity of software systems is considerably increasing but also the computing infrastructure is dramatically changing. The internet serves as platform for globally distributed applications; objects we work with are more and more equipped with processors and embedded software; in the Grid approach computing power is shared among many distributed processors; physical devices are mobile, data can migrate, and applications come and go in a dynamically changing ad-hoc way. Thus computation becomes global in the sense that it is distributed over the net and highly dynamic, with the network often changing dynamically.

These developments lead to enormous engineering challenges for

  1. constructing global computing systems with predictable and desirable behaviour and
  2. ensuring reliability, safety, security, and availability of global computing systems.

Current engineering techniques such as object-orientation, modelling languages such as UML, and actual programming languages such as Java and CASE tools can only partly cope with these problems. These approaches support only partly the construction of global computing systems and have to be extended with new appropriate concepts for software architecture, coordination, distribution and mobility. Moreover, these pragmatic approaches lack scientific foundations for analysing and validating global computing systems. On the other hand, formal techniques such as process calculi, type systems and logics for specifying, analysing and validating global computing systems are only partially available and mostly not well connected with systematic development methods.

The aim of this seminar is to study foundational theories, calculi and techniques for global computing systems and to bring them together with methods for systematically developing global computing systems. The topics of the seminar include:

  1. calculi, models, and semantic theories of concurrent, distributed, mobile global computing systems,
  2. types and logics for security, safety, resource-control and availability of global computing systems,
  3. systematic development techniques, modelling and programming languages for global computing.


In der Reihe Dagstuhl Reports werden alle Dagstuhl-Seminare und Dagstuhl-Perspektiven-Workshops dokumentiert. Die Organisatoren stellen zusammen mit dem Collector des Seminars einen Bericht zusammen, der die Beiträge der Autoren zusammenfasst und um eine Zusammenfassung ergänzt.


Download Übersichtsflyer (PDF).

Dagstuhl's Impact

Bitte informieren Sie uns, wenn eine Veröffentlichung ausgehend von Ihrem Seminar entsteht. Derartige Veröffentlichungen werden von uns in der Rubrik Dagstuhl's Impact separat aufgelistet  und im Erdgeschoss der Bibliothek präsentiert.


Es besteht weiterhin die Möglichkeit, eine umfassende Kollektion begutachteter Arbeiten in der Reihe Dagstuhl Follow-Ups zu publizieren.