An Overview of Cafe Project(abstract)

Kokichi Futatsugi and Ataru Nakagawa

Cafe is the name of an environment for systematic development of formal specifications based on algebraic specification techniques. The concept of Cafe was conceived by the first author around 1990 at ETL(Electortechnical Lab., Tsukuba, JAPAN) as a successor of the OBJ language system. The development of Cafe has been supported by IPA(Information Technology Promotion Agency Japan, Tokyo, JAPAN) from 1992, and the first version of CafeOBJ (a main specification language of Cafe) was released in December 1995.

Cafe is designed to support semantic representations of problems and reasoning methods which current generation of CASE tools are lacking. CafeOBJ is a new member of OBJ language family. One of the the most important features of CafeOBJ is its constructs for object-oriented modeling (OOM).

A larger scale project for developing a netwark based unified evnironment for CafeOBJ including verifier/checker, browser/editor, and library/cases is promised to be supported by IPA. This paper gives an overview of the new Cafe project.

full paper

Back to CafeOBJ Home Page