Support method for specification process based on LTSs

Ushio Yamamoto, Atsushi Togashi, Norio Shiratori

    Research output: Contribution to journalArticle

    1 Citation (Scopus)

    Abstract

    This paper presents a support method for specifying communication systems. Generally, a set of requirements for a target system is partial and ambiguous to construct the whole system, namely it lacks certain necessary descriptions for the target system. To attack this problem, our method enables a designer to obtain such necessary descriptions from specifications stored in a knowledge base, namely by reusing specifications, and helps the designer to specify the target system completely. In our support method, we adopt labelled transition systems (LTSs) which are state transition graphs and are shared as a common notion by most FDTs. Therefore, our method is the common approach to FDTs. We propose a new idea about similarity between LTSs, and propose an algorithm to suggest similar LTSs to the designer.

    Original languageEnglish
    Pages (from-to)1656-1662
    Number of pages7
    JournalIEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
    VolumeE77-A
    Issue number10
    Publication statusPublished - 1994 Oct

    Fingerprint

    Labeled Transition System
    Specification
    Specifications
    Target
    Communication systems
    Necessary
    State Transition
    Ambiguous
    Knowledge Base
    Communication Systems
    Attack
    Partial
    Requirements
    Graph in graph theory

    ASJC Scopus subject areas

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

    Cite this

    Support method for specification process based on LTSs. / Yamamoto, Ushio; Togashi, Atsushi; Shiratori, Norio.

    In: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Vol. E77-A, No. 10, 10.1994, p. 1656-1662.

    Research output: Contribution to journalArticle

    Yamamoto, Ushio ; Togashi, Atsushi ; Shiratori, Norio. / Support method for specification process based on LTSs. In: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences. 1994 ; Vol. E77-A, No. 10. pp. 1656-1662.
    @article{849be04f944a4e43987c6a92e7068c33,
    title = "Support method for specification process based on LTSs",
    abstract = "This paper presents a support method for specifying communication systems. Generally, a set of requirements for a target system is partial and ambiguous to construct the whole system, namely it lacks certain necessary descriptions for the target system. To attack this problem, our method enables a designer to obtain such necessary descriptions from specifications stored in a knowledge base, namely by reusing specifications, and helps the designer to specify the target system completely. In our support method, we adopt labelled transition systems (LTSs) which are state transition graphs and are shared as a common notion by most FDTs. Therefore, our method is the common approach to FDTs. We propose a new idea about similarity between LTSs, and propose an algorithm to suggest similar LTSs to the designer.",
    author = "Ushio Yamamoto and Atsushi Togashi and Norio Shiratori",
    year = "1994",
    month = "10",
    language = "English",
    volume = "E77-A",
    pages = "1656--1662",
    journal = "IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences",
    issn = "0916-8508",
    publisher = "Maruzen Co., Ltd/Maruzen Kabushikikaisha",
    number = "10",

    }

    TY - JOUR

    T1 - Support method for specification process based on LTSs

    AU - Yamamoto, Ushio

    AU - Togashi, Atsushi

    AU - Shiratori, Norio

    PY - 1994/10

    Y1 - 1994/10

    N2 - This paper presents a support method for specifying communication systems. Generally, a set of requirements for a target system is partial and ambiguous to construct the whole system, namely it lacks certain necessary descriptions for the target system. To attack this problem, our method enables a designer to obtain such necessary descriptions from specifications stored in a knowledge base, namely by reusing specifications, and helps the designer to specify the target system completely. In our support method, we adopt labelled transition systems (LTSs) which are state transition graphs and are shared as a common notion by most FDTs. Therefore, our method is the common approach to FDTs. We propose a new idea about similarity between LTSs, and propose an algorithm to suggest similar LTSs to the designer.

    AB - This paper presents a support method for specifying communication systems. Generally, a set of requirements for a target system is partial and ambiguous to construct the whole system, namely it lacks certain necessary descriptions for the target system. To attack this problem, our method enables a designer to obtain such necessary descriptions from specifications stored in a knowledge base, namely by reusing specifications, and helps the designer to specify the target system completely. In our support method, we adopt labelled transition systems (LTSs) which are state transition graphs and are shared as a common notion by most FDTs. Therefore, our method is the common approach to FDTs. We propose a new idea about similarity between LTSs, and propose an algorithm to suggest similar LTSs to the designer.

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

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

    M3 - Article

    AN - SCOPUS:0028531161

    VL - E77-A

    SP - 1656

    EP - 1662

    JO - IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

    JF - IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

    SN - 0916-8508

    IS - 10

    ER -