OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Design by contract - Deontic design language for multiagent systems

Garion, Christophe and Van der Torre, Leon Design by contract - Deontic design language for multiagent systems. (2006) In: Coordination, organization, institutions and norms in agent systems I, 25-29 Jul 2005, Utrecht, Netherlands .

[img]
Preview
(Document in English)

PDF ( Author's version ) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
127kB

Official URL: http://dx.doi.org/10.1007/11775331_12

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

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to Springer editor. The definitive version is available at http://www.springerlink.com The original PDF of the article can be found at : http://www.springerlink.com/content/g710766418502368/
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution: Université de Toulouse > Institut Supérieur de l'Aéronautique et de l'Espace - ISAE
Other partners > University of Luxembourg (LUXEMBOURG)
Laboratory name:
Statistics:download
Deposited By: Christophe Garion

Repository Staff Only: item control page