Design By Contract Deontic Design Language for Multiagent Systems (bibtex)
by C. Garion, L. van der Torre
Abstract:
Design by contract is a well known theory that views software construction as based on contracts between clients (callers) and suppliers (routines), relying on mutual obligations and benefits made explicit by assertions. However, there is a gap between this theory and software engineering concepts and tools. For example, dealing with contract violations is realized by exception handlers, whereas it has been observed in the area of deontic logic in computer science that violations and exceptions are distinct concepts that should not be confused. To bridge this gap, we propose a software design language based on temporal deontic logic. Moreover, we show how preferences over the possible outcomes of a supplier can be added. We also discuss the relation between the normative stance toward systems implicit in the design by contract approach and the intentional or BDI stance popular in agent theory.
Reference:
Design By Contract Deontic Design Language for Multiagent Systems (C. Garion, L. van der Torre), In Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems AAMAS 2005 International Workshops on Agents, Norms, and Institutions for Regulated Multiagent Systems, ANIREM 2005 and on Organizations in Multi-Agent Systems, OOOP 2005, Springer, volume 3913, 2006.
Bibtex Entry:
@InProceedings{Garion2006,
  Title                    = {Design By Contract Deontic Design Language for Multiagent Systems},
  Author                   = {C. Garion and L. van der Torre},
  Booktitle                = {Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems AAMAS 2005 International Workshops on Agents, Norms, and Institutions for Regulated Multiagent Systems, ANIREM 2005 and on Organizations in Multi-Agent Systems, OOOP 2005},
  Year                     = {2006},

  Address                  = {Berlin},
  Pages                    = {170-182},
  Publisher                = {Springer},
  Series                   = {LNAI},
  Volume                   = {3913},

  Abstract                 = {Design by contract is a well known theory that views software construction as based on contracts between clients (callers) and suppliers (routines), relying on mutual obligations and benefits made explicit by assertions. However, there is a gap between this theory and software engineering concepts and tools. For example, dealing with contract violations is realized by exception handlers, whereas it has been observed in the area of deontic logic in computer science that violations and exceptions are distinct concepts that should not be confused. To bridge this gap, we propose a software design language based on temporal deontic logic. Moreover, we show how preferences over the possible outcomes of a supplier can be added. We also discuss the relation between the normative stance toward systems implicit in the design by contract approach and the intentional or BDI stance popular in agent theory.},
  Affiliation              = {icr},
  Bdsk-url-1               = {http://icr.uni.lu/leonvandertorre/papers/anirem05a.pdf},
  Timestamp                = {2013.07.26},
  Url                      = {http://icr.uni.lu/leonvandertorre/papers/anirem05a.pdf}
}
Powered by bibtexbrowser