A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
Towards a taxonomy of software connectors
Proceedings of the 22nd international conference on Software engineering
A formal framework for inter-agent dialogues
Proceedings of the fifth international conference on Autonomous agents
A computational theory of normative positions
ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
Types and programming languages
Types and programming languages
ISLANDER: an electronic institutions editor
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
Developing multiagent systems: The Gaia methodology
ACM Transactions on Software Engineering and Methodology (TOSEM)
AMELI: An Agent-Based Middleware for Electronic Institutions
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1
Norm-oriented programming of electronic institutions
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Engineering open environments with electronic institutions
Engineering Applications of Artificial Intelligence
Agent oriented software engineering with INGENIAS
CEEMAS'03 Proceedings of the 3rd Central and Eastern European conference on Multi-agent systems
OMNI: introducing social structure, norms and ontologies into agent organizations
ProMAS'04 Proceedings of the Second international conference on Programming Multi-Agent Systems
A Web-Based Virtual Machine for Developing Computational Societies
CIA '08 Proceedings of the 12th international workshop on Cooperative Information Agents XII
Run-Time Semantics of a Language for Programming Social Processes
Computational Logic in Multi-Agent Systems
Programming social middleware through social interaction types
LADS'09 Proceedings of the Second international conference on Languages, Methodologies, and Development Tools for Multi-Agent Systems
| Hi-index | 0.00 |
The social stance advocated by institutional frameworks and most multiagent 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 paper is that the variety of multiagent interaction mechanisms -- both, organizational and communicative, share a common semantic core. In the realm of software architectures, the paper proposes a connector-based model of multiagent interactions which attempts to identify the essential structure underlying multiagent interactions. Furthermore, the paper also provides this model with a formal execution semantics which describes the dynamics of social interactions. 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.