Эта книга содержит избранные статьи о языке, приложениях и средах CafeOBJ, современного языка алгебраических спецификаций. Авторы выступают на семинаре, проведенном в 1998 году по случаю крупного промышленно-академического проекта, посвященного CafeOBJ. В проекте приняли участие более 40 человек из более чем 10 организаций, 6 из которых отраслевые. Семинар привлек около 30 презентаций и более 70 участников.
Однако документы в книге представляют собой либо сильно переработанные версии, представленные на семинаре, чтобы отразить последние достижения или исследования; или совершенно новые, написанные специально для этой книги. В этом отношении книга не является обычным постсеминарным изданием. Хотя это сборник статей, связанных с CafeOBJ, книга не является руководством, справочником или учебным пособием по CafeOBJ. Вероятно, лучшее описание состоит в том, что это сборник статей, в которых исследуется, как использовать CafeOBJ или как упростить его использование. Отражая различную природу проекта и его участников (большинство авторов являются участниками проекта), собранные вклады дают исчерпывающую картину с этой методологической точки зрения.
Некоторые статьи посвящены различным продвинутым аспектам языка, таким как B. Логика переписывания и логика поведения. Сообщалось о нескольких важных приложениях для переписывания логики. В частности, предметом статьи является UML, который в настоящее время является стандартом де-факто для систем моделирования. Представлены новые методологические рекомендации по поведенческой логике. Некоторые статьи проливают новый свет на более традиционную парадигму языка; Спецификации уравнения отсортированы по порядку. В одной статье, в частности, рассматривается способ связать CafeOBJ с объектно-ориентированным программированием. Другие статьи посвящены средам для написания и проверки спецификаций, написанных в CafeOBJ. В основе этих статей лежат два основных соображения: пользовательские интерфейсы для управления спецификациями и систематическая поддержка доказательств. Все среды, обсуждаемые в статьях, предполагают и поддерживают распределенные вычисления и фактически интегрируют стандартные сетевые технологии, такие как WWW и http.
