05 February 2007
Universidad Rey Juan Carlos
Juan Manuel Serrano

The social stance advocated by institutional frameworks and most multi-agent system methodologies has resulted in a wide spectrum of organizational and communicative abstractions which have found currency in several programming frameworks and software platforms. Still, these tools and frameworks are designed to support a limited range of interaction capabilities that constrain developers to a fixed set of particular, pre-defined abstractions. The main hypothesis motivating this work is that the variety of multi-agent interaction mechanisms -- both, organizational and communicative, share a common semantic core. In the realm of software architectures, a connector-based model of social interactions is proposed which attempts to identify the essential structure underlying multi-agent interactions. Furthermore, a formal execution semantics is also defined which describes the dynamics of the multi-agent community. The proposed model is intended as the abstract machine of an organizational programming language which allows programmers to accommodate an open set of interaction mechanisms.