Cecil: A Sequencing Constraint Language for Automatic Static Analysis Generation
IEEE Transactions on Software Engineering
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
On social laws for artificial agent societies: off-line design
Artificial Intelligence - Special volume on computational research on interaction and agency, part 2
Patterns in property specifications for finite-state verification
Proceedings of the 21st international conference on Software engineering
Model checking
PROPEL: an approach supporting property elucidation
Proceedings of the 24th International Conference on Software Engineering
The Vision of Autonomic Computing
Computer
Modeling Organizational Rules in the Multi-agent Systems Engineering Methodology
AI '02 Proceedings of the 15th Conference of the Canadian Society for Computational Studies of Intelligence on Advances in Artificial Intelligence
Efficient Detection of Global Properties in Distributed Systems Using Partial-Order Methods
CAV '00 Proceedings of the 12th International Conference on Computer Aided Verification
POLICY '03 Proceedings of the 4th IEEE International Workshop on Policies for Distributed Systems and Networks
Representation and reasoning for DAML-based policy and domain services in KAoS and nomads
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
EASE '06 Proceedings of the Third IEEE International Workshop on Engineering of Autonomic & Autonomous Systems
Security in multiagent systems by policy randomization
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Symbolic model checking of institutions
Proceedings of the ninth international conference on Electronic commerce
A capabilities-based model for adaptive organizations
Autonomous Agents and Multi-Agent Systems
Specifying norm-governed computational societies
ACM Transactions on Computational Logic (TOCL)
Using design metrics for predicting system flexibility
FASE'06 Proceedings of the 9th international conference on Fundamental Approaches to Software Engineering
O-MaSE: a customisable approach to designing and building complex, adaptive multi-agent systems
International Journal of Agent-Oriented Software Engineering
Hi-index | 0.00 |
Policies have traditionally been a way to specify properties of a system. In this paper, we show how policies can be applied to the Organization Model for Adaptive Computational Systems (OMACS). In OMACS, policies may constrain assignments of agents to roles, the structure of the goal model for the organization, or how an agent may play a particular role. In this paper, we focus on policies limiting system traces; this is done to leverage the work already done for specification and verification of properties in concurrent programs. We show how traditional policies can be characterized as law policies; that is, they must always be followed by a system. In the context of multiagent systems, law policies limit the flexibility of the system. Thus, in order to preserve the system flexibility while still being able to guide the system into preferring certain behaviors, we introduce the concept of guidance policies. These guidance policiesneed not always be followed; when the system cannot continue with the guidance policies, they may be suspended. We show how this can guide how the system achieves the top-level goal while not decreasing flexibility of the system. Guidance policiesare formally defined and, since multiple guidance policiescan introduce conflicts, a strategy for resolving conflicts is given.