Support method for specification process based on LTSs

Ushio Yamamoto, Atsushi Togashi, Norio Shiratori

    研究成果: Article査読

    1 被引用数 (Scopus)

    抄録

    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.

    本文言語English
    ページ(範囲)1656-1662
    ページ数7
    ジャーナルIEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
    E77-A
    10
    出版ステータスPublished - 1994 10

    ASJC Scopus subject areas

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

    フィンガープリント 「Support method for specification process based on LTSs」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

    引用スタイル