SPLAW: A computable agent-oriented programming language

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 operatio...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Object-Oriented Real-Time Distributed Computing (ISROC, `98), 1st International Symposium On s. 144 - 145
Hlavní autoři: Fan Xiaocong, Xu Dianxiang, Hou Jianmin, Zheng Guoliang
Médium: Konferenční příspěvek
Jazyk:angličtina
Vydáno: IEEE 1998
Témata:
Communication standards
Communication system control
Computer languages
Computer science
Control systems
Large-scale systems
Logic programming
Multiagent systems
Open systems
Testing
ISBN:9780818684302, 0818684305
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
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.
AbstractList 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.
Author Zheng Guoliang
Fan Xiaocong
Xu Dianxiang
Hou Jianmin
Author_xml – sequence: 1
  surname: Fan Xiaocong
  fullname: Fan Xiaocong
  organization: Dept. of Comput. Sci., Nanjing Univ., China
– sequence: 2
  surname: Xu Dianxiang
  fullname: Xu Dianxiang
– sequence: 3
  surname: Hou Jianmin
  fullname: Hou Jianmin
– sequence: 4
  surname: Zheng Guoliang
  fullname: Zheng Guoliang
BookMark eNotj8tKxEAURBt0QJ3JB-gqP5DYtzv9cheCj4HAiKO4HG6S2yGSF0lm4d8bGGtzoA4U1B277oeeGLsHHgNw97g_Hj6yGJyzsdbaWHHFAmcst2C1TSQXNyyY5x--Rjplubtl5viep99PYRqWQzeeFyxaCrGmfomGqVlBVThOQz1h1zV9HbbY1-fV79jGYztT8M8t-3p5_szeovzwus_SPGrAJEtE0ghuSp5gAVhqiZ6jSKTS4NdWyxK1slVlPCihACsFXliQQKV0vgCSW_Zw2W2I6DROTYfT7-nyTv4B2R1GLA
ContentType Conference Proceeding
DBID 6IE
6IL
CBEJK
RIE
RIL
DOI 10.1109/ISORC.1998.666782
DatabaseName IEEE Electronic Library (IEL) Conference Proceedings
IEEE Xplore POP ALL
IEEE Xplore All Conference Proceedings
IEEE/IET Electronic Library (IEL) (UW System Shared)
IEEE Proceedings Order Plans (POP All) 1998-Present
DatabaseTitleList
Database_xml – sequence: 1
  dbid: RIE
  name: IEEE Electronic Library (IEL)
  url: https://ieeexplore.ieee.org/
  sourceTypes: Publisher
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EndPage 145
ExternalDocumentID 666782
GroupedDBID 6IE
6IK
6IL
AAJGR
AAWTH
ACGHX
ALMA_UNASSIGNED_HOLDINGS
BEFXN
BFFAM
BGNUA
BKEBE
BPEOZ
CBEJK
OCL
RIB
RIC
RIE
RIL
ID FETCH-LOGICAL-i174t-e37207c04ab1ac63af0a243561f7c063ca658dd7f15251ad51f28131ec39fb1e3
IEDL.DBID RIE
ISBN 9780818684302
0818684305
ISICitedReferencesCount 0
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000073666900020&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
IngestDate Tue Aug 26 17:16:07 EDT 2025
IsPeerReviewed false
IsScholarly false
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-i174t-e37207c04ab1ac63af0a243561f7c063ca658dd7f15251ad51f28131ec39fb1e3
PageCount 2
ParticipantIDs ieee_primary_666782
PublicationCentury 1900
PublicationDate 19980000
PublicationDateYYYYMMDD 1998-01-01
PublicationDate_xml – year: 1998
  text: 19980000
PublicationDecade 1990
PublicationTitle Object-Oriented Real-Time Distributed Computing (ISROC, `98), 1st International Symposium On
PublicationTitleAbbrev ISORC
PublicationYear 1998
Publisher IEEE
Publisher_xml – name: IEEE
SSID ssj0000395809
Score 1.2591628
Snippet 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...
SourceID ieee
SourceType Publisher
StartPage 144
SubjectTerms Communication standards
Communication system control
Computer languages
Computer science
Control systems
Large-scale systems
Logic programming
Multiagent systems
Open systems
Testing
Title SPLAW: A computable agent-oriented programming language
URI https://ieeexplore.ieee.org/document/666782
WOSCitedRecordID wos000073666900020&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV09T8MwED3RioGpUIr4lgdWt3GcxDEbqqhgKRUfoltln22pAynqB78f20mLkFjYEseyoouseznfew_gplBScaZz6nTuaGa0ppqho8hMobPSMOFqswkxHpfTqZw0OtuRC2Otjc1nth8u41m-WeAmlMoGHmr7hNaClhBFTdXalVMSLvMykVHhMSjAByWrRl9ne582h5oskYPHl6fnYWDqlf160V_mKjG3jDr_eqtD6P1w9Mhkl32OYM9WXehsTRpIs2ePQYTukPdbckcwPgtUKaICoYougsaxR5ykadL68AuRbQGzB2-j-9fhA23cEujc_1WsqQ1-MwKTTGmmsODKJSr1YKhgzo8WHJUHG8b42Oce0yiTM5eWjDOLXDrNLD-BdrWo7CkQp1EgWjTS-uRlU5nqpDS5kVoL7qefQTeEYfZZC2LM6gic_zl6AQc1jS9ULS6hvV5u7BXs49d6vlpex4_4DaJ4mow
linkProvider IEEE
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3PT8IwFH5RNNETihh_24PXwrqu2-rNEAlERKIYuZH-TDjIDIJ_v203MCZevG1d0yxvad631_d9H8BNKrigRDJsJbM40VJiSZTFiuhUJrkmmS3NJrLhMJ9M-KjS2Q5cGGNMaD4zLX8ZzvJ1oVa-VNZ2UNsltG3YYUkSRyVZa1NQiShnecSDxqPXgPdaVpXCzvo-ro41ScTb_Zen547n6uWtctlf9iohu3Tr_3qvA2j-sPTQaJN_DmHLzBtQX9s0oGrXHkHm-0PebtEdUuGZJ0sh4SlVuPAqxw5zoqpN690thNYlzCa8du_HnR6u_BLwzP1XLLHxjjOZihIhiVApFTYSsYNDKbFuNKVKOLihtYs-c6hGaEZsnBNKjKLcSmLoMdTmxdycALJSZUoZpblx6cvEPJZRrpnmUmbUTT-Fhg_D9KOUxJiWETj7c_Qa9nrjx8F00B8-nMN-SerzNYwLqC0XK3MJu-prOftcXIUP-g3g_53T
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=Object-Oriented+Real-Time+Distributed+Computing+%28ISROC%2C+%6098%29%2C+1st+International+Symposium+On&rft.atitle=SPLAW%3A+A+computable+agent-oriented+programming+language&rft.au=Fan+Xiaocong&rft.au=Xu+Dianxiang&rft.au=Hou+Jianmin&rft.au=Zheng+Guoliang&rft.date=1998-01-01&rft.pub=IEEE&rft.isbn=9780818684302&rft.spage=144&rft.epage=145&rft_id=info:doi/10.1109%2FISORC.1998.666782&rft.externalDocID=666782
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9780818684302/lc.gif&client=summon&freeimage=true
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9780818684302/mc.gif&client=summon&freeimage=true
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9780818684302/sc.gif&client=summon&freeimage=true