CafeOBJ入門(2) : 構文と意味 Introducing CafeOBJ (2) : Syntax and Semantics

この論文をさがす

著者

抄録

代数仕様言語CafeOBJは,柔軟なmix-fix構文,部分型をともなった強力な型システム,数種類の輸入,パラメータ化モジュール,ビューによるパラメータの具現化などを持つ洗練されたモジュールシステムなどの特徴を持つ.CafeOBJ仕様は代数を意味する.代数は,抽象データ型や抽象機械などの現実のシステムの記述に有効なモデルを包含する汎用性のあるモデル化の枠組みであり,形式仕様の作成と検証を統一的に扱うことができる.本論文では,代数仕様言語CafeOBJの構文および意味について解説する.またCafeOBJ処理系を用いた構文解析,仕様実行,仕様検証についても簡単に解説する.CafeOBJ algebraic specification language features flexible mix-fix syntax, powerful typing system with sub-types, and sophisticated module composition system featuring various kinds of imports, parameterised modules, views for instantiating the parameters, etc. CafeOBJ specifications denote algebras. The algebra is a universal modeling framework including useful models like abstract data types and abstract machines, and allows us to describe and verify formal specifications in a unified framework. In this paper, the syntax and semantics of CafeOBJ algebraic specification language are explained. The use of CafeOBJ processor also is explained briefly by examples of parsing, executing, and verifying specification.

CafeOBJ algebraic specification language features flexible mix-fix syntax, powerful typing system with sub-types, and sophisticated module composition system featuring various kinds of imports, parameterised modules, views for instantiating the parameters, etc. CafeOBJ specifications denote algebras. The algebra is a universal modeling framework including useful models like abstract data types and abstract machines, and allows us to describe and verify formal specifications in a unified framework. In this paper, the syntax and semantics of CafeOBJ algebraic specification language are explained. The use of CafeOBJ processor also is explained briefly by examples of parsing, executing, and verifying specification.

収録刊行物

  • コンピュータソフトウェア = Computer software

    コンピュータソフトウェア = Computer software 25(2), 14-27, 2008-04-24

    Japan Society for Software Science and Technology

参考文献:  4件中 1-4件 を表示

被引用文献:  1件中 1-1件 を表示

各種コード

  • NII論文ID(NAID)
    110006664763
  • NII書誌ID(NCID)
    AN10075819
  • 本文言語コード
    JPN
  • 資料種別
    Journal Article
  • ISSN
    02896540
  • NDL 記事登録ID
    9499435
  • NDL 雑誌分類
    ZM13(科学技術--科学技術一般--データ処理・計算機)
  • NDL 請求記号
    Z14-1033
  • データ提供元
    CJP書誌  CJP引用  NDL  NII-ELS  IR  J-STAGE 
ページトップへ