KQML as an agent communication language
Software agents
The role of deontic logic in the specification of information systems
Logics for databases and information systems
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
Open protocol design for complex interactions in multi-agent systems
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
The Gaia Methodology for Agent-Oriented Analysis and Design
Autonomous Agents and Multi-Agent Systems
Distributed and Parallel Databases
Concurrency in CoOperative Objects
HIPS '97 Proceedings of the 1997 Workshop on High-Level Programming Models and Supportive Environments (HIPS '97)
On Agent-Mediated Electronic Commerce
IEEE Transactions on Knowledge and Data Engineering
Communication in Multiagent Systems
Communication in Multiagent Systems
Protocol Moderators as Active Middle-Agents in Multi-Agent Systems
Autonomous Agents and Multi-Agent Systems
Enactment of Inter-Organizational Workflows Using Aspect-Element-Oriented Web Services
DEXA '04 Proceedings of the Database and Expert Systems Applications, 15th International Workshop
Interaction Protocols as Design Abstractions for Business Processes
IEEE Transactions on Software Engineering
Representing, analysing and managing web service protocols
Data & Knowledge Engineering - Special issue: ER 2004
Agent-based negotiation and decision making for dynamic supply chain formation
Engineering Applications of Artificial Intelligence
Protocol engineering for web services conversations
Engineering Applications of Artificial Intelligence
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Hi-index | 0.00 |
Multi-agent systems are known to be an adequate design paradigm to build cooperative information systems. The efficient and effective use of agent technology in organizations requires structuring the design of cooperative information systems upon protocols. To properly capture and implement the concepts involved in the operation of an organization, protocols have to meet three requirements: (1) being able to take into account and to integrate three interdependent and complementary concerns of organizations (the informational, organizational and behavioral dimensions), (2) dealing with the deontic aspects (obligations, permissions and prohibitions) of interaction rules, (3) supporting concurrency, openness and reliability. Petri net (PN) dialects are formalisms known to be well adapted to model protocols and to cope easily with the last requirement. Moreover, they cover all the protocol engineering life cycle (specification, analysis and simulation), including the implementation thanks to their operational semantics. However, existing PN dialects do not deal simultaneously with the first two requirements. In this paper, a new Petri net-based formalism called organizational Petri nets (OgPN) is proposed. OgPN satisfies the three previous requirements in a formal and coherent framework. It also provides a process to design and develop OgPN models. The advantages of this formalism are: (1) an easy integration of the designed protocols in organizations, (2) the possibility to simulate these protocols before their deployment and (3) the possibility to analyze their behavioral properties. Thus, OgPN is a serious candidate formalism to specify protocols in cooperative information systems and may be included in agent-oriented methodologies like GAIA or MOISE+.