February 20 – 25 , 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)

For support, please contact

Dagstuhl Service Team


Dagstuhl Seminar Proceedings DROPS
List of Participants


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 the series Dagstuhl Reports each Dagstuhl Seminar and Dagstuhl Perspectives Workshop is documented. The seminar organizers, in cooperation with the collector, prepare a report that includes contributions from the participants' talks together with a summary of the seminar.


Download overview leaflet (PDF).

Dagstuhl's Impact

Please inform us when a publication was published as a result from your seminar. These publications are listed in the category Dagstuhl's Impact and are presented on a special shelf on the ground floor of the library.


Furthermore, a comprehensive peer-reviewed collection of research papers can be published in the series Dagstuhl Follow-Ups.