Reference : Design By Contract Deontic Design Language for Multiagent Systems
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/25320
Design By Contract Deontic Design Language for Multiagent Systems
English
Garion, C. [> >]
van der Torre, Leon mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
2006
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
LNAI 3913
170–182
Yes
978-3-540-35173-3
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
2006
[en] software construction ; contracts between clients
[en] 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.
Researchers ; Professionals ; Students ; General public ; Others
http://hdl.handle.net/10993/25320
10.1007/11775331_12
http://link.springer.com/chapter/10.1007/11775331_12
3913

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
Garion_530.pdfPublisher postprint124.97 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.