SPLAW: A computable agent-oriented programming language

Author

Xiaocong, Fan ; Dianxiang, Xu ; Jianmin, Hou ; Guoliang, Zheng

Author_Institution

Dept. of Comput. Sci., Nanjing Univ., China

fYear

1998

fDate

20-22 Apr 1998

Firstpage

144

Lastpage

145

Abstract

Agent oriented programming (AOP) is a special kind of object-oriented programming. It can be worked out best for open systems and has the potentials to become a very attractive technique in the future. In this paper, we describe a specification and programming language-SPLAW. The syntax and operational semantics of SPLAW are presented, and by means of labeled transition system, the proof theory is also provided. SPLAW is based on KQML, the standard inter-agent communication language, which makes it possible for agents written in SPLAW to interoperate with other agents obeying KQML

Keywords

object-oriented languages; software agents; specification languages; KQML; SPLAW; agent oriented programming; agent-oriented programming language; inter-agent communication language; labeled transition system; object-oriented programming; proof theory; specification and programming language; Communication standards; Communication system control; Computer languages; Computer science; Control systems; Large-scale systems; Logic programming; Multiagent systems; Open systems; Testing;

fLanguage

English

Publisher

ieee

Conference_Titel

Object-Oriented Real-time Distributed Computing, 1998. (ISORC 98) Proceedings. 1998 First International Symposium on

Conference_Location

Kyoto

Print_ISBN

0-8186-8430-5

Type

conf

DOI

10.1109/ISORC.1998.666782

Filename

666782