Run-time environment for the SARL agent-programming language: the example of the Janus platform

2020 ◽  
Vol 107 ◽  
pp. 1105-1115 ◽  
Author(s):  
Stéphane Galland ◽  
Sebastian Rodriguez ◽  
Nicolas Gaud
Keyword(s):  
Programming Language ◽  
Agent Programming ◽  
Run Time

AUTOMATIC RESULT VERIFICATION BY COMPLETE RUN-TIME CHECKING OF COMPUTATIONS

2001 ◽  
Vol 12 (01) ◽  
pp. 97-124 ◽  
Author(s):  
EDGAR F. A. LEDERER ◽  
ROMEO A. DUMITRESCU
Keyword(s):  
Programming Language ◽  
Error Detection ◽  
Program Execution ◽  
Good Efficiency ◽  
Result Verification ◽  
Coordination Model ◽  
Functional Specification ◽  
Time Result ◽  
Run Time

Two-Stage Programming (2SP) is an experimental programming language, the first implementation of the Specification-Consistent Coordination Model (SCCM). The SCCM proposes a new, mixed-paradigm (functional/imperative) approach to developing reliable programs based on complete run-time checking of computations with respect to a given specification. A 2SP program consists of a functional specification and an imperative coordination tightly connected to the specification. The coordination maps the specification to an imperative and possibly parallel/distributed program. Normal termination of a 2SP program execution implies the correctness of the computed results with respect to the specification, for that execution. We present the basic feautures of the SCCM/2SP, a new message-spassing system of 2SP with integrated run-time checking, and a larger case study. We show that 2SP provides: functional specifications, specification-consistent imperative coordinations, automatic run-time result verification and error detection, enhanced debugging support, and good efficiency.

Fault-Tolerant Protocols Using Fault-Tolerance Programming Languages

2009 ◽  
pp. 161-174
Author(s):  
Vincenzo De Florio
Keyword(s):  
Fault Tolerance ◽  
Programming Languages ◽  
Programming Language ◽  
Fault Tolerant ◽  
Object Oriented ◽  
Significant Part ◽  
Functional Languages ◽  
Failure Handling ◽  
Run Time ◽  
Object Oriented Languages

The programming language itself is the focus of this chapter: Fault-tolerance is not embedded in the program (as it is the case e.g. for single-version fault-tolerance), nor around the language (through compilers or translators); on the contrary, faulttolerance is provided through the syntactical structures and the run-time executives of fault-tolerance programming languages. Also in this case a significant part of the complexity of dependability enforcement is moved from each single code to the architecture, in this case the programming language. Many cases exist of fault-tolerance programming languages; this chapter proposes a few of them, considering three cases: Object-oriented languages, functional languages, and hybrid languages. In particular it is discussed the case of Oz, a multi-paradigm programming language that achieves both transparent distribution and translucent failure handling.

On the Formal Specification and Verification of Multi-Agent Systems

1997 ◽  
Vol 06 (01) ◽  
pp. 37-65 ◽  
Author(s):  
Michael Fisher ◽  
Michael Wooldridge
Keyword(s):  
Programming Language ◽  
Formal Specification ◽  
Multi Agent Systems ◽  
Agent Systems ◽  
Agent Programming ◽  
Formal Specification And Verification ◽  
Multi Agent ◽  
Specification And Verification

This article describes first steps towards the formal specification and verification of multi-agent systems, through the use of temporal belief logics. The article first describes Concurrent METATEM, a multi-agent programming language, and then develops a logic that may be used to reason about Concurrent METATEM systems. The utility of this logic for specifying and verifying Concurrent METATEM systems is demonstrated through a number of examples. The article concludes with a brief discussion on the wider implications of the work, and in particular on the use of similar logics for reasoning about multi-agent systems in general.

SWAM: A logic-based mobile agent programming language for the Semantic Web

2011 ◽  
Vol 38 (3) ◽  
pp. 1723-1737 ◽  
Author(s):  
Marco Crasso ◽  
Cristian Mateos ◽  
Alejandro Zunino ◽  
Marcelo Campo
Keyword(s):  
Semantic Web ◽  
Programming Language ◽  
Mobile Agent ◽  
Agent Programming

An Internet Based Framework for Micro Devices Assembly

2006 ◽  
Author(s):  
N. Gobinath ◽  
J. Cecil ◽  
T. Son
Keyword(s):  
Life Cycle ◽  
Programming Language ◽  
Distributed Approach ◽  
Agent Programming ◽  
Oriented Approach

This paper outlines the design of an Internet based collaborative framework to support the rapid assembly of micro devices. With the help of an agent programming language called 3APL, a distributed approach to achieving the life cycle of the various phases in the assembly of micro devices has been implemented. A discussion of the various agent resources created for a VE oriented approach is also provided in this paper.

scholarly journals Belief Revision in the GOAL Agent Programming Language

2013 ◽  
Vol 2013 ◽  
pp. 1-11 ◽  
Author(s):  
Johannes Svante Spurkeland ◽  
Andreas Schmidt Jensen ◽  
Jørgen Villadsen
Keyword(s):  
Programming Language ◽  
Belief Revision ◽  
Multiagent System ◽  
Revision Procedure ◽  
Agent Programming

Agents in a multiagent system may in many cases find themselves in situations where inconsistencies arise. In order to properly deal with these, a good belief revision procedure is required. This paper illustrates the usefulness of such a procedure: a certain belief revision algorithm is considered in order to deal with inconsistencies and, particularly, the issue of inconsistencies, and belief revision is examined in relation to the GOAL agent programming language.

Sign in / Sign up

Export Citation Format

Share Document