Programming in Prolog (2nd ed.)
Programming in Prolog (2nd ed.)
The Imposition of Protocols Over Open Distributed Systems
IEEE Transactions on Software Engineering
Coordination languages and their significance
Communications of the ACM
The interdisciplinary study of coordination
ACM Computing Surveys (CSUR)
Communications of the ACM
Gamma and the chemical reaction model: ten years after
Coordination programming
Coordination programming
The role of deontic logic in the specification of information systems
Logics for databases and information systems
Multiparty negotiation of dynamic distributed object services
Science of Computer Programming
Practical guidelines for boosting Java server performance
JAVA '99 Proceedings of the ACM 1999 conference on Java Grande
Performance limitations of the Java core libraries
JAVA '99 Proceedings of the ACM 1999 conference on Java Grande
Ensuring integrity by adding obligations to privileges
ICSE '85 Proceedings of the 8th international conference on Software engineering
Making tuple spaces safe for heterogeneous distributed systems
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
Specifying Reusable Components Using Contracts
ECOOP '92 Proceedings of the European Conference on Object-Oriented Programming
A Language Framework for Multi-Object Coordination
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Abstracting Object Interactions Using Composition Filters
ECOOP '93 Proceedings of the Workshop on Object-Based Distributed Programming
Enhancing Coordination and Modularity Mechanisms for a Language with Objects-as-Multisets
COORDINATION '96 Proceedings of the First International Conference on Coordination Languages and Models
Designing a Coordination Model for Open Systems
COORDINATION '96 Proceedings of the First International Conference on Coordination Languages and Models
Regulated Coordination in Open Distributed Systems
COORDINATION '97 Proceedings of the Second International Conference on Coordination Languages and Models
SONIA: An Adaptation of LINDA for Coordination of Activities in Organisations
COORDINATION '96 Proceedings of the First International Conference on Coordination Languages and Models
Building reconfiguration primitives into the law of a system
ICCDS '96 Proceedings of the 3rd International Conference on Configurable Distributed Systems
A Mechanism for Establishing Policies for Electronic Commerce
ICDCS '98 Proceedings of the The 18th International Conference on Distributed Computing Systems
A Communication Agreement Framework for Access/Action Control
SP '96 Proceedings of the 1996 IEEE Symposium on Security and Privacy
Unified support for heterogeneous security policies in distributed systems
SSYM'98 Proceedings of the 7th conference on USENIX Security Symposium - Volume 7
Engineering mobile-agent applications via context-dependent coordination
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Obvious or not?: regulating architectural decisions using aspect-oriented programming
AOSD '02 Proceedings of the 1st international conference on Aspect-oriented software development
Law-governed peer-to-peer auctions
Proceedings of the 11th international conference on World Wide Web
Engineering Mobile Agent Applications via Context-Dependent Coordination
IEEE Transactions on Software Engineering
Supporting internet-scale multi-agent systems
Data & Knowledge Engineering - DKE 40
Establishing Enterprise Communities
EDOC '01 Proceedings of the 5th IEEE International Conference on Enterprise Distributed Object Computing
Engineering Infrastructures for Mobile Organizations
ESAW '01 Proceedings of the Second International Workshop on Engineering Societies in the Agents World II
Establishing Business Rules for Inter-Enterprise Electronic Commerce
DISC '00 Proceedings of the 14th International Conference on Distributed Computing
An RBAC Based Policy Enforcement Coordination Model in Internet Environment
EDCIS '02 Proceedings of the First International Conference on Engineering and Deployment of Cooperative Information Systems
Regulating Work in Digital Enterprises: A Flexible Managerial Framework
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Law-Governed Internet Communities
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
Scalable Regulation of Inter-enterprise Electronic Commerce
WELCOM '01 Proceedings of the Second International Workshop on Electronic Commerce
Abstractions and Infrastructures for the Design and Development of Mobile Agent Organizations
AOSE '01 Revised Papers and Invited Contributions from the Second International Workshop on Agent-Oriented Software Engineering II
POLICY '02 Proceedings of the 3rd International Workshop on Policies for Distributed Systems and Networks (POLICY'02)
Obligation Monitoring in Policy Management
POLICY '02 Proceedings of the 3rd International Workshop on Policies for Distributed Systems and Networks (POLICY'02)
The Specification and Enforcement of Advanced Security Policies
POLICY '02 Proceedings of the 3rd International Workshop on Policies for Distributed Systems and Networks (POLICY'02)
Provisions and Obligations in Policy Rule Management
Journal of Network and Systems Management
COSAR: commitment-oriented "sense and respond" system for microelectronic manufacturing
Proceedings of the 2003 ACM symposium on Applied computing
SynchNet: a Petri net based coordination language for distributed objects
Proceedings of the 2nd international conference on Generative programming and component engineering
Proceedings of the 2004 ACM symposium on Applied computing
On the role of roles: from role-based to role-sensitive access control
Proceedings of the ninth ACM symposium on Access control models and technologies
Decentralized Peer-to-Peer Auctions
Electronic Commerce Research
Using certified policies to regulate E-commerce transactions
ACM Transactions on Internet Technology (TOIT)
Policy-driven configuration and management of agent based distributed systems
SELMAS '05 Proceedings of the fourth international workshop on Software engineering for large-scale multi-agent systems
BAR fault tolerance for cooperative services
Proceedings of the twentieth ACM symposium on Operating systems principles
Implementing Fair Non-repudiable Interactions with Web Services
EDOC '05 Proceedings of the Ninth IEEE International EDOC Enterprise Computing Conference
Towards specification, modelling and analysis of fault tolerance in self managed systems
Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems
On fault tolerance in law-governed multi-agent systems
Proceedings of the 2006 international workshop on Software engineering for large-scale multi-agent systems
Refinement operators to facilitate the reuse of interaction laws in open multi-agent systems
Proceedings of the 2006 international workshop on Software engineering for large-scale multi-agent systems
Science of Computer Programming - Special issue on security issues in coordination models, languages, and systems
Software—Practice & Experience
Decentralized enforcement of security policies for distributed computational systems
Proceedings of the 2007 ACM symposium on Applied computing
Intermediation for trust-enabling networked decentralized exchange systems
Proceedings of the 13th Eurpoean conference on Cognitive ergonomics: trust and control in complex socio-technical systems
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
An executable specification of a formal argumentation protocol
Artificial Intelligence
The concept of decentralized and secure electronic marketplace
Electronic Commerce Research
INFRASTRUCTURE FOR RBAC-MAS: AN APPROACH BASED ON AGENT COORDINATION CONTEXTS
Applied Artificial Intelligence
A Peer-to-Peer Normative System to Achieve Social Order
Coordination, Organizations, Institutions, and Norms in Agent Systems II
On Fault Tolerance in Law-Governed Multi-agent Systems
Software Engineering for Multi-Agent Systems V
Specifying norm-governed computational societies
ACM Transactions on Computational Logic (TOCL)
On shouting "Fire!": regulating decoupled communication in distributed systems
Proceedings of the ACM/IFIP/USENIX 2003 International Conference on Middleware
Generalized access control of synchronous communication
Proceedings of the ACM/IFIP/USENIX 2006 International Conference on Middleware
An event-driven high level model for the specification of laws in open multi-agent systems
Journal of Systems and Software
Specifying Open Agent Systems: A Survey
Engineering Societies in the Agents World IX
Issues in Designing Logical Models for Norm Change
Organized Adaption in Multi-Agent Systems
Representing and reasoning about commitments in business processes
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
General-Purpose Coordination Abstractions for Managing Interaction in MAS
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 03
Programming Normative Artifacts with Declarative Obligations and Prohibitions
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
Collective intelligence in law enforcement - The WikiCrimes system
Information Sciences: an International Journal
RBAC for Organisation and Security in an Agent Coordination Infrastructure
Electronic Notes in Theoretical Computer Science (ENTCS)
Architecting for reuse: a software framework for automated negotiation
AOSE'02 Proceedings of the 3rd international conference on Agent-oriented software engineering III
Regularity-based trust in cyberspace
iTrust'03 Proceedings of the 1st international conference on Trust management
Establishing global properties of multi-agent systems via local laws
E4MAS'06 Proceedings of the 3rd international conference on Environments for multi-agent systems III
E4MAS'06 Proceedings of the 3rd international conference on Environments for multi-agent systems III
A norm-governed systems perspective of ad hoc networks
ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII
Using testimonies to enforce the behavior of agents
COIN'07 Proceedings of the 2007 international conference on Coordination, organizations, institutions, and norms in agent systems III
Taming agents and objects in software engineering
Software engineering for large-scale multi-agent systems
The reflective blackboard pattern: architecting large multi-agent systems
Software engineering for large-scale multi-agent systems
The regularity principle of self-management
Proceedings of the second international workshop on Self-organizing architectures
Middleware for supporting inter-organizational interactions
Future directions in distributed computing
Formalization and management of group obligations
POLICY'09 Proceedings of the 10th IEEE international conference on Policies for distributed systems and networks
Channel-based coordination via constraint satisfaction
Science of Computer Programming
Review: coordination models and languages: From parallel computing to self-organisation
The Knowledge Engineering Review
Norm enforceability in electronic institutions?
COIN@AAMAS'10 Proceedings of the 6th international conference on Coordination, organizations, institutions, and norms in agent systems
Initial steps towards run-time support for norm-governed systems
COIN@AAMAS'10 Proceedings of the 6th international conference on Coordination, organizations, institutions, and norms in agent systems
A middleware model in alloy for supply chain-wide agent interactions
AOSE'10 Proceedings of the 11th international conference on Agent-oriented software engineering
Formal enforcement and management of obligation policies
Data & Knowledge Engineering
Generalized access control of synchronous communication
Middleware'06 Proceedings of the 7th ACM/IFIP/USENIX international conference on Middleware
A tool to facilitate agent deliberation
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Distributed norm management for multi-agent systems
Expert Systems with Applications: An International Journal
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
Bridging the gap between inter-communication boundary and internal trusted components
ESORICS'06 Proceedings of the 11th European conference on Research in Computer Security
A software framework for automated negotiation
Software Engineering for Multi-Agent Systems III
Policy-Driven configuration and management of agent based distributed systems
Software Engineering for Multi-Agent Systems IV
Analysis and design of physical and social contexts in multi-agent systems
Software Engineering for Multi-Agent Systems IV
ESAW'05 Proceedings of the 6th international conference on Engineering Societies in the Agents World
Actors, roles and coordinators — a coordination model for open distributed and embedded systems
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
Normative specification: a tool for trust and security
FAST'05 Proceedings of the Third international conference on Formal Aspects in Security and Trust
A distributed architecture for enforcing norms in open MAS
AAMAS'11 Proceedings of the 10th international conference on Advanced Agent Technology
Dreams: a framework for distributed synchronous coordination
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Dynamic composition of coordination abstractions for pervasive systems: the case of LogOp
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Decentralized governance of distributed systems via interaction control
Logic Programs, Norms and Action
Open issues for normative multi-agent systems
AI Communications
COORDINATION'12 Proceedings of the 14th international conference on Coordination Models and Languages
MaNEA: A distributed architecture for enforcing norms in open MAS
Engineering Applications of Artificial Intelligence
Contributions to the emergence and consolidation of Agent-oriented Software Engineering
Journal of Systems and Software
Formal specification and management of security policies with collective group obligations
Journal of Computer Security
Hi-index | 0.00 |
Software technology is undergoing a transition form monolithic systems, constructed according to a single overall design, into conglomerates of semiautonomous, heterogeneous, and independently designed subsystems, constructed and managed by different organizations, with little, if any, knowledge of each other. Among the problems inherent in such conglomerates, none is more serious than the difficulty to control the activities of the disparate agents operating in it, and the difficulty for such agents to coordinate their activities with each other. We argue that the nature of coordination and control required for such systems calls for the following principles to be satisfied: (1) coordination policies need to be enforced: (2) the enforcement needs to be decentralized; and (3) coordination policies need to be formulated explicitly—rather than being implicit in the code of the agents involved—and they should be enforced by means of a generic, broad spectrum mechanism; and (4) it should be possible to deploy and enforce a policy incrementally, without exacting any cost from agents and activities not subject to it. We describe a mechansim called law-governed interaction (LGI), currently implemented by the Moses toolkit, which has been designed to satisfy these principles. We show that LGI is at least as general as a conventional centralized coordination mechanism (CCM), and that it is more scalable, and generally more efficient, then CCM.