Title :
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
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;
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
DOI :
10.1109/ISORC.1998.666782
