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.259187 |
| 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/eLvHCXMwlV09T8MwED1BxcBUKEV8ywOrW1-SxjEbqqhAQqXis1vl2GepAy0qLb8f20mLkFjYEkexIlvRPd_dew_gMrElKmkL7oN1j2dGEFcmRW6V1FYhaYzlgtd7ORwW47Ea1TrbkQtDRLH5jDrhMtby7dysQqqs66G2D2jbsC1lXlG1NukUkapeIVRUeAwK8EHJqtbXWd8ndVETherePT089gNTr-hUk_4yV4mxZdD811ftQfuHo8dGm-izD1s0a0FzbdLA6n_2AGToDnm7YtfMxGeBKsV0IFTxedA49oiT1U1a734itk5gtuFlcPPcv-W1WwKf-lPFklPwm5FGZLpEbfJUO6ETD4ZydH40T432YMNa6YLjEWrbQ5cUmCKZVLkSKT2Exmw-oyNgZSY9qhI6o7LM4muCUDjU0iXGH7COoRWWYfJRCWJMqhU4-XP0FHYrGl_IWpxBY7lY0TnsmK_l9HNxETfxGwFImJU |
| linkProvider | IEEE |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1NTwIxEJ0omugJRYzf9uC10G67dOvNEAlERKL4cSPdfiQcBIPg77ftLhgTL952u9lm02YzrzPz3gO4SkxOpTAZ9sE6xVwTi6VmFBsplJHUKhrLBS99MRhkb29yWOpsRy6MtTY2n9lGuIy1fDPTy5Aqa3qo7QPaJmylnCekIGutEyqEyTQjMmo8Bg34oGVVKuys7pOyrEmJbPaeHh7bgauXNYppf9mrxOjSqf7ru_ag_sPSQ8N1_NmHDTutQXVl04DKv_YAROgPeb1GN0jHZ4EshVSgVOFZUDn2mBOVbVrvfiK0SmHW4blzO2p3cemXgCf-XLHANjjOCE24yqnSLaYcUYmHQy3q_GiLaeXhhjHCBc8jqkxKXZJRRq1m0uXUskOoTGdTewQo58LjKqK4zXMeXyOWEkeVcIn2R6xjqIVlGH8UkhjjYgVO_hy9hJ3u6L4_7vcGd6ewW5D6Qg7jDCqL-dKew7b-Wkw-5xdxQ78BJh2b3A |
| 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 |

