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.