Animating lotos specifications using AMLOG

Atsushi Togashi, Glenn Mansfield, Norio Shiratori

    Research output: Contribution to journalArticle

    Abstract

    In order to achieve a more convenient and intelligent handling of LOTOS specifications, an approach is proposed wherein specifications are translated into an appropriate equational logic language and interpreted. LOTOS has an excellent formal model for describing communication processes and equational logic languages have the capability of inferencing and data abstraction. Naturally, the marriage of LOTOS and equational logic provides a powerful framework with features that could not be realized in existing technologies. To demonstrate this potential, AMLOG is chosen as the appropriate equational logic language. Apart from rapid prototyping of specifications, some of the exciting possibilities of the new framework that are demonstrated include stepwise refinement and testing for correctness of specifications, facilities for property checking and verification of bisimulation equivalences. Also, the derivation of behavior expressions from trace histories is shown. The approach, extensible to other FDTs as well, is a step towards realizing an intelligent communication protocol specification environment.

    Original languageEnglish
    Pages (from-to)5-19
    Number of pages15
    JournalInternational Journal of Software Engineering and Knowledge Engineering
    Volume6
    Issue number1
    Publication statusPublished - 1996 Mar

    Fingerprint

    Specification languages
    Specifications
    Rapid prototyping
    Network protocols
    Communication
    Testing

    Keywords

    • AMLOG
    • Behavior equivalence
    • Equational logic language
    • LOTOS interpreter
    • LOTOS specification
    • Property checking

    ASJC Scopus subject areas

    • Artificial Intelligence
    • Computer Graphics and Computer-Aided Design
    • Software
    • Electrical and Electronic Engineering

    Cite this

    Animating lotos specifications using AMLOG. / Togashi, Atsushi; Mansfield, Glenn; Shiratori, Norio.

    In: International Journal of Software Engineering and Knowledge Engineering, Vol. 6, No. 1, 03.1996, p. 5-19.

    Research output: Contribution to journalArticle

    Togashi, A, Mansfield, G & Shiratori, N 1996, 'Animating lotos specifications using AMLOG', International Journal of Software Engineering and Knowledge Engineering, vol. 6, no. 1, pp. 5-19.
    Togashi, Atsushi ; Mansfield, Glenn ; Shiratori, Norio. / Animating lotos specifications using AMLOG. In: International Journal of Software Engineering and Knowledge Engineering. 1996 ; Vol. 6, No. 1. pp. 5-19.
    @article{6efb179dbb8f49fdba4dc670ee8fa4f6,
    title = "Animating lotos specifications using AMLOG",
    abstract = "In order to achieve a more convenient and intelligent handling of LOTOS specifications, an approach is proposed wherein specifications are translated into an appropriate equational logic language and interpreted. LOTOS has an excellent formal model for describing communication processes and equational logic languages have the capability of inferencing and data abstraction. Naturally, the marriage of LOTOS and equational logic provides a powerful framework with features that could not be realized in existing technologies. To demonstrate this potential, AMLOG is chosen as the appropriate equational logic language. Apart from rapid prototyping of specifications, some of the exciting possibilities of the new framework that are demonstrated include stepwise refinement and testing for correctness of specifications, facilities for property checking and verification of bisimulation equivalences. Also, the derivation of behavior expressions from trace histories is shown. The approach, extensible to other FDTs as well, is a step towards realizing an intelligent communication protocol specification environment.",
    keywords = "AMLOG, Behavior equivalence, Equational logic language, LOTOS interpreter, LOTOS specification, Property checking",
    author = "Atsushi Togashi and Glenn Mansfield and Norio Shiratori",
    year = "1996",
    month = "3",
    language = "English",
    volume = "6",
    pages = "5--19",
    journal = "International Journal of Software Engineering and Knowledge Engineering",
    issn = "0218-1940",
    publisher = "World Scientific Publishing Co. Pte Ltd",
    number = "1",

    }

    TY - JOUR

    T1 - Animating lotos specifications using AMLOG

    AU - Togashi, Atsushi

    AU - Mansfield, Glenn

    AU - Shiratori, Norio

    PY - 1996/3

    Y1 - 1996/3

    N2 - In order to achieve a more convenient and intelligent handling of LOTOS specifications, an approach is proposed wherein specifications are translated into an appropriate equational logic language and interpreted. LOTOS has an excellent formal model for describing communication processes and equational logic languages have the capability of inferencing and data abstraction. Naturally, the marriage of LOTOS and equational logic provides a powerful framework with features that could not be realized in existing technologies. To demonstrate this potential, AMLOG is chosen as the appropriate equational logic language. Apart from rapid prototyping of specifications, some of the exciting possibilities of the new framework that are demonstrated include stepwise refinement and testing for correctness of specifications, facilities for property checking and verification of bisimulation equivalences. Also, the derivation of behavior expressions from trace histories is shown. The approach, extensible to other FDTs as well, is a step towards realizing an intelligent communication protocol specification environment.

    AB - In order to achieve a more convenient and intelligent handling of LOTOS specifications, an approach is proposed wherein specifications are translated into an appropriate equational logic language and interpreted. LOTOS has an excellent formal model for describing communication processes and equational logic languages have the capability of inferencing and data abstraction. Naturally, the marriage of LOTOS and equational logic provides a powerful framework with features that could not be realized in existing technologies. To demonstrate this potential, AMLOG is chosen as the appropriate equational logic language. Apart from rapid prototyping of specifications, some of the exciting possibilities of the new framework that are demonstrated include stepwise refinement and testing for correctness of specifications, facilities for property checking and verification of bisimulation equivalences. Also, the derivation of behavior expressions from trace histories is shown. The approach, extensible to other FDTs as well, is a step towards realizing an intelligent communication protocol specification environment.

    KW - AMLOG

    KW - Behavior equivalence

    KW - Equational logic language

    KW - LOTOS interpreter

    KW - LOTOS specification

    KW - Property checking

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

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

    M3 - Article

    AN - SCOPUS:8644238850

    VL - 6

    SP - 5

    EP - 19

    JO - International Journal of Software Engineering and Knowledge Engineering

    JF - International Journal of Software Engineering and Knowledge Engineering

    SN - 0218-1940

    IS - 1

    ER -