Edinburgh Research Explorer

A Lightweight Method for Coordination of Agent Oriented Web Services

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationDeclarative Agent Languages and Technologies II
Subtitle of host publicationSecond International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers
PublisherSpringer Berlin Heidelberg
Pages183-197
Number of pages15
ISBN (Electronic)978-3-540-31927-6
ISBN (Print)978-3-540-26172-8
DOIs
Publication statusPublished - 2004

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin Heidelberg
Volume3476
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Abstract

The concept of a social norm is used in multi-agent systems to specify behaviours required of agents interacting in a given social context. We describe a method for specifying a class of social norms that is more compact than existing methods without loss of generality and permits simple but powerful mechanisms for analysis and deployment. We explain the method and how to compute with it. Specifically, we show how it relates to a well known system for enforcing social norms – the ISLANDER system – and compare it to performative languages.

ID: 3508479