Abstract. Web services are emerging as a promising technology for the development of next generation distributed heterogeneous software systems. We define a new behavioural equival...
Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio...
In this paper we overview one specific approach to the formal development of multi-agent systems. This approach is based on the use of temporal logics to represent both the behavio...
The purpose of this paper is to present the main characteristics of ADF, an open source agent developing platform with a focus on agent collaboration. The basic architecture of th...
During the last three years we have been building an instantiation of a system's development paradigm, called ARTS. The paradigm consists of a view of what a system developme...
This paper describes an evaluation of a characterisation framework to analyse mobile work scenarios in order to make corresponding software systems. The framework identifies comple...