University of Bologna, Department of Computer Science
COORDINATION:
Linguistic support for Multiple Cooperating Agents
The project explores coordination models and languages for
applications that require parallel and distributed programming. Main
languages investigated here are ShaDe and Gamma.
In Bologna we are developing both programming tools (compilers, semantics
analizers, specification animators) and applications of coordination
languages. Field of application we are exploring are
groupware through the Web, simulation, parallel
symbolic computing.
We study a coordination model called "shared dataspace"
and it sextensions, where
parallel activities are described by multiset rewritings, or rewriting
rules, or coordination clauses. We develop formal methods useful to
build analysis tools to improve efficiency of distributed programs.
Target hardware is both networks of workstations and massively
parallel architectures.
Administrative Information
Sponsoring bodies: CEC (ESPRIT Basic Research)
Coordinator: C. Hankin, Imperial College
Project number: 9102
Partners:
- Univ. Bologna
- Imperial College
- IRISA Rennes
- Univ. Geneva
- Univ. Nova Lisboa
- Xerox Grenoble
- DIKU Denmark
- ECRC Munchen
Start date:February 1 1994
Duration:2 years and 3 months
Back to the Department home page.
Last Updated: Nov 30 1995