COORDINA:                                                        ESPRIT proj. 24512
a working group on coordination models and languages


 
     Department of Computer Science 
     University of Bologna 
     Mura Anteo Zamboni, 7 
     40127 Bologna 
       ITALY 

     Tel: +39 051 35.45.06 
     Fax: +39 051 35.45.10
After the ESPRIT Basic Research Project n.9102 COORDINATION, the research effort in the area of coordination languages and models of the Department of Computer Science of the University of Bologna centers upon the development of models, languages, and architectures for coordination. We continue to develop formal methods for the analysis of the model called "shared dataspace", where concurrent activities are described by multiset rewritings, or rewriting rules, or coordination clauses. Moreover, a new research interest concerns language design for Internet programming and coordination architectures including mobile agents and controlling active documents.

The current research includes also new related topics, and ranges over three main streams:
(1) design of new coordination models and languages;
(2) semantic issues of coordination languages and models,
(3) development of novel coordination architectures for active documents and mobile agents.

Contact:
Prof. Paolo Ciancarini
Address:
     Department of Computer Science
     University of Bologna
     Mura Anteo Zamboni, 7
     40127 Bologna
     ITALY
Fax:    +39 051 2094510
Tel:     +39 051 2094506

People:

Paolo Ciancarini
Roberto Gorrieri
Nadia Busi
Mauro Gaspari
Fabio Vitali
Cecilia Mascolo
Davide Rossi
Gianluigi Zavattaro

Material:
Some lectures on Coordination (by P. Ciancarini, Oct. 1997)
A bibliography on Coordination (Oct. 1997)

Publications:

Coordination Models and Languages:

F. Arbab and P. Ciancarini and C. Hankin,
Coordination Languages for Parallel Programming,
Parallel Computing, 1998 (to appear).

P. Ciancarini and M. Mazza and L. Pazzaglia,
A Logic for a Coordination Model with Multiple Spaces,
Science of Computer Programming, 31(2-3):231-262, 1998.

JM. Andreoli and P. Ciancarini and R. Pareschi,
Interaction Abstract Machines,
in G. Agha and P. Wegner and A. Yonezawa, (eds.)
Trends in Object-Based Concurrent Computing, MIT Press, 1993, 257-280

P. Ciancarini and D. Fogli and M. Gaspari,
A Logic Language based on Gamma-like Multiset Rewriting,
Proc. 5th Workshop on Extensions of Logic Programming,
LNAI 1050, 83-102, 1996.

P. Ciancarini and D. Fogli and M. Gaspari,
A Logic Language based on Multiset Rewriting,
in JM. Andreoli and C. Hankin and D. LeMetayer, (eds.)
Coordination Programming: Mechanisms, Models and Semantics,
Imperial College Press, 1996, 323-348.

S. Castellani and P. Ciancarini,
Enhancing Coordination and Modularity Mechanisms for a Language with Objects-as-Multisets,
Proc. 1st Int. Conf. on Coordination Models and Languages,
LNCS 1061, 89-106, 1996.

P. Ciancarini,
Coordination Models and Languages as Software Integrators,
ACM Computing Surveys, 28(2):300-302, 1996.

P. Ciancarini and M. Gaspari,
Rule Based Coordination of Logic Programs,
Computer Languages, 22(2-3):95-113, 1996.

P. Ciancarini and C. Mascolo,
Using a Coordination Language to Specify the Invoicing System,
in M. Allemand and C. Attiogbe and H. Habrias (eds.),
Proc. Int. Workshop on Comparing Systems Specification Techniques,
Nantes (France), March 1998, 67-82.

P. Ciancarini and D. Rossi,
Jada: Coordination and Communication for Java agents,
in J. Vitek and C. Tschudin (eds.),
Mobile Object Systems: Towards the Programmable Internet,
LNCS 1222, 1997, 213-228.

P. Ciancarini and F. Franze' and C. Mascolo,
A Coordination Model to Specify Systems including Mobile Agents,
in Proc. 9th IEEE Int. Workshop on Software Specification and Design (IWSSD),
Japan 1998, 96-105.

Semantics of Coordination Languages and Models:

Gianluigi Zavattaro.
Towards a Hierarchy of Negative Test Operators for Generative Communication.
To appear in Proceedings of  EXPRESS'98, volume 16 of Electronic Notes in Theoretical Computer Science, Elsevier, 1998.

Gianluigi Zavattaro.
On the Incomparability of Gamma and Linda.
Presented at COORDINA meeting in Horta, June 1998.

Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro.
A Process Algebraic View of Linda Coordination Primitives.
Theoretical Computer Science, volume 192(2), pag. 167-199, Elsevier, 1998.

Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro.
Three Semantics of the Output Operation for Generative Communication.
In Proceedings of COORDINATION'97, volume 1282 of Lectures Notes in Computer Science, pag. 205-219, Springer, 1997.

Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro.
On the Turing Equivalence of Linda Coordination Primitives.
In Proceedings of  EXPRESS'97, volume 7 of Electronic Notes in Theoretical Computer Science, Elsevier, 1997.

Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro.
A Truly Concurrent View of Linda Interprocess Communication.
Technical Report UBLCS-97-02, Department of Computer Science, University of Bologna, February 1997.

Paolo Ciancarini, Roberto Gorrieri, Gianluigi Zavattaro.
Towards a Calculus for Generative Communication.
In Proceedings of FMOODS'96, pag. 283-297, Chapman & Hall, 1996.

Paolo Ciancarini, Roberto Gorrieri, Gianluigi Zavattaro.
An Alternative Semantics for the Parallel Operator of the Calculus of Gamma Programs.
In J.M. Andreoli, C. Hankin, and D. Le Metayer, (eds.),
Coordination Programming: Mechanism, Models and Semantics, pag. 232-248, Imperial College Press, 1996.

Software Architectures for Coordination and Mobility:

P. Ciancarini and D. Rossi and F. Vitali,
The World Wide Web as a Place to Work in,
Proc. 7th IEEE Workshops on Enablings Technologies: Infrastructure for Collaborative Enterprises (WETICE),
Stanford, June 1998, (to appear).

P. Ciancarini and R. Tolksdorf and F. Vitali and D. Rossi and A. Knoche,
Coordinating Multiagent Applications on the WWW: a Reference Architecture,
IEEE Transactions on Software Engineering, 24(5):362-375, 1998.

P. Ciancarini and D. Rossi,
Coordinating Distributed Applets with Shade/Java,
in Proc. ACM/SIGAPP Symp. on Applied Computing (SAC 98), 1998, 130-138.

P. Ciancarini and D. Rossi,
Coordinating Java Agents Over the WWW,
World Wide Web, 1(2):87-99, 1998.

P. Ciancarini and A. Knoche and D. Rossi and R. Tolksdorf and F. Vitali,
Redesigning the Web: From Passive Pages to Coordinated Agents in PageSpaces,
Proc. 3rd IEEE Int. Symp. on Autonomous Decentralized Systems (ISADS),
Berlin, April 1997, 377-384.

P. Ciancarini and A. Knoche and D. Rossi and R. Tolksdorf and F. Vitali,
Coordinating Java Agents for Financial Applications on the WWW,
Proc. 2nd Conf. on Practical Applications of Intelligent Agents and MultiAgent Technology (PAAM),
London, April 1997, 179-193.

P. Ciancarini and A. Knoche and R. Tolksdorf and F. Vitali,
PageSpace : An Architecture to Coordinate Distributed Applications on the Web,
Proc. 5th Int. WWW Conference, Paris, 1996,
in Computer Networks and ISDN systems, 28(7-11):941-952,1996.

P. Ciancarini and R. Tolksdorf,
Using the Web to Coordinate Distributed Applications,
Proc. 7th ACM SIGOPS Workshop - Systems Support for Worldwide Applications,
Connemara, Ireland, 1996, 197-204.

P. Ciancarini and D. Rossi and F.Vitali and A. Knoche and R. Tolksdorf,
Coordination Technology for the WWW,
Proc. 5th IEEE Workshop on Enabling Technology:
Infrastructure for Collaborative Enterprises (WETICE),
Stanford 1996, 321-326.

P. Ciancarini and R. Tolksdorf and F. Vitali,
Weaving the Web using Coordination,
Proc. 1st Int. Conf. on Coordination Models and Languages,
LNCS 1061, 411-415, 1996.