Synthesis of protocol entities specifications from service specifications in a Petri net model with registers
In general, the services of a distributed system are provided by some cooperative protocol entities. The protocol entities must exchange some data values and synchronization messages in order to ensure the temporal ordering of the events which are described in a service specification of the distribu...
Uloženo v:
| Vydáno v: | Proceedings of 15th International Conference on Distributed Computing Systems s. 510 - 517 |
|---|---|
| Hlavní autoři: | , , , |
| Médium: | Konferenční příspěvek |
| Jazyk: | angličtina |
| Vydáno: |
IEEE
1995
|
| Témata: | |
| ISBN: | 9780818670251, 0818670258 |
| ISSN: | 1063-6927 |
| 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 | In general, the services of a distributed system are provided by some cooperative protocol entities. The protocol entities must exchange some data values and synchronization messages in order to ensure the temporal ordering of the events which are described in a service specification of the distributed system. It is desirable that a correct protocol entity specification for each node can be derived automatically from a given service specification. In this paper, we propose an algorithm which synthesizes a correct protocol entity specification automatically from a service specification in a Petri Net model with Registers called PNR model. In our model, parallel events and selective operations can be described naturally. The control flow of a service specification must be described as a free-choice net in order to simplify the derivation algorithm, however, many practical systems can be described in this class. In our approach, since each protocol entity specification is also described in our PNR model, we can easily understand what events can be executed in parallel at each protocol entity. |
|---|---|
| AbstractList | In general, the services of a distributed system are provided by some cooperative protocol entities. The protocol entities must exchange some data values and synchronization messages in order to ensure the temporal ordering of the events which are described in a service specification of the distributed system. It is desirable that a correct protocol entity specification for each node can be derived automatically from a given service specification. In this paper, we propose an algorithm which synthesizes a correct protocol entity specification automatically from a service specification in a Petri Net model with Registers called PNR model. In our model, parallel events and selective operations can be described naturally. The control flow of a service specification must be described as a free-choice net in order to simplify the derivation algorithm, however, many practical systems can be described in this class. In our approach, since each protocol entity specification is also described in our PNR model, we can easily understand what events can be executed in parallel at each protocol entity. |
| Author | Higashino, T. Okano, K. Yamaguchi, H. Taniguchi, K. |
| Author_xml | – sequence: 1 givenname: H. surname: Yamaguchi fullname: Yamaguchi, H. organization: Dept. of Inf. & Comput. Sci., Osaka Univ., Japan – sequence: 2 givenname: K. surname: Okano fullname: Okano, K. organization: Dept. of Inf. & Comput. Sci., Osaka Univ., Japan – sequence: 3 givenname: T. surname: Higashino fullname: Higashino, T. organization: Dept. of Inf. & Comput. Sci., Osaka Univ., Japan – sequence: 4 givenname: K. surname: Taniguchi fullname: Taniguchi, K. organization: Dept. of Inf. & Comput. Sci., Osaka Univ., Japan |
| BookMark | eNpdkN1KAzEUhANWsNY-gF7lBbbmZJu_S1n_CgWF6nVJd8_aI92kJEHp21upV14NzHwMzFyyUYgBGbsGMQMQ7nbR3DerGTinZkoIocwZmzpjhQWrjZAKRmwMQteVdtJcsGnOn-KXU1ZKNWbD6hDKFjNlHnu-T7HENu44hkKFMPO8x5Z6an2hGDLvUxx4xvRFLf7PKHDPX7Ek4gELH2KHO_5NZcsTflAumPIVO-_9LuP0Tyfs_fHhrXmuli9Pi-ZuWRGIeak2tQMp7Vx4rZzUgHO02lstQZmj68xxqcK61Z3uvATErje-9bWADRi5EfWE3Zx6CRHX-0SDT4f16Z_6B9SoXG0 |
| ContentType | Conference Proceeding |
| DBID | 6IE 6IL CBEJK RIE RIL |
| DOI | 10.1109/ICDCS.1995.500057 |
| DatabaseName | IEEE Electronic Library (IEL) Conference Proceedings 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 Xplore url: https://ieeexplore.ieee.org/ sourceTypes: Publisher |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EndPage | 517 |
| ExternalDocumentID | 500057 |
| GroupedDBID | 23M 29G 29P 6IE 6IF 6IH 6IK 6IL 6IM 6IN AAJGR AAWTH ABLEC ACGFS ADZIZ ALMA_UNASSIGNED_HOLDINGS BEFXN BFFAM BGNUA BKEBE BPEOZ CBEJK CHZPO IEGSK IJVOP IPLJI M43 OCL RIE RIL RNS |
| ID | FETCH-LOGICAL-i104t-b39122840a659261e4e86a862157840975005e3c6d6da21eedf7aca301b172b03 |
| IEDL.DBID | RIE |
| ISBN | 9780818670251 0818670258 |
| ISICitedReferencesCount | 9 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=500057&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 1063-6927 |
| IngestDate | Tue Aug 26 21:45:52 EDT 2025 |
| IsPeerReviewed | false |
| IsScholarly | true |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-i104t-b39122840a659261e4e86a862157840975005e3c6d6da21eedf7aca301b172b03 |
| PageCount | 8 |
| ParticipantIDs | ieee_primary_500057 |
| PublicationCentury | 1900 |
| PublicationDate | 19950000 |
| PublicationDateYYYYMMDD | 1995-01-01 |
| PublicationDate_xml | – year: 1995 text: 19950000 |
| PublicationDecade | 1990 |
| PublicationTitle | Proceedings of 15th International Conference on Distributed Computing Systems |
| PublicationTitleAbbrev | ICDCS |
| PublicationYear | 1995 |
| Publisher | IEEE |
| Publisher_xml | – name: IEEE |
| SSID | ssj0000558225 ssj0005863 |
| Score | 1.3796923 |
| Snippet | In general, the services of a distributed system are provided by some cooperative protocol entities. The protocol entities must exchange some data values and... |
| SourceID | ieee |
| SourceType | Publisher |
| StartPage | 510 |
| SubjectTerms | Automatic control Control system synthesis Control systems Protocols |
| Title | Synthesis of protocol entities specifications from service specifications in a Petri net model with registers |
| URI | https://ieeexplore.ieee.org/document/500057 |
| WOSCitedRecordID | wos500057&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/eLvHCXMwlV09T8MwELVoxcBUKEV8ywNr2jgfdjIXKliqSgWpW-U4FykDCWpSJP49d3baCsTCEiXOkNg6353Pfu8x9pCYoCgKiDzj54mHEQK8LM3xojAWo4kVApzYhJrPk9UqXXQ82xYLAwD28BmM6dbu5ee12VKpbELk_bHqsZ5SykG19uUUP46T4ECz58eJdGfrZejJNFCW-pHI2zDGJx3xzu5ZdLudwk8nL9PH6ZIgfPHYfe2H6ooNOrPBv373lI0O4D2-2IelM3YE1ZANduoNvJvM5-x9-VVh9teUDa8LTnwNNRoF35GscsJg0jkiV9LjhEPhjfMsv9-VFdfcanPxClpu1XU4VXg56T4QFUMzYm-zp9fps9eJL3glrtBaLwtTEWDs8jVtvEoBESRS4_pH4BwnkizsXQyhkbnMdSCwT4XSRqO_yDAnyvzwgvWruoJLxlNM6wCXdTmmN1HkGx2FBr2qiIwOjIT0ig1p8NYfjl9j7cbt-s_WG3biQOVUBLll_XazhTt2bD7bstncW5v4BmDfshk |
| linkProvider | IEEE |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3PT4MwFG50muhpOmf8bQ9e2SiUAuep2eJclmwmuy2llISDYAYz8b_3vZZt0XjxQqAcoM3re6-v_b6PkIdIeVmWae4oN40ciBDaSeIULiHEYjCxjGkrNhFOJtFiEU8bnm2DhdFam8Nnuoe3Zi8_LdUaS2V9JO8Pwn1yEHDuMQvW2hZU3CCIvB3RnhtEwp6uF74jYi805I9I3wZRPmqodzbPrNnvZG7cHw0eBzME8QU9-70fuism7Dy3__XDJ6S7g-_R6TYwnZI9XXRIe6PfQJvpfEbeZ18F5H9VXtEyo8jYUIJZ0A3NKkUUJp4kskU9ikgUWlnf8vtdXlBJjToXLXRNjb4OxRovReUHJGOouuTt-Wk-GDqN_IKTwxqtdhI_Zh5EL1fi1qtgmutISFgBMZjlSJMFvQu0r0QqUukx6FMWSiXBYySQFSWuf05aRVnoC0JjSOw0LOxSSHA4d5XkvgK_yriSnhI6viQdHLzlh2XYWNpxu_qz9Z4cDeev4-V4NHm5JscWYo4lkRvSqldrfUsO1WedV6s7Yx_f1c61YA |
| 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=Proceedings+of+15th+International+Conference+on+Distributed+Computing+Systems&rft.atitle=Synthesis+of+protocol+entities+specifications+from+service+specifications+in+a+Petri+net+model+with+registers&rft.au=Yamaguchi%2C+H.&rft.au=Okano%2C+K.&rft.au=Higashino%2C+T.&rft.au=Taniguchi%2C+K.&rft.date=1995-01-01&rft.pub=IEEE&rft.isbn=9780818670251&rft.issn=1063-6927&rft.spage=510&rft.epage=517&rft_id=info:doi/10.1109%2FICDCS.1995.500057&rft.externalDocID=500057 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1063-6927&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1063-6927&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1063-6927&client=summon |