Refining Interfaces of Cummunicating Systems

Ed Brinksma, Fredrik Orava, Bengt Jonsson

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    18 Citations (Scopus)

    Abstract

    There are now several theories for describing and reasoning about the behavior of communicating systems, where the behavior of a communicating system is described in terms of its capabilities to perform communication actions in cooperation with its environment. In such theories, preorders or equivalences are defined as criteria for when one system is an acceptable substitute or implementation of another. Existing theories of communicating systems define preorders or equivalence relations only between systems with identical sets of communication actions. In many practical design situations, however, it may be desirable to refine a system by changing its set of communication actions. We present a simple method for carrying out such refinements. The method is first formulated in a general setting, and then elaborated in more detail in the trace model and a simple version of the failure model. We illustrate the usefulness of our method by an application to I.451, an ISDN access protocol.
    Original languageEnglish
    Title of host publicationTAPSOFT '91
    Subtitle of host publicationProceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, UK, April 8–12, 1991
    Place of PublicationBerlin, Heidelberg
    PublisherSpringer
    Pages297-312
    Number of pages16
    ISBN (Electronic)978-3-540-46499-0
    ISBN (Print)978-3-540-53981-0
    DOIs
    Publication statusPublished - 8 Apr 1991

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer
    Volume494
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349

    Fingerprint

    Refining
    Communication
    Voice/data communication systems

    Keywords

    • Failure model
    • Parallel composition
    • Transition diagram
    • Trace model
    • Abstract specification

    Cite this

    Brinksma, E., Orava, F., & Jonsson, B. (1991). Refining Interfaces of Cummunicating Systems. In TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, UK, April 8–12, 1991 (pp. 297-312). (Lecture Notes in Computer Science; Vol. 494). Berlin, Heidelberg: Springer. https://doi.org/10.1007/3540539816_73
    Brinksma, Ed ; Orava, Fredrik ; Jonsson, Bengt. / Refining Interfaces of Cummunicating Systems. TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, UK, April 8–12, 1991. Berlin, Heidelberg : Springer, 1991. pp. 297-312 (Lecture Notes in Computer Science).
    @inproceedings{9bded07a729d4e80a703ab86f8801f14,
    title = "Refining Interfaces of Cummunicating Systems",
    abstract = "There are now several theories for describing and reasoning about the behavior of communicating systems, where the behavior of a communicating system is described in terms of its capabilities to perform communication actions in cooperation with its environment. In such theories, preorders or equivalences are defined as criteria for when one system is an acceptable substitute or implementation of another. Existing theories of communicating systems define preorders or equivalence relations only between systems with identical sets of communication actions. In many practical design situations, however, it may be desirable to refine a system by changing its set of communication actions. We present a simple method for carrying out such refinements. The method is first formulated in a general setting, and then elaborated in more detail in the trace model and a simple version of the failure model. We illustrate the usefulness of our method by an application to I.451, an ISDN access protocol.",
    keywords = "Failure model, Parallel composition, Transition diagram, Trace model, Abstract specification",
    author = "Ed Brinksma and Fredrik Orava and Bengt Jonsson",
    year = "1991",
    month = "4",
    day = "8",
    doi = "10.1007/3540539816_73",
    language = "English",
    isbn = "978-3-540-53981-0",
    series = "Lecture Notes in Computer Science",
    publisher = "Springer",
    pages = "297--312",
    booktitle = "TAPSOFT '91",

    }

    Brinksma, E, Orava, F & Jonsson, B 1991, Refining Interfaces of Cummunicating Systems. in TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, UK, April 8–12, 1991. Lecture Notes in Computer Science, vol. 494, Springer, Berlin, Heidelberg, pp. 297-312. https://doi.org/10.1007/3540539816_73

    Refining Interfaces of Cummunicating Systems. / Brinksma, Ed; Orava, Fredrik; Jonsson, Bengt.

    TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, UK, April 8–12, 1991. Berlin, Heidelberg : Springer, 1991. p. 297-312 (Lecture Notes in Computer Science; Vol. 494).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    TY - GEN

    T1 - Refining Interfaces of Cummunicating Systems

    AU - Brinksma, Ed

    AU - Orava, Fredrik

    AU - Jonsson, Bengt

    PY - 1991/4/8

    Y1 - 1991/4/8

    N2 - There are now several theories for describing and reasoning about the behavior of communicating systems, where the behavior of a communicating system is described in terms of its capabilities to perform communication actions in cooperation with its environment. In such theories, preorders or equivalences are defined as criteria for when one system is an acceptable substitute or implementation of another. Existing theories of communicating systems define preorders or equivalence relations only between systems with identical sets of communication actions. In many practical design situations, however, it may be desirable to refine a system by changing its set of communication actions. We present a simple method for carrying out such refinements. The method is first formulated in a general setting, and then elaborated in more detail in the trace model and a simple version of the failure model. We illustrate the usefulness of our method by an application to I.451, an ISDN access protocol.

    AB - There are now several theories for describing and reasoning about the behavior of communicating systems, where the behavior of a communicating system is described in terms of its capabilities to perform communication actions in cooperation with its environment. In such theories, preorders or equivalences are defined as criteria for when one system is an acceptable substitute or implementation of another. Existing theories of communicating systems define preorders or equivalence relations only between systems with identical sets of communication actions. In many practical design situations, however, it may be desirable to refine a system by changing its set of communication actions. We present a simple method for carrying out such refinements. The method is first formulated in a general setting, and then elaborated in more detail in the trace model and a simple version of the failure model. We illustrate the usefulness of our method by an application to I.451, an ISDN access protocol.

    KW - Failure model

    KW - Parallel composition

    KW - Transition diagram

    KW - Trace model

    KW - Abstract specification

    U2 - 10.1007/3540539816_73

    DO - 10.1007/3540539816_73

    M3 - Conference contribution

    SN - 978-3-540-53981-0

    T3 - Lecture Notes in Computer Science

    SP - 297

    EP - 312

    BT - TAPSOFT '91

    PB - Springer

    CY - Berlin, Heidelberg

    ER -

    Brinksma E, Orava F, Jonsson B. Refining Interfaces of Cummunicating Systems. In TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, UK, April 8–12, 1991. Berlin, Heidelberg: Springer. 1991. p. 297-312. (Lecture Notes in Computer Science). https://doi.org/10.1007/3540539816_73