Composition of Protocol Functions(Special Section on Concurrent Systems Technology)
スポンサーリンク
概要
- 論文の詳細を見る
Users of computer communication systems and their requirements are rapidly increasing and changing. In ordre to deal such a situation a rapid development method of communication systems is necessary. One of the such development methods is to change an existing specification of the system to obtain the desired specification of the system. However, a very little work has been done to support making changes in formal specifications. In this paper, we propose a mechanism for making changes in formal protocol specifications by adding protocol functions in an existing protocol specification.
- 社団法人電子情報通信学会の論文
- 1998-04-25
著者
-
BISTA Bhed
Faculty of Software and Information Science, Iwate Prefectural University
-
TAKAHASHI Kaoru
Sendai National College of Technology
-
Bista B
Iwate Prefectural Univ. Iwate‐ken Jpn
-
Takahashi K
The Sendai National College Of Technology
-
BISTA Bhed
The author is with the Miyagi University
-
TAKAHASHI Kaoru
The author is with the Sendai National College of Technology
-
SHIRATORI Norio
The author is with the Research Institute of Electrical Communication, Tohoku University
関連論文
- Composition of Service and Protocol Specifications in Asynchronous Communication System(Networks)
- Progressive pulmonary calcification after successful renal transplantation
- Operator Based Protocol Synthesis for LOTOS Specification
- 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)
- 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)
- Specification of a Concurrent System Based on Propositional Logic (特集:マルチメディア通信と分散処理)
- Composition of Protocol Functions(Special Section on Concurrent Systems Technology)
- Specification and Validation of a Dynamically Reconfigurable System(Special Section on Concurrent Systems Technology)
- A Concurrent Calculus with Geographical Constraints(Special Section on Concurrent Systems Technology)
- Making Changes in Formal Protocol Specifications
- A Topological Framework of Stepwise Specification for Concurrent Systems (Special Section on Description Models for Concurrent Systems and Their Applications)
- On Specifying Protocols Based on LOTOS and Temporal Logic
- A Consideration Of Integrated System Management In OSI Environment
- An Improvement of The Protocol Synthesis Algorithm
- A Compositional Approach for Constructing Communication Services and Protocols (Special Section on Concurrent Systems Technology)
- An Error Detection Method for Recursive Processes for LOTOS Instruction and Its Support System
- Design and Implementation of an Agent-Based Grocery Shopping System
- A Flexible Verifier of Temporal Properties for LOTOS
- Modeling, Verification and Testing of Web Applications Using Model Checker