A new approach to ADT specification support based on reuse of similar ADT by the application of Case-Based Reasoning

Pairoj Termsinsuwan, Zixue Cheng, Norio Shiratori

    Research output: Contribution to journalArticle

    3 Citations (Scopus)

    Abstract

    Abstract Data Type (ADT) is a powerful tool having a very good mathematic basis called many-sorted algebra and is also combined into several Formal Description Techniques (FDTs). By using ADT, a protocol or a software system can be specified in a very abstract way. It also facilitates the verification and validation of the specified system. However, in practice ADT is rarely used because it is difficult for a non-ADT expert to specify. As a consequence of this, in order to promote the widespread use of ADT and FDT, a support method for ADT specification is necessary. Unfortunately, there is almost no such a support method so far. We propose an ADT specification support method in terms of support system based on Case-Based Reasoning (CBR) which is a kind of problem solving by reusing solutions of the existing similar problem with some appropriate modifications. CBR has been used in some researches. But there is no research which uses this technique for ADT specification support so far. The support system can ease the specification of ADT and prevent the user from spending too much time and effort in specifying the whole ADT from the beginning. Our support system consists of four parts: (1) Case base of ADTs; (2) Requirement Acquisition Template; (3) Search mechanism for finding the most similar case in (1); (4) Modifier for modifying the retrieved case to meet the requirement of user. Among these parts, the core of the support system is the search mechanism which is based on the definition of similarity of ADTs. In this paper, we first propose an ADT specification model which defines a data carrier part of an ADT as a combination of constructors of four patterns. Based on the specification model, a similarity definition is given. Furthermore, we have designed the support system. Finally, in order to evaluate the effectiveness of the system, we experimented with data types of service and protocol in the data communication field. From the evaluation, the effectiveness of the system is ensured.

    Original languageEnglish
    Pages (from-to)555-568
    Number of pages14
    JournalInformation and Software Technology
    Volume38
    Issue number9
    DOIs
    Publication statusPublished - 1996

    Fingerprint

    Abstract data types
    Case based reasoning
    Specifications
    Algebra
    Computer systems

    Keywords

    • ADT
    • Communication software
    • FDT
    • LOTOS
    • Specification of communication protocols

    ASJC Scopus subject areas

    • Information Systems
    • Software

    Cite this

    A new approach to ADT specification support based on reuse of similar ADT by the application of Case-Based Reasoning. / Termsinsuwan, Pairoj; Cheng, Zixue; Shiratori, Norio.

    In: Information and Software Technology, Vol. 38, No. 9, 1996, p. 555-568.

    Research output: Contribution to journalArticle

    Termsinsuwan, Pairoj ; Cheng, Zixue ; Shiratori, Norio. / A new approach to ADT specification support based on reuse of similar ADT by the application of Case-Based Reasoning. In: Information and Software Technology. 1996 ; Vol. 38, No. 9. pp. 555-568.
    @article{6533a4f2d6a44aeeb2a1adf2d5fef9c7,
    title = "A new approach to ADT specification support based on reuse of similar ADT by the application of Case-Based Reasoning",
    abstract = "Abstract Data Type (ADT) is a powerful tool having a very good mathematic basis called many-sorted algebra and is also combined into several Formal Description Techniques (FDTs). By using ADT, a protocol or a software system can be specified in a very abstract way. It also facilitates the verification and validation of the specified system. However, in practice ADT is rarely used because it is difficult for a non-ADT expert to specify. As a consequence of this, in order to promote the widespread use of ADT and FDT, a support method for ADT specification is necessary. Unfortunately, there is almost no such a support method so far. We propose an ADT specification support method in terms of support system based on Case-Based Reasoning (CBR) which is a kind of problem solving by reusing solutions of the existing similar problem with some appropriate modifications. CBR has been used in some researches. But there is no research which uses this technique for ADT specification support so far. The support system can ease the specification of ADT and prevent the user from spending too much time and effort in specifying the whole ADT from the beginning. Our support system consists of four parts: (1) Case base of ADTs; (2) Requirement Acquisition Template; (3) Search mechanism for finding the most similar case in (1); (4) Modifier for modifying the retrieved case to meet the requirement of user. Among these parts, the core of the support system is the search mechanism which is based on the definition of similarity of ADTs. In this paper, we first propose an ADT specification model which defines a data carrier part of an ADT as a combination of constructors of four patterns. Based on the specification model, a similarity definition is given. Furthermore, we have designed the support system. Finally, in order to evaluate the effectiveness of the system, we experimented with data types of service and protocol in the data communication field. From the evaluation, the effectiveness of the system is ensured.",
    keywords = "ADT, Communication software, FDT, LOTOS, Specification of communication protocols",
    author = "Pairoj Termsinsuwan and Zixue Cheng and Norio Shiratori",
    year = "1996",
    doi = "10.1016/0950-5849(95)01062-9",
    language = "English",
    volume = "38",
    pages = "555--568",
    journal = "Information and Software Technology",
    issn = "0950-5849",
    publisher = "Elsevier",
    number = "9",

    }

    TY - JOUR

    T1 - A new approach to ADT specification support based on reuse of similar ADT by the application of Case-Based Reasoning

    AU - Termsinsuwan, Pairoj

    AU - Cheng, Zixue

    AU - Shiratori, Norio

    PY - 1996

    Y1 - 1996

    N2 - Abstract Data Type (ADT) is a powerful tool having a very good mathematic basis called many-sorted algebra and is also combined into several Formal Description Techniques (FDTs). By using ADT, a protocol or a software system can be specified in a very abstract way. It also facilitates the verification and validation of the specified system. However, in practice ADT is rarely used because it is difficult for a non-ADT expert to specify. As a consequence of this, in order to promote the widespread use of ADT and FDT, a support method for ADT specification is necessary. Unfortunately, there is almost no such a support method so far. We propose an ADT specification support method in terms of support system based on Case-Based Reasoning (CBR) which is a kind of problem solving by reusing solutions of the existing similar problem with some appropriate modifications. CBR has been used in some researches. But there is no research which uses this technique for ADT specification support so far. The support system can ease the specification of ADT and prevent the user from spending too much time and effort in specifying the whole ADT from the beginning. Our support system consists of four parts: (1) Case base of ADTs; (2) Requirement Acquisition Template; (3) Search mechanism for finding the most similar case in (1); (4) Modifier for modifying the retrieved case to meet the requirement of user. Among these parts, the core of the support system is the search mechanism which is based on the definition of similarity of ADTs. In this paper, we first propose an ADT specification model which defines a data carrier part of an ADT as a combination of constructors of four patterns. Based on the specification model, a similarity definition is given. Furthermore, we have designed the support system. Finally, in order to evaluate the effectiveness of the system, we experimented with data types of service and protocol in the data communication field. From the evaluation, the effectiveness of the system is ensured.

    AB - Abstract Data Type (ADT) is a powerful tool having a very good mathematic basis called many-sorted algebra and is also combined into several Formal Description Techniques (FDTs). By using ADT, a protocol or a software system can be specified in a very abstract way. It also facilitates the verification and validation of the specified system. However, in practice ADT is rarely used because it is difficult for a non-ADT expert to specify. As a consequence of this, in order to promote the widespread use of ADT and FDT, a support method for ADT specification is necessary. Unfortunately, there is almost no such a support method so far. We propose an ADT specification support method in terms of support system based on Case-Based Reasoning (CBR) which is a kind of problem solving by reusing solutions of the existing similar problem with some appropriate modifications. CBR has been used in some researches. But there is no research which uses this technique for ADT specification support so far. The support system can ease the specification of ADT and prevent the user from spending too much time and effort in specifying the whole ADT from the beginning. Our support system consists of four parts: (1) Case base of ADTs; (2) Requirement Acquisition Template; (3) Search mechanism for finding the most similar case in (1); (4) Modifier for modifying the retrieved case to meet the requirement of user. Among these parts, the core of the support system is the search mechanism which is based on the definition of similarity of ADTs. In this paper, we first propose an ADT specification model which defines a data carrier part of an ADT as a combination of constructors of four patterns. Based on the specification model, a similarity definition is given. Furthermore, we have designed the support system. Finally, in order to evaluate the effectiveness of the system, we experimented with data types of service and protocol in the data communication field. From the evaluation, the effectiveness of the system is ensured.

    KW - ADT

    KW - Communication software

    KW - FDT

    KW - LOTOS

    KW - Specification of communication protocols

    UR - http://www.scopus.com/inward/record.url?scp=0030242965&partnerID=8YFLogxK

    UR - http://www.scopus.com/inward/citedby.url?scp=0030242965&partnerID=8YFLogxK

    U2 - 10.1016/0950-5849(95)01062-9

    DO - 10.1016/0950-5849(95)01062-9

    M3 - Article

    AN - SCOPUS:0030242965

    VL - 38

    SP - 555

    EP - 568

    JO - Information and Software Technology

    JF - Information and Software Technology

    SN - 0950-5849

    IS - 9

    ER -