An Effective Application of Net-Theory to Communication Protocol Development (Special Section on Net Theory and Its Applications)
スポンサーリンク
概要
- 論文の詳細を見る
This paper presents an effective application of Net-theory for all the stages of the communication protocol development process. Net-theory provides a basic mathematical model and tool for development of communication protocol. The special usability of Net-theory is that 1)visual representation of the system's stadic/dynamic structure, so that users may easily understand the represented contents, 2)formal specifications based on mathematical basis of Net-theory admit automatic verification, implementation and conformance testing. We have seen that Net-theory which has the above usability can provide a systematic and advanced paradigm for effective communication protocol development.
- 社団法人電子情報通信学会の論文
- 1994-10-25
著者
-
Lee Eun-seok
Research Institute Of Electric Communications Tohoku University
-
Shiratori Norio
Research Institute Of Electric Communications Tohoku University
-
Teruya Ken
Faculty of Engineering, University of the Ryukyus
-
Teruya Ken
Faculty Of Engineering University Of The Ryukyus
関連論文
- A flexible model of access control based on social relations (マルチメディア通信と分散処理)
- Access control in cooperative environments utilizing social systems (ACCESS) (情報ネットワーク)
- 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)
- B-7-107 A Buffering Scheme to Enhance Macro-mobility in Mobile IP
- Design and Implementation of User-centered Application Software System in a Distributed Computing Environment
- Knowledge-Based Protocol Design for Computer Communication Systems
- LM-4 A New TCP for Efficient Operations over Wireless Links
- An Effective QoS Control Scheme for 3D Virtual Environments Based on User's Perception
- 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世紀のコンピュータセキュリティ技術)
- 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)
- A Genetic Algorithm Based QoS Routing Method for Multimedia Communications Over High-Speed Networks (特集:高速ネットワークとマルチメディアアプリケーション)
- 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
- 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
- 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 QoS Control Mechanism Using Knowledge-Based Multiagent Framework( Software Agent and Its Applications)
- 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 (特集:新世代デ-タベ-ス技術--インタ-ネット・マルチメディア・モ-バイルを中心として)
- 分散環境上でのマルチエージェントシステムの実現に関する一考察
- An Error Detection Method for Recursive Processes for LOTOS Instruction and Its Support System
- Symbiotic Computing Based Approach Towards Reducing User's Burden Due to Information Explosion
- Symbiotic Computing Based Approach Towards Reducing User's Burden Due to Information Explosion
- A New QoS Routing Scheme Based on Bandwidth Consumption for MANETs
- A New QoS Routing Scheme Based on Bandwidth Consumption for MANETs