Infrastructures for mobile agents and active documents
The SALADIN project is funded
by the Italian Ministry of University (MURST)
and includes a number of Italian research groups.
The project goal is the study of
Software Architectures and Languages
to coordinate distributed mobile components.
The SALADIN main site
is at the University of L'Aquila
(project coordinator is prof. Paola Inverardi).
Activities in Bologna:
We are interested in studying languages and technologies for
describing and analyzing non functional properties of
software architectures, especially those including (mobile) agents.
In the last years we have developed some
Java-based languages for coordinating mobile agents and some
concepts for describing components and active
documents based on the XML family of technologies.
Here
you can find some PDF slides which describe our
basic concepts. These slides were presented
during a SALADIN closed workshop held in Genova
on June 23, 2000.
Papers related to this project:
-
P. Ciancarini and F. Franze and C. Mascolo,
Using a Coordination Language to Specify and Analyze
Systems Containing Mobile Components,
ACM Trans. on Software Engineering and Methodology,
9:2(167-198), 2000.
- L. Bompani and P. Ciancarini and F. Vitali,
Sophisticated Hypertext Functionalities for Software Engineering,
Proc. 3rd ICSE Int. Workshop on Sw Engineering over the Internet,
F.Maurer and others (eds.), 67-79, Ireland, 2000.
- M.Bernardo, P.Ciancarini, L.Donatiello,
AEMPA: A Process Algebraic Description Language for the
Performance Analysis of Software Architectures,
Proc. 2nd ACM Int. Workshop on Software and Performance (WOSP2000),
Ottawa (Canada), September, 2000.
- M.Bernardo, P.Ciancarini, L.Donatiello,
On the formalization of architectural types with process algebras,
Proc. ACM/IEEE Int. Conf. on Fundamentals of Software Engineering (FSE),
San Diego (USA), November, 2000.
- N. Busi, P. Ciancarini and R. Gorrieri and G. Zavattaro,
Models for Coordinating Agents: a Guided Tour,
in A. Omicini and R. Tolksdorf and G. Weiss and F. Zambonelli (eds.),
Coordination Models and applications for agents, 2001,
Springer.
- D. Rossi, G. Cabri, E. Denti,
Tuple-based technologies for coordination,
in A. Omicini and R. Tolksdorf and G. Weiss and F. Zambonelli (eds.),
Coordination Models and applications for Agents, 2001,
Springer.