A New Specification Environment for Communication Systems Based on Specification Reuse by the Application of Case Based Reasoning
スポンサーリンク
概要
- 論文の詳細を見る
To advance the productivity of software for communication systems, specification development is important as well as the implementation of the software. For this reason, we developed a specification description language HSC (Hierarchical Sequence Chart), which is useful during the early stage of specification development. The features of HSC are : a) HSC is suitable for a top-down style of specification development, b) specifications can be described by HSC with clear visibility of the whole system, and c) the specification development based on specification reuse is possible. The specification development of communication systems can be divided into three processes : (1) specification acquisition, (2) specification description and (3) specification verification. In this paper we will concentrate on specification acquisition part. We will use the language developed by us, HSC, which is very suitable for this purpose. In this work, we noted that hierarchical structure is the characteristic feature of communication software. As the language HSC has inherent hierarchy and modularity, we conjectured it to be suitable for specifying the requirements of communication soft-ware. Efficient reuse of components is accomplished by using CBR technique. Furthermore, we propose a specification acquisition method AOBA, and implemented a support environment for it, called AOBA System, using the CBR tool ART-IM. We experimented with the descriptions of communication systems, for example, the descriptions of services in a telephone system using AOBA System. Through these experiments, the effectiveness of AOBA and AOBA System is ensured.
- 1995-10-25
著者
-
Huang Ching-fa
Research Institute Of Electrical Communication Tohoku University
-
Shiratori Norio
Research Institute Of Electric Communications Tohoku University
-
Yoshimura Susumu
Communication System amp Technology Lab., TOSHIBA CORPORATION
-
Karahashi Takuji
Research Institute of Electrical Communication, Tohoku University
-
Karahashi Takuji
Research Institute Of Electrical Communication Tohoku University
-
Yoshimura Susumu
Communication System Amp Technology Lab. Toshiba Corporation
関連論文
- 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