SPLAW: A Computable Language for Agent-oriented Programming

Fan Xiaocong, X. U. Dianxiang, Hou Jianmin, Zheng Guoliang

Research output: Contribution to journalArticlepeer-review


Agent oriented programming (AOP), which is a special kind of object-oriented programming, has recently been discussed from several viewpoints. It can be worked out best for open systems and has the potential to become a very attractive technique in the future. In this paper, we describe a specification and programming language - SPLAW, for BDI agent. The syntax and operational semantics of SPLAW are presented, and by means of labeled transition system; the proof theory is also provided. SPLAW has two advantages. First, it 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. And second, it has the correspondent relationship between its operational semantics and proof theory. Owing to these, we hope that SPLAW will provide a feasible solution to bridge the gap between theory and practice.

Original languageEnglish (US)
Pages (from-to)61-69
Number of pages9
JournalSIGPLAN Notices (ACM Special Interest Group on Programming Languages)
Issue number1
StatePublished - Jan 1998

All Science Journal Classification (ASJC) codes

  • Software
  • Computer Graphics and Computer-Aided Design


Dive into the research topics of 'SPLAW: A Computable Language for Agent-oriented Programming'. Together they form a unique fingerprint.

Cite this