Operator Based Protocol Synthesis for LOTOS Specification

スポンサーリンク

概要

• 論文の詳細を見る

• Designing communication protocols is complex and time consuming. It is desirable to have support methods which help protocol designers to design protocols systematically such that their correctness call be ensured. Some protocol synthesis methods have already been discussed in and. In a single entity is designed using Petri Net and its peer entity is generated in Petri Net. In specification primitives (components) are used to synthesize protocols which are designed using Finite State. Machine (FSM).In this paper we propose a method which generates a peer entity from a single given entity which is designed using LOTOS, a Formal Discreption Technique developed within ISO.

• 一般社団法人情報処理学会の論文
• 1993-03-01

著者

• BISTA Bhed

  Faculty of Software and Information Science, Iwate Prefectural University

• Bista Bhed

  Faculty Of Engineering Tohoku University

• Shiratori Norio

  Faculty Of Engineering Tohoku University

• Cheng Zi-xue

  Faculty of Engineering, TOHOKU University

• Cheng Zi-xue

  Faculty Of Engineering Tohoku University

関連論文

• Composition of Service and Protocol Specifications in Asynchronous Communication System(Networks)
• Operator Based Protocol Synthesis for LOTOS Specification
• On Constructing n-Entities Communication Protocol and Service with Alternative and Concurrent Functions(Special Section on Concurrent System Technology and Its Application to Multiple Agent Systems)
• Composition of Protocol Functions(Special Section on Concurrent Systems Technology)
• Making Changes in Formal Protocol Specifications
• LOTASの抽出データタイプ実装のための支援法に関する一考察
• A Compositional Approach for Constructing Communication Services and Protocols (Special Section on Concurrent Systems Technology)
• Classification of the NOAA Satellite Image Data by Unsupervised Neural Network
• A Real-Time Scheduler Using Neural Networks for Scheduling Independent and Nonpreemptable Tasks with Deadlines and Resource Requirements

スポンサーリンク