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 Accès Toulouse INP et ENVT - IEEE Xplore POP ALL IEEE Xplore All Conference Proceedings IEEE Xplore 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.259234 |
| 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/eLvHCXMwlV1NSwMxEA22ePBUrRW_ycFr2s0mu9l4k2JRkFr8wN5Kkp1AD7ZSt_5-M9ltRfDibZNAWBLCvEzmvUfIFUBmEss9U1kOTGohWZFJz0IkFMCtsKaMriUPajwuplM9aXS2IxcGAGLxGfTxM77ll0u3xlTZIEDtENBapKVUXlO1tumUROisSHRUeEQFeFSyavR1Nu20edTkiR7cPz8-DZGpV_TrSX-Zq8TYMur866_2Se-Ho0cn2-hzQHZg0SWdjUkDbc7sIVFYHfJ2TW-oi2NIlaIGCVVsiRrHAXHSpkjrPUxENwnMHnkd3b4M71jjlsDm4VZRMUC_GeUSaSw3LhfGJyYNYCjnPvTmwpkANspSeXQ84mELuE8LLjg4ob3lII5Ie7FcwDGhRoRxrm2emVJ6hBTI31Wps1JIZ-QJ6eIyzD5qQYxZvQKnf_aekb2axodZi3PSrlZruCC77quaf64u4yZ-A2IYmKQ |
| linkProvider | IEEE |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1NTwIxEJ0omugJRYzf9uC1sN12P-rNEAlERKIYuZFut004yBoEf7-d7oIx8eJt2ybNpk0zr9N57wHcGBOpIGOWJlFsqJBc0DQSlrpIyA3LeKZy71oySIbDdDKRo0pn23NhjDG--My08NO_5eeFXmGqrO2gtgto27ATCREGJVlrk1AJuIzSQHqNR9SARy2rSmFn3Q6rZ00WyHb_5em5g1y9tFVO-8texUeXbv1f_3UAzR-WHhlt4s8hbJl5A-prmwZSndojSLA-5O2W3BHtx5AsRRRSqmiBKscOc5KqTOvdTUTWKcwmvHbvx50erfwS6MzdK5bUoONMogOhMqZ0zJUNVOjgUMys6425Vg5u5Hli0fOIuU1gNkwZZ0ZzaTNm-DHU5sXcnABR3I0zmcWRyoVFUIEM3iTUmeBCK3EKDVyG6UcpiTEtV-Dsz95r2OuNHwfTQX_4cA77JakPcxgXUFsuVuYSdvXXcva5uPIb-g2IA5vr |
| 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 |

