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

Access this Article

Search this Article

Author(s)

Abstract

代数仕様言語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.

Journal

  • Computer Software

    Computer Software 25(2), 14-27, 2008-04-25

    Japan Society for Software Science and Technology

References:  4

  • Logical foundations of CafeOBJ

    DIACONESCU R.

    Theor. Comput. Sci. 285(2), 289-318, 2002

    Cited by (1)

  • <no title>

    DIACONESCU R.

    CafeOBJ report, 1998

    Cited by (1)

  • Principles of OBJ2

    FUTATSUGI K.

    12th POPL, 1985, 1985

    Cited by (5)

  • Fundamentals for algebraic Modeling  [in Japanese]

    FUTATSUGI Kokichi , Kokichi Futatsugi , 北陸先端科学技術大学院大学情報科学研究科 , Graduate School of Information Science Japan Advanced Institute of Science and Technology (JAIST).

    コンピュータソフトウェア 00013(00001), 4-22, 1996-01-16

    References (18) Cited by (5)

Cited by:  1

Codes

  • NII Article ID (NAID)
    110006664763
  • NII NACSIS-CAT ID (NCID)
    AN10075819
  • Text Lang
    JPN
  • Article Type
    Journal Article
  • ISSN
    02896540
  • NDL Article ID
    9499435
  • NDL Source Classification
    ZM13(科学技術--科学技術一般--データ処理・計算機)
  • NDL Call No.
    Z14-1033
  • Data Source
    CJP  CJPref  NDL  NII-ELS  J-STAGE 
Page Top