Synthesis of Protocol Specifications for Design of Responsive Protocols (Special Issue on Responsive Computer Systems)
スポンサーリンク
概要
- 論文の詳細を見る
Responsive protocols are communication protocols which ensure timely and reliable recovery when error events occur. Protocol synthesis for design of responsive protocols is to derive a protocol specification based on a service specification. In the previous methods, if the service specification includes simultaneous transmission of primitives from a high layer to a low layer through different service access points, then the derived protocol specification includes protocol errors of unspecified reception caused by message collisions. Also, they only includes a recovery function such as retransmission of messages. This is not enough for recovery from abnormal states due to coordination loss. This paper extends a class of derived protocol specifications to include message collisions which usually occur in real communication protocols. Furthermore, this paper proposes a new method for synthesis of a responsive protocol specification derived from a service specification such that the derived protocol specification is free from protocol errors of unspecified receptions caused by message collisions and includes two recovery functions: message retransmission and checkpoint restart functions.
- 社団法人電子情報通信学会の論文
- 1993-11-25
著者
-
Kikuno Tohru
Faculty Of Engineering Hiroshima University
-
Kakuda Yoshiaki
Faculty Of Engineering Science Osaka University
-
Kikuno Tohru
Faculty Of Engineering Science Osaka University
-
Igarashi Hirotaka
Faculty of Engineering Science, Osaka University
-
Igarashi Hirotaka
Faculty Of Engineering Science Osaka University
関連論文
- A Dynamic Index Allocation Scheme for Data Retrieval and Provision in Peer-to-Peer Networks
- Service Discovery Using Self-Regulating Agents in Ad Hoc Networks
- Service Discovery Using Self-Regulating Agents in Ad Hoc Networks
- Service Discovery Using Self-Regulating Agents in Ad Hoc Networks
- An Adaptive Multihop Clustering Scheme for Ad Hoc Networks with High Mobility
- Automated Synthesis of Protocol Specifications from Service Specifications with Parallelly Executable Multiple Primitives (Special Section on Net Theory and Its Applications)
- Testing for High Assurance System by FSM(Testing)(Assurance Systems and Networks)
- A New Conformance Testing Technique for Localization of Multiple Faults in Communication Protocols
- Reconfiguration Algorithm for Modular Redundant Linear Array
- A Hierarchical Routing Protocol Based on Autonomous Clustering in Ad Hoc Networks
- A Class of Hierarchical Routing Protocols Based on Autonomous Clustering for Large Mobile Ad Hoc Networks
- A Hybrid Greedy Routing with Location Information for Mobile Ad Hoc Networks
- On Common Sequence Problems (Applied Combinatorial Theory and Algorithms)
- A Distributed Algorithm for Deadlock Detection in Replicated Database Systems(Mathematical Foundations of Computer Science and Their Applications)
- Synthesis of Protocol Specifications for Design of Responsive Protocols (Special Issue on Responsive Computer Systems)
- An Autonomous Clustering-Based Hierarchical Multicast Routing for Mobile Ad Hoc Networks
- On the Complexity of Protocol Validation Problems for Protocols with Bounded Capacity Channels (Special Section on Discrete Mathematics and Its Applications)
- IEICE/IEEE Joint Special Issue on Assurance Systems and Networks
- A Distributed Routing Protocol for Finding Two Node-Disjoint Paths in Computer Networks (Special Issue on Distributed Processing for Controlling Telecommunications Systems)
- Effective Automated Testing for Graphical Objects(テスト技法・保守技術)
- Experimental Evaluation of Dynamic Scheduling for Parallel Logic Simulation Using Benchmark Circuits (Special Section of Letters Selected from the 1994 IEICE Spring Conference)