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 Proceedings Order Plan All Online (POP All Online) 1998-present by volume 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/eLvHCXMwlV1LSwMxEB5s8eCpWiu-ycFr2jy2ycabFIuC1OIDeyvZbAI92Ept_f1mstuK4MXbJgthmSWZR-b7PoArlRdx13BDS6MMzVQoqc0Vo_E4LrRgoSjLxDP7oEejfDIx45pnO2FhvPep-cx38THd5ZcLt8ZSWS-G2tGhNaChta6gWttyCpOmnzOTGB6RAR6ZrGp-nc1Y1JeanJne_fPj0wCRenm3WvSXuEryLcPWv75qHzo_GD0y3nqfA9jx8za0NiINpN6zh6CxO-TtmtwQl94hVIpYBFTRBXIcx4iT1E1a73EhsilgduB1ePsyuKO1WgKdxaxiRT3qzWjHMltw65S0gVkRgyHFQ5xV0tkYbETLB1Q84rbs8yByLrl30oSCe3kEzfli7o-BGFEiDU9MpqzPXEzgTGalsJgKWltk4gTaaIbpR0WIMa0scPrn7BnsVTA-rFqcQ3O1XPsL2HVfq9nn8jL9xG_dhJkG |
| linkProvider | IEEE |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3PT8IwFH5RNNETihh_24PXwtqVbvVmiAQiIlGM3EjXtQkHwSD499vXDYyJF29rlzTLW9r3o-_7PoAbmWZ-1zBFcyUVFdLlVKcyov44zhIeuSzPA89sPxkM0vFYDUue7YCFsdaG5jPbwMdwl5_PzQpLZU0fanuHtg07LSE4K8Bam4JKFKtWGqnA8Ygc8MhlVTLsrMe8vNZkkWr2Xp6e24jVSxvFsr_kVYJ36VT_9V0HUP9B6ZHhxv8cwpad1aC6lmkg5a49ggT7Q95uyR0x4R2CpYhGSBWdI8uxjzlJ2ab17hci6xJmHV4796N2l5Z6CXTq84oltag4k5hI6IxpI2PtIs19OCSZ87MyNtqHG972DjWPmM5bzPGUxcyaWLmM2fgYKrP5zJ4AUTxHIh6fTmkrjE_hlNAx15gMap0Jfgo1NMPko6DEmBQWOPtz9hr2uqPH_qTfGzycw34B6sMaxgVUlouVvYRd87Wcfi6uwg_9BgmqnE0 |
| 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 |

