A software design method and its application to protocol and communication software development

Norio Shiratori, Kaoru Takahashi, Shoichi Noguchi

    Research output: Contribution to journalArticle

    8 Citations (Scopus)

    Abstract

    This paper proposes an approach, called "the Harmonic Design Method", to achieve an approximately ideal language that simultaneously serves the purposes or requirements of software specification, verification, implementation and so on. This approach is based on two important concepts-partitioning and unification. In the Harmonic Design Method, the collection of the problem-oriented languages and the transformation algorithms between the languages, provided through the process of the partitioning and unification, is regarded as the approximation to the target ideal language. As an application of the Harmonic Design Method, the design of a software support system for making the development of protocols and communication software easy is given. In this design, we provide three problem-oriented languages, viz., the protocol specification language NESDEL, the communication software oriented programming language IDL and the language EXPA which has both a framework for expressing protocols and an algorithm for verifying protocols, and three transformation algorithms between them, i.e., NESDEL-to-EXPA, EXPA-to-NESDEL and NESDEL-to-IDL. The details of these languages and transformation algorithms are also given. Finally, we introduce some software tools used for supporting these languages and transformation algorithms.

    Original languageEnglish
    Pages (from-to)245-267
    Number of pages23
    JournalComputer Networks and ISDN Systems
    Volume15
    Issue number4
    DOIs
    Publication statusPublished - 1988

    Fingerprint

    Software design
    Software engineering
    Problem oriented languages
    Network protocols
    Communication
    Specification languages
    Computer programming languages
    Computer systems
    Specifications

    Keywords

    • Communication Software
    • Computer Networks
    • Programming Language
    • Protocol Implementation
    • Protocol Verification
    • Protocols
    • Software Design Method
    • Specification Language
    • Support System for Protocol Development

    ASJC Scopus subject areas

    • Computer Science(all)
    • Engineering(all)

    Cite this

    A software design method and its application to protocol and communication software development. / Shiratori, Norio; Takahashi, Kaoru; Noguchi, Shoichi.

    In: Computer Networks and ISDN Systems, Vol. 15, No. 4, 1988, p. 245-267.

    Research output: Contribution to journalArticle

    Shiratori, Norio ; Takahashi, Kaoru ; Noguchi, Shoichi. / A software design method and its application to protocol and communication software development. In: Computer Networks and ISDN Systems. 1988 ; Vol. 15, No. 4. pp. 245-267.
    @article{2957b5c9693042e495c86f32fe341d24,
    title = "A software design method and its application to protocol and communication software development",
    abstract = "This paper proposes an approach, called {"}the Harmonic Design Method{"}, to achieve an approximately ideal language that simultaneously serves the purposes or requirements of software specification, verification, implementation and so on. This approach is based on two important concepts-partitioning and unification. In the Harmonic Design Method, the collection of the problem-oriented languages and the transformation algorithms between the languages, provided through the process of the partitioning and unification, is regarded as the approximation to the target ideal language. As an application of the Harmonic Design Method, the design of a software support system for making the development of protocols and communication software easy is given. In this design, we provide three problem-oriented languages, viz., the protocol specification language NESDEL, the communication software oriented programming language IDL and the language EXPA which has both a framework for expressing protocols and an algorithm for verifying protocols, and three transformation algorithms between them, i.e., NESDEL-to-EXPA, EXPA-to-NESDEL and NESDEL-to-IDL. The details of these languages and transformation algorithms are also given. Finally, we introduce some software tools used for supporting these languages and transformation algorithms.",
    keywords = "Communication Software, Computer Networks, Programming Language, Protocol Implementation, Protocol Verification, Protocols, Software Design Method, Specification Language, Support System for Protocol Development",
    author = "Norio Shiratori and Kaoru Takahashi and Shoichi Noguchi",
    year = "1988",
    doi = "10.1016/0169-7552(88)90062-1",
    language = "English",
    volume = "15",
    pages = "245--267",
    journal = "Computer Networks",
    issn = "1389-1286",
    publisher = "Elsevier",
    number = "4",

    }

    TY - JOUR

    T1 - A software design method and its application to protocol and communication software development

    AU - Shiratori, Norio

    AU - Takahashi, Kaoru

    AU - Noguchi, Shoichi

    PY - 1988

    Y1 - 1988

    N2 - This paper proposes an approach, called "the Harmonic Design Method", to achieve an approximately ideal language that simultaneously serves the purposes or requirements of software specification, verification, implementation and so on. This approach is based on two important concepts-partitioning and unification. In the Harmonic Design Method, the collection of the problem-oriented languages and the transformation algorithms between the languages, provided through the process of the partitioning and unification, is regarded as the approximation to the target ideal language. As an application of the Harmonic Design Method, the design of a software support system for making the development of protocols and communication software easy is given. In this design, we provide three problem-oriented languages, viz., the protocol specification language NESDEL, the communication software oriented programming language IDL and the language EXPA which has both a framework for expressing protocols and an algorithm for verifying protocols, and three transformation algorithms between them, i.e., NESDEL-to-EXPA, EXPA-to-NESDEL and NESDEL-to-IDL. The details of these languages and transformation algorithms are also given. Finally, we introduce some software tools used for supporting these languages and transformation algorithms.

    AB - This paper proposes an approach, called "the Harmonic Design Method", to achieve an approximately ideal language that simultaneously serves the purposes or requirements of software specification, verification, implementation and so on. This approach is based on two important concepts-partitioning and unification. In the Harmonic Design Method, the collection of the problem-oriented languages and the transformation algorithms between the languages, provided through the process of the partitioning and unification, is regarded as the approximation to the target ideal language. As an application of the Harmonic Design Method, the design of a software support system for making the development of protocols and communication software easy is given. In this design, we provide three problem-oriented languages, viz., the protocol specification language NESDEL, the communication software oriented programming language IDL and the language EXPA which has both a framework for expressing protocols and an algorithm for verifying protocols, and three transformation algorithms between them, i.e., NESDEL-to-EXPA, EXPA-to-NESDEL and NESDEL-to-IDL. The details of these languages and transformation algorithms are also given. Finally, we introduce some software tools used for supporting these languages and transformation algorithms.

    KW - Communication Software

    KW - Computer Networks

    KW - Programming Language

    KW - Protocol Implementation

    KW - Protocol Verification

    KW - Protocols

    KW - Software Design Method

    KW - Specification Language

    KW - Support System for Protocol Development

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

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

    U2 - 10.1016/0169-7552(88)90062-1

    DO - 10.1016/0169-7552(88)90062-1

    M3 - Article

    VL - 15

    SP - 245

    EP - 267

    JO - Computer Networks

    JF - Computer Networks

    SN - 1389-1286

    IS - 4

    ER -