Reuse based specification support method using mathematical similarity

Ushio Yamamoto*, Eun Seok Lee, Norio Shiratori

*Corresponding author for this work

    Research output: Contribution to journalArticlepeer-review


    In this paper, we discuss both effective approaches in specification process, formal specification and reuse, and focus on providing an integrated and systematic support based on them. Preparing the specification model which mediates an image of the designer and another representation of it in formal method, the designer can specify the target system incrementally and smoothly. As for the specification model, we employ LTS on the early step of specification process because of its understandability for the designer. Moreover, reuse of specification leads to reduction of the cost and time, defining retrieval mechanism of reusable cases from database by mathematically calculating similarity of them. For the reuse mechanism, we define a new concept of similarity on LTS as the criterion of case retrieval, which enables more flexible matching between the designer's requirement and the existing case than any other traditional schema on LTS, and show the case retrieval algorithm. Integration of two approaches brings us the great improvement of the productivity on system development.

    Original languageEnglish
    Pages (from-to)1752-1759
    Number of pages8
    JournalIEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
    Issue number11
    Publication statusPublished - 1996


    • FDT
    • LTS
    • Similarity
    • Specification reuse

    ASJC Scopus subject areas

    • Electrical and Electronic Engineering
    • Hardware and Architecture
    • Information Systems


    Dive into the research topics of 'Reuse based specification support method using mathematical similarity'. Together they form a unique fingerprint.

    Cite this