A New Approach for Protocol Synthesis Based on LOTOS (Special Section on Net Theory and Its Applications)
スポンサーリンク
概要
- 論文の詳細を見る
In communication protocols, the behaviour of a protocol entity is related to the behaviour of another protocol enitity as they communicate under sets of communication rules (protocols). Thus, it is desirable to concentrate on the design of one protocol entity and generate the corresponding protocol entity automatically. Furthermore, it is desirable that the protocol is formal, precise and unambiguous that is, it is described using FDTs (Formal Description Techniques). In this paper, we propose a protocol synthesis algorithm in which, from a LOTOS specification of a single given entity, LOTOS specification of the corresponding peer entity is generated automatically. Unlike previous works, where FSMs (Finite State Machines) were used to synthesize protocols, we use LOTOS, which is one of FDTs developed by ISO, in our proposed synthesis algorithm. We prove that the generated protocol is logical errors free, collectively represented as deadlock free, if the given entity is in certain forms which are natural in the context of communication protocols.
- 社団法人電子情報通信学会の論文
- 1994-10-25
著者
-
Shiratori Norio
Research Institute Of Electrical Communication Graduate School Of Information Science Tohoku Univers
-
Bista Bhed
Research Institute Of Electrical Communication Tohoku University
-
Cheng Zixue
Department Of Computer Softwere The University Of Aizu
-
Cheng Zixue
Department Of Computer Software University Of Aizu
-
Togashi Atsushi
Research Institute Of Electrical Communication Graduate School Of Information Sciences Tohoku Univer
-
Shiratori Norio
Research Institute Of Electric Communications Tohoku University
関連論文
- 情報処理学会,これからの50年(特別インタビュー,写真で綴る情報処理学会全国大会50年史,50周年記念特集号)
- A flexible model of access control based on social relations (マルチメディア通信と分散処理)
- Access control in cooperative environments utilizing social systems (ACCESS) (情報ネットワーク)
- Inductive Inference of Algebraic Processes Based on Hennessy-Milner Logic (Special Section on Net Theory and Its Applications)
- Composition of Service and Protocol Specifications in Asynchronous Communication System(Networks)
- ASSE : A Support Environment for ADT Specification Based on Reuse of Similar ADT (Special Issue on Multimedia Communication and Distributed Processing)
- BS-4-2 プライバシーを考慮した分散認証法の提案(BS-4.ユビキタスネットワークにおけるネットワークセキュリティ,シンポジウムセッション)
- A-7-2 ユビキタス環境での安全なプライバシー情報の交換についての検討(A-7.情報セキュリティ,一般セッション)
- 新たな50年へ向けて-心に木を植える-
- 移動ネットワークにおける効率的な管理情報の収集制御方式
- WEB時代のイノベーションに向けた"技術的・社会的"課題
- WEB時代のイノベーションに向けた"技術的・社会的"課題
- 人の暮らしと自然のICTに基づいた共生へ向けて-「Kurihara」グリーンプロジェクト-
- 人の暮らしと自然のICTに基づいた共生へ向けて-「Kurihara」グリーンプロジェクト-
- MobileIPv6 MIBおよびNEMO MIBを用いたネットワーク構成情報の可視化手法
- 2050年マルチメディア通信と調和・共生コンピューティング
- 共生型健康支援システムにおけるセンサデータの効果的な獲得手法
- 人の暮らしと自然のICTに基づいた共生へ向けて-「Kurihara」グリーンプロジェクト-
- A dynamically RTS threshold adjusting scheme for IEEE 802.11 (マルチメディア通信と分散処理)
- WEB時代のイノベーションに向けた"技術的・社会的"課題
- 共生型健康支援システムにおけるセンサデータの効果的な獲得手法
- 共生型健康支援システムにおけるセンサデータの効果的な獲得手法
- 2050年マルチメディア通信と調和・共生コンピューティング
- B-7-107 A Buffering Scheme to Enhance Macro-mobility in Mobile IP
- 6D-2 エージェント間協調によるレストランガイドシステムに関する一考察(人工知能一般(2),一般セッション,人工知能と認知科学,情報処理学会創立50周年記念)
- L-036 分散認証基盤を活用したプライベート情報交換アーキテクチャの提案(L分野:ネットワーク・セキュリティ,一般論文)
- Design and Implementation of User-centered Application Software System in a Distributed Computing Environment
- Knowledge-Based Protocol Design for Computer Communication Systems
- 6F-7 TCP-Cherryの実現へ向けて : 衛星IPネットワーク向け輻輳制御TCP-Peach+の実装と評価(非常時通信・災害・長遅延NW,一般セッション,ネットワーク,情報処理学会創立50周年記念)
- 3F-2 やさしい見守り型健康支援システムにおけるセンサデータを用いた知識フィルタリング手法(センシングシステム(1),一般セッション,ネットワーク,情報処理学会創立50周年記念)
- LM-4 A New TCP for Efficient Operations over Wireless Links
- 5ZC-7 共生型3次元仮想空間における共生感提供機能の一構成(社会システムとWeb(2),学生セッション,ネットワーク,情報処理学会創立50周年記念)
- 6ZA-5 グリーン指向情報処理基盤技術の確立に向けて : 次世代ネットワーク管理フレームワーク(システム蓮用・管理(2),学生セッション,ネットワーク,情報処理学会創立50周年記念)
- An Effective QoS Control Scheme for 3D Virtual Environments Based on User's Perception
- 共生型3次元仮想空間における共生感提供機能の設計
- 共生型3次元仮想空間における共生感提供機能の設計
- JaNI: JGN's Next Generation Network Information System (高品質インターネット 研究報告)
- JaNI : JGN's Next Generation Network Information System
- A Fuzzy Admission Control Scheme and Its Performance Evaluation
- A Fuzzy Based Equivalent Capacity Estimation Method for Bandwidth Allocation in High-speed Networks (特集 21世紀のコンピュータセキュリティ技術)
- Distributed Resource Allocation among Overlapping Groups
- A Genetic Algorithm Based QoS Routing Method for Multimedia Communications Over High-Speed Networks(Special Issue on High Speed Networks and Multimedia Applications)
- MobiSNMP : A Model for Remote Information Collection from Moving Entities Using SNMP over MobileIPv6(Ad hoc, Sensor Network and P2P, Autonomous Decentralized Systems)
- DCAA : A Dynamic Constrained Adaptive Aggregation Method for Effective Network Traffic Information Summarization(Implementation and Operation)(Internet Technology IV)
- AMLOG : an Amalgamated Equational Logic Programming Language
- A Genetic Algorithm Based QoS Routing Method for Multimedia Communications Over High-Speed Networks (特集:高速ネットワークとマルチメディアアプリケーション)
- 移動ネットワーク環境におけるSNMPを用いた情報収集手法
- Effective Knowledge Reinforcement in Networked Cooperative Work Based on Symbiotic Computing: Basic Concept and Its Application
- A Flexible model and system design of access control based on social relationships (情報ネットワーク)
- DS-2-2 Toward Post Ubiquitous Information Society : Problems and Future Direction of R&D
- High Resolution Traffic Measurement : The challenges and benefits
- High Resolution Traffic Measurement : The challenges and benefits
- High Resolution Traffic Measurement : The challenges and benefits
- A New Specification Environment for Communication Systems Based on Specification Reuse by the Application of Case Based Reasoning
- Evaluation system and its design of iterative ALM tree construction method for many-to-many multimedia communication (情報ネットワーク)
- SB-14-3 High Resolution Traffic Measurement
- BS-7-2 Detecting and Diagnosing Events from Monitored Data in a Wide Area Network
- State Machine Specification with Reusability(Concurrent Systems)(Concurrent Systems and Hybrid Systems)
- Specification and Analysis of the Contract Net Protocol Based on State Machine Model(Special Section on Concurrent System Technology and Its Application to Multiple Agent Systems)
- Specification of a Concurrent System Based on Propositional Logic (特集:マルチメディア通信と分散処理)
- Making Changes in Formal Protocol Specifications
- An Improvement of The Protocol Synthesis Algorithm
- 栗原グリーンプロジェクト - 環境負荷低減型のまちづくりを目指したICTシステムの構想 -
- 栗原グリーンプロジェクト - 広域分散地域におけるエネルギー管理システム -
- 栗原グリーンプロジェクト - グリーン指向管理情報ベース(G-MIB) -
- 栗原グリーンプロジェクト - スマートフォンを用いたパークアンドライド支援システム -
- 栗原グリーンプロジェクト - 環境負荷低減のための生活支援システム -
- Socio-familiar Personalized Serviceの提案とその応用 : 次世代ユビキタスサービスを実現するネットワークソフトウェアへ向けて(ネットワークソフトウェア技術とその応用論文)
- Performance Analysis on the Controllable Slotted DS-CDMA with an Allocating Buffer for Collided Traffic(Satellite Communications)
- 個人情報を活用した人にやさしいサービスの実現方法に関する検討
- パーベイシブ環境におけるサービスの個人化とその応用
- Towards Application-Centric Flexible Network Operation and Management (Special Issue on Distributed Processing for Controlling Telecommunications Systems)
- A Compositional Approach for Constructing Communication Services and Protocols (Special Section on Concurrent Systems Technology)
- A New Approach for Protocol Synthesis Based on LOTOS (Special Section on Net Theory and Its Applications)
- A Support Method for Specification Process Based on LTSs (Special Section on Net Theory and Its Applications)
- A PROGRAM TRANSFORMATION FROM EQUATIONAL PROGRAMS INTO LOGIC PROGRAMS(Lambda Calculus and Computer Science Theory)
- An Efficient Distributed Algorithm for Implementation of Multi-Rendezvous based on l-Chain-Coterie
- Generalized Predicate Completion and its Relation to Circumscription
- A Partial Translation of Default Logic to Circumscription
- Can Completion Entail Circumscription (Sometimes)?
- A QoS Control Mechanism Using Knowledge-Based Multiagent Framework( Software Agent and Its Applications)
- A Canonical Translation from Higher Order Logic to Typed Lambda Calculus
- Verification and Refinement for System Requirements
- Reuse Based Specification Support Method Using Mathematical Similarity (Special Section on Description Models for Concurrent Systems and Their Applications)
- Designing a protocol using knowledge based systems
- An Effective Application of Net-Theory to Communication Protocol Development (Special Section on Net Theory and Its Applications)
- Knowledge Circulation Framework for Flexible Multimedia Communication Services(Software Agent and Its Applications)
- Evaluation of Transmission Control Method in a Slotted Ring Network
- A Method for Personalized Web Searching with Hierarchical Document Clustering (特集:新世代デ-タベ-ス技術--インタ-ネット・マルチメディア・モ-バイルを中心として)
- 分散環境上でのマルチエージェントシステムの実現に関する一考察
- Distributed Algorithms for Leader Election on Partially Ordered Keys (特集 マルチメディア通信プロトコル)
- An Error Detection Method for Recursive Processes for LOTOS Instruction and Its Support System
- 利用者が所有する個人情報を活用したサービス横断的個人化方式の提案(ポストIPネットワーキング,新世代ネットワーク,ネットワークモデル,インターネットトラヒック,TCP/IP,マルチメディア通信,ネットワーク管理,リソース管理,プライベートネットワーク,NW安全性及び一般)
- 災害に強いグリーン指向ネバーダイ・ネットワーク
- B-16-17 次世代グリーン指向ネットワーク管理技術(B-16.インターネットアーキテクチャ,一般セッション)
- B-14-2 グリーン指向ネットワーク管理に基づくセンサー連動型ICTシステムの省電力化(B-14.情報通信マネジメント,一般セッション)
- B-14-1 グリーン指向ネットワーク管理に基づくIP電話システムの省電力化(B-14.情報通信マネジメント,一般セッション)
- Symbiotic Computing Based Approach Towards Reducing User's Burden Due to Information Explosion
- グリーン指向ネットワーク管理に基づくIP電話システムの省電力化に関する一検討
- Symbiotic Computing Based Approach Towards Reducing User's Burden Due to Information Explosion