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...
Saved in:
| Published in: | Object-Oriented Real-Time Distributed Computing (ISROC, `98), 1st International Symposium On pp. 144 - 145 |
|---|---|
| Main Authors: | , , , |
| Format: | Conference Proceeding |
| Language: | English |
| Published: |
IEEE
1998
|
| Subjects: | |
| ISBN: | 9780818684302, 0818684305 |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| 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 Electronic Library (IEL) 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.2592579 |
| 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/eLvHCXMwlV1LTwIxEJ4I8eAJRYzv9OC1sKXQdr0ZItELEh-RG-n2kXAQDA9_vzPdBWPixVu33TRNJ81Mp_N9H8CNNYXVeG44WZj3CtHnJkaqfwoOw31lM-mS2IQejcxkko8rnu2EhQkhpOKz0KZmesv3C7ehVFkHQ210aDWoaa1KqNYunZLJvG-yPDE8EgM8MVlV_Drb7271qCmyvPP48vQ8IKSeaZeT_hJXSb5l2PjXqg6h9YPRY-Od9zmCvTBvQmMr0sCqM3sMmqpD3m_ZHXNpjKBSzBKgii-I4xgjTlYVaX3gRGybwGzB2_D-dfDAK7UEPsNbxZoH0pvRLuvZQlinpI2Z7WIwpETEXiWdxWDDex1J8UhY3xexa4REm8g8FiLIE6jPF_NwCszhbzp4q5RRPR29Cd6g1bLcSIvXD3cGTdqG6WdJiDEtd-D8z94LOChhfJS1uIT6erkJV7Dvvtaz1fI6GfEbwBiZNw |
| linkProvider | IEEE |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3PT8IwFH5RNNETihh_24PXQbtua-fNEAlERKIYuZGuaxMOMoPg329fNzAmXrx17dI0fWne6-v7vg_gRslMCXduArRwEGUsDqS1WP9ktAv3E0W59mITYjiUk0k6qni2PRbGGOOLz0wLm_4tPy_0ClNlbRdqO4e2DTtxFIW0BGttEiqUp7Gkqed4RA545LKqGHbW32H1rMlo2u6_PD13EKsnW-W0v-RVvHfp1v-1rgNo_qD0yGjjfw5hy8wbUF_LNJDq1B6BwPqQt1tyR7QfQ7AUUQipCgpkOXYxJ6nKtN7dRGSdwmzCa_d-3OkFlV5CMHP3imVgUHFGaBqpjCmdcGWpCl04lDDrehOulQs38lxY1DxiKo-ZDSXjzio8tRkz_Bhq82JuToBo95swuUoSmUTC5tLk0tmNppIrdwHRp9DAbZh-lJQY03IHzv7svYa93vhxMB30hw_nsF-C-jCHcQG15WJlLmFXfy1nn4srb9Bv7Qmcfg |
| 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 |

