Animating lotos specifications using AMLOG

Atsushi Togashi*, Glenn Mansfield, Norio Shiratori


    研究成果: Article査読

    1 被引用数 (Scopus)


    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.

    ジャーナルInternational Journal of Software Engineering and Knowledge Engineering
    出版ステータスPublished - 1996 3月

    ASJC Scopus subject areas

    • 人工知能
    • コンピュータ グラフィックスおよびコンピュータ支援設計
    • ソフトウェア
    • 電子工学および電気工学


    「Animating lotos specifications using AMLOG」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。