Software requirements: objects, functions, and states
Software requirements: objects, functions, and states
Role-Based Access Control Models
Computer
Modelling approach and tool for designing protocols for automated cooperation in multi-agent systems
MAAMAW '96 Proceedings of the 7th European workshop on Modelling autonomous agents in a multi-agent world : agents breaking away: agents breaking away
Comparing simple role based access control models and access control lists
RBAC '97 Proceedings of the second ACM workshop on Role-based access control
Formal specification for role based access control user/role and role/role relationship management
RBAC '98 Proceedings of the third ACM workshop on Role-based access control
Role model based framework design and integration
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A role-based access control model and reference implementation within a corporate intranet
ACM Transactions on Information and System Security (TISSEC) - Special issue on role-based access control
A methodology for agent-oriented analysis and design
Proceedings of the third annual conference on Autonomous Agents
Z: An Introduction to Formal Methods
Z: An Introduction to Formal Methods
Reflections on the Nature of Multi-Agent Coordination and Its Implications for an Agent Architecture
Autonomous Agents and Multi-Agent Systems
Towards a Formal Specification of Complex Social Structures in Multi-agent Systems
Collaboration between Human and Artificial Societies, Coordination and Agent-Based Distributed Computing
Towards Layered Dialogical Agents
ECAI '96 Proceedings of the Workshop on Intelligent Agents III, Agent Theories, Architectures, and Languages
ROPE: Role Oriented Programming Environment for Multiagent Systems
COOPIS '99 Proceedings of the Fourth IECIS International Conference on Cooperative Information Systems
HICSS '98 Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences-Volume 6 - Volume 6
A Meta-Model for the Analysis and Design of Organizations in Multi-Agent Systems
ICMAS '98 Proceedings of the 3rd International Conference on Multi Agent Systems
An Organizational Metamodel for the Design of Catalogues of Communicative Actions
Proceedings of the 5th Pacific Rim International Workshop on Multi Agents: Intelligent Agents and Multi-Agent Systems
Guaranteeing Properties for E-commerce Systems
AAMAS '02 Revised Papers from the Workshop on Agent Mediated Electronic Commerce on Agent-Mediated Electronic Commerce IV, Designing Mechanisms and Systems
An Approach to Agent Communication Based on Organisational Roles
CIA '02 Proceedings of the 6th International Workshop on Cooperative Information Agents VI
Integrating Trust in Virtual Organisations
Coordination, Organizations, Institutions, and Norms in Agent Systems II
Controlling an Interactive Game with a Multi-agent Based Normative Organisational Model
Coordination, Organizations, Institutions, and Norms in Agent Systems II
Specification and Verification of Institutions Through Status Functions
Coordination, Organizations, Institutions, and Norms in Agent Systems II
A Framework for Model Checking Institutions
Model Checking and Artificial Intelligence
An Interaction Protocol for Agent Communication
CEEMAS '07 Proceedings of the 5th international Central and Eastern European conference on Multi-Agent Systems and Applications V
Agent-Based Simulation of Group Learning
Multi-Agent-Based Simulation VIII
A Common Basis for Agent Organisation in BDI Languages
Languages, Methodologies and Development Tools for 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
Characterizing Massively Multiplayer Online Games as Multi-Agent Systems
HAIS '08 Proceedings of the 3rd international workshop on Hybrid Artificial Intelligence Systems
Language Constructs for Multi-agent Programming
Computational Logic in Multi-Agent Systems
Service oriented MAS: an open architecture
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
On the Road to an Abstract Architecture for Open Virtual Organizations
IWANN '09 Proceedings of the 10th International Work-Conference on Artificial Neural Networks: Part I: Bio-Inspired Systems: Computational and Ambient Intelligence
Organizational-Oriented Methodological Guidelines for Designing Virtual Organizations
IWANN '09 Proceedings of the 10th International Work-Conference on Artificial Neural Networks: Part II: Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living
Using THOMAS for Service Oriented Open MAS
SOCASE '09 Proceedings of the AAMAS 2009 International Workshop on Service-Oriented Computing: Agents, Semantics, and Engineering
A Modeling Tool for Service-Oriented Open Multiagent Systems
PRIMA '09 Proceedings of the 12th International Conference on Principles of Practice in Multi-Agent Systems
Interaction protocol for agent-based e-learning system
Proceedings of the 11th International Conference on Information Integration and Web-based Applications & Services
The MACODO organization model for context-driven dynamic agent organizations
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
An approach for virtual organisations' dissolution
COIN'09 Proceedings of the 5th international conference on Coordination, organizations, institutions, and norms in agent systems
Playing with agent coordination patterns in MAGE
COIN'09 Proceedings of the 5th international conference on Coordination, organizations, institutions, and norms in agent systems
Directed deadline obligations in agent-based business contracts
COIN'09 Proceedings of the 5th international conference on Coordination, organizations, institutions, and norms in agent systems
Inducing desirable behaviour through an incentives infrastructure
MATES'10 Proceedings of the 8th German conference on Multiagent system technologies
Norms Evaluation through Reputation Mechanisms for BDI Agents
Proceedings of the 2010 conference on Artificial Intelligence Research and Development: Proceedings of the 13th International Conference of the Catalan Association for Artificial Intelligence
An open architecture for service-oriented virtual organizations
ProMAS'09 Proceedings of the 7th international conference on Programming multi-agent systems
GORMAS: an organizational-oriented methodological guideline for open MAS
AOSE'10 Proceedings of the 10th international conference on Agent-oriented software engineering
Social-based planning model for multiagent systems
Expert Systems with Applications: An International Journal
Norm enforceability in electronic institutions?
COIN@AAMAS'10 Proceedings of the 6th international conference on Coordination, organizations, institutions, and norms in agent systems
Controlling multi-party interaction within normative multi-agent organizations
COIN@AAMAS'10 Proceedings of the 6th international conference on Coordination, organizations, institutions, and norms in agent systems
Flexible behaviour regulation in agent based systems
CARE@AI'09/CARE@IAT'10 Proceedings of the CARE@AI 2009 and CARE@IAT 2010 international conference on Collaborative agents - research and development
Adaptive regulation of open MAS: an incentive mechanism based on modifications of the environment
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 3
Semantics and pragmatics for agent communication
EPIA'05 Proceedings of the 12th Portuguese conference on Progress in Artificial Intelligence
Towards dynamic electronic institutions: from agent coalitions to agent institutions
WRAC'05 Proceedings of the Second international conference on Radical Agent Concepts: innovative Concepts for Autonomic and Agent-Based Systems
An intermediate framework for unifying and automating mobile communication systems
AN'06 Proceedings of the First IFIP TC6 international conference on Autonomic Networking
Agent communication and institutional reality
AC'04 Proceedings of the 2004 international conference on Agent Communication
Realizing agent dialogues with distributed protocols
AC'04 Proceedings of the 2004 international conference on Agent Communication
Narrowing the gap between humans and agents in e-commerce: 3D electronic institutions
EC-Web'05 Proceedings of the 6th international conference on E-Commerce and Web Technologies
Model checking agent dialogues
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
Norm verification and analysis of electronic institutions
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
A protocol for resource sharing in norm-governed ad hoc networks
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
Virtual enterprise normative framework within electronic institutions
ESAW'04 Proceedings of the 5th international conference on Engineering Societies in the Agents World
Specifying protocols for knowledge transfer and action restriction in multiagent systems
CIA'06 Proceedings of the 10th international conference on Cooperative Information Agents
A software framework for automated negotiation
Software Engineering for Multi-Agent Systems III
A modeling framework for generic agent interaction protocols
DALT'06 Proceedings of the 4th international conference on Declarative Agent Languages and Technologies
Monitoring directed obligations with flexible deadlines: a rule-based approach
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
Reusable components for implementing agent interactions
ProMAS'05 Proceedings of the Third international conference on Programming Multi-Agent Systems
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
AAMAS'05 Proceedings of the 2005 international conference on Agents, Norms and Institutions for Regulated Multi-Agent Systems
Understanding compliance differences between legal and social norms: the case of smoking ban
AAMAS'11 Proceedings of the 10th international conference on Advanced Agent Technology
Model for assigning roles automatically in egovernment virtual organizations
Expert Systems with Applications: An International Journal
A multi-agent system approach for monitoring the prescription of restricted use antibiotics
Artificial Intelligence in Medicine
A distributed architecture for norm-aware agent societies: a retrospective
DALT'11 Proceedings of the 9th international conference on Declarative Agent Languages and Technologies
Using incentive mechanisms for an adaptive regulation of open multi-agent systems
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume One
Persuading agents to act in the right way: An incentive-based approach
Engineering Applications of Artificial Intelligence
Interaction protocols for cross-organisational workflows
Knowledge-Based Systems
Semantic technologies for open interaction systems
Artificial Intelligence Review
Applied Computational Intelligence and Soft Computing
Architecture-centric support for adaptive service collaborations
ACM Transactions on Software Engineering and Methodology (TOSEM)
| Hi-index | 0.00 |
In this article we argue that open agent organisations can be effectively designed and implemented as institutionalized electronic organisations (electronic institutions) composed of a vast amount of heterogeneous (human and software) agents playing different roles and interacting by means of speech acts. Here we take the view that the design and development of electronic institutions must be guided by a principled methodology. Along this direction, we advocate for the presence of an underlying formal method that underpins the use of structured design techniques and formal analysis, facilitating development, composition and reuse. For this purpose we propose a specification formalism for electronic institutions that founds their design, analysis and development.