<?xml version="1.0" encoding="utf-8"?>
<?xml-stylesheet href="client.xsl" type="text/xsl"?>
<article article-type="other">
<front>
<journal-meta>
<journal-id/>
<issn/>
<banner>
<!--<href>banner.jpg</href>-->
<size width="100%"/>
</banner>
</journal-meta>
<article-meta>
<title-group>
<article-title>ARTS: Agent-oriented Robust Transactional System&#42;</article-title>
</title-group>

<author><a href="mailto:minwang@csse.unimelb.edu.au"><name>Mingzhong Wang</name></a></author>
<aff>Dept. of Computer Science and Software Engineering, The University of Melbourne, VIC 3010, Australia</aff>

<author><a href="mailto:unruh@csse.unimelb.edu.au"><name>Amy Unruh</name></a></author>
<aff>Dept. of Computer Science and Software Engineering, The University of Melbourne, VIC 3010, Australia</aff>

<author><a href="mailto:rao@csse.unimelb.edu.au"><name>Kotagiri Ramamohanarao</name></a></author>
<aff>Dept. of Computer Science and Software Engineering, The University of Melbourne, VIC 3010, Australia</aff>

</article-meta></front>
<body>
<abstract>
<title>ABSTRACT</title>
<p>This paper presents the ARTS (Agent-oriented Robust Transactional System) model, which applies transaction concepts to provide agent developers with high-level support for agent system robustness and reliability. ARTS abstractly considers agents as executors of encapsulated task entities which comply with a set of execution constraints on both normative execution and compensation (repair) semantics. ARTS then defines the task interface in terms of predictable terminating states to support a contract-like interaction among agents. In conjunction with this encapsulation of task semantics, ARTS defines a model for specifying scoped compensation and exception-handling plans for a given task, and for systematically selecting and executing these plans &#8212; triggered by subtask events &#8212; so that the enclosing task semantics are enforced. These capabilities together define a model that reduces design complexity while increasing system robustness, by allowing an agent developer to compose recursively-defined, atomically-handled tasks.</p>
</abstract>
<fpdf>
<href>pdflogo.jpg</href>
<hpdf>AAMAS07_0290_0a77512584d6edc612e52bf9f0195e1a</hpdf>
</fpdf>
</body>
</article>

