A New Specification Environment for Communication Systems Based on Specification Reuse by the Application of Case Based Reasoning

Ching-Fa HUANG

IEICE TRANSACTIONS on Information and Systems   Vol.E78-D    No.10    pp.1269-1281
Publication Date: 1995/10/25
Online ISSN: 
Print ISSN: 0916-8532
Type of Manuscript: PAPER
Category: Computer Networks
specification,  CBR,  reuse,  user requirement,  

Full Text: PDF>>
Buy this Article

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 HDC 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: specification acquisition, specification description and 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 software. 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 experimeted 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.