Towards a taxonomy of software connectors
Proceedings of the 22nd international conference on Software engineering
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
Applied Ontology - Formal Ontologies for Communicating Agents
Specification and Verification of Institutions Through Status Functions
Coordination, Organizations, Institutions, and Norms in Agent Systems II
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)
Language Constructs for Multi-agent Programming
Computational Logic in Multi-Agent Systems
A modular action description language
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
A modular action description language for protocol composition
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Representing and reasoning about commitments in business processes
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
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
Dealing with incomplete normative states
COIN'09 Proceedings of the 5th international conference on Coordination, organizations, institutions, and norms in agent systems
An architectural perspective on multiagent societies
AOSE'10 Proceedings of the 11th international conference on Agent-oriented software engineering
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 |
There is a broad range of application domains which can be described under the heading of social process domains: business processes, social networks, game servers, etc. This paper puts forward a programming language approach to the formal specification of social processes, building upon the C+ action description language. Particularly, the paper focuses on the run-time semantics of the language, which is delivered as a core layer of application-independent sorts which make up the abstract machine of the language. The advantages of the presented approach with respect to other state-of-the-art proposals lie in its strong support for modularity and reusability, and hence for the development of large-scale, elaboration tolerant, specifications of social processes.