Please select the desired project time frame:
- July 2026
- January 2026
- July 2025
- January 2025
- July 2024
- January 2024
- July 2023
- January 2023
- July 2022
- January 2022
- July 2021
- January 2021
- July 2020
- January 2020
- July 2019
- January 2019
- July 2018
- January 2018
- July 2017
- January 2017
- July 2016
- January 2016
- July 2015
- January 2015
- July 2014
- January 2014
- July 2013
- January 2013
- July 2012
- January 2012
- July 2011
- January 2011
- July 2010
- January 2010
- July 2009
- January 2009
- July 2008
- January 2008
- July 2007
- January 2007
- July 2006
- January 2006
- July 2005
- January 2005
- July 2004
- January 2004
- July 2003
- January 2003
- July 2002
- January 2002
- July 2001
- January 2001
Start of funding 01.01.2001
Models for Global Computing
Prof. Dr. Martin Wirsing
Ludwig-Maximilians-University of Munich
Institut für Informatik
Dr. Carolyn L. Talcott
Stanford University
Department of Computer Science
Dr. Jose Meseguer
Menlo Park University of California
Stanford Research Institute, SRI International
Global computation is a new emerging computational paradigm in which computation is distributed over the net and highly dynamic, with the network itself changing continuously. The aim of the project is to develop models and techniques which allow one to design and analyze mobile distributed systems in a dynamically changing environment. The approach is based on rewriting logic and multi-agent techniques which have been proved to be very useful in studying object-oriented systems and active networks. We will develop an abstract operational programming model for representing and studying mobile, autonomous, distributed and concurrent agents in a global dynamic environment. To study the behavior of global computation systems we will develop notions of equivalence, abstraction and refinement. The adequacy and applicability of the model will be demonstrated using cases studies from the areas of E-Commerce and dynamic traffic control. The model will be implemented in Meseguer´s Maude system.