MOISE+: towards a structural, functional, and deontic model for MAS organization
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
ISLANDER: an electronic institutions editor
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
The MADKIT Agent Platform Architecture
Revised Papers from the International Workshop on Infrastructure for Multi-Agent Systems: Infrastructure for Agents, Multi-Agent Systems, and Scalable Multi-Agent Systems
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Representing the zoo world and the traffic world in the language of the causal calculator
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
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
Operational semantics of multiagent interactions
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
A Web-Based Virtual Machine for Developing Computational Societies
CIA '08 Proceedings of the 12th international workshop on Cooperative Information Agents XII
Specifying norm-governed computational societies
ACM Transactions on Computational Logic (TOCL)
Roles and norms for programming agent organizations
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Run-Time Semantics of a Language for Programming Social Processes
Computational Logic in Multi-Agent Systems
Roles as a Coordination Construct: Introducing powerJava
Electronic Notes in Theoretical Computer Science (ENTCS)
Answer set programming for representing and reasoning about virtual institutions
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
CArtAgO: a framework for prototyping artifact-based environments in MAS
E4MAS'06 Proceedings of the 3rd international conference on Environments for multi-agent systems III
S-Moise+: a middleware for developing organised multi-agent systems
AAMAS'05 Proceedings of the 2005 international conference on Agents, Norms and Institutions for Regulated Multi-Agent Systems
An architectural perspective on multiagent societies
AOSE'10 Proceedings of the 11th international conference on Agent-oriented software engineering
| Hi-index | 0.00 |
This paper describes a type-oriented approach to the programming of social middleware. It defines a collection of metamodeling features which allow programmers to declare the social entity types which make up the program of a multiagent society for some application domain. These features are identified and formalised taking into account a specification of social middleware as programmable, abstract machines. Thus, the proposed approach results in the type system of an interaction-oriented programming language. The paper uses the C+ action language and the CCalc tool as formal devices, so that metamodeling features are given formal semantics as new social law abbreviations which complement the causal law abbreviations of C+. This programming language approach contrasts with the informal modeling approach endorsed by organizational methodologies, and promotes higher levels of formality, modularity and reusability in the specification of multiagent societies.