Animating lotos specifications using AMLOG

Atsushi Togashi, Glenn Mansfield, Norio Shiratori

    研究成果: Article

    抜粋

    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.

    元の言語English
    ページ(範囲)5-19
    ページ数15
    ジャーナルInternational Journal of Software Engineering and Knowledge Engineering
    6
    発行部数1
    出版物ステータスPublished - 1996 3

      フィンガープリント

    ASJC Scopus subject areas

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

    これを引用