 |
|
| CAFE: AN INDUSTRIAL-STRENGTH ALGEBRAIC FORMAL METHOD
| |
| | |
|
|
 Buy online with a credit card in the Elsevier Science & Technology Bookstore:  http://books.elsevier.com/elsevier/?isbn=0444505563
Edited by
K. Futatsugi, Japan Advanced Institute for Science and Technology (JAIST), 1-1 Asahidai, Ishikawa 923-12, Japan
A.T. Nakagawa, Software Research Associates Inc. (SRA), Tokyo, Japan
T. Tamai, University of Tokyo, Japan
Description
This book contains selected papers on the language, applications, and environments of CafeOBJ, which is a state-of -the-art algebraic
specification language. The authors are speakers at a workshop held in 1998 to commemorate a large industrial/academic project dedicated
to CafeOBJ. The project involved more than 40 people from more than 10 organisations, of which 6 are industrial. The workshop attracted
about 30 talks and more than 70 attendees.
The papers in the book however, are either heavily revised versions presented at the workshop,
to reflect recent advancements or research; or completely new ones, written especially for this book. In this regard, the book is not
a usual postpublication after a workshop. Also, although it is a compendium of papers that are related to CafeOBJ, the book is not a
manual, reference, or tutorial of CafeOBJ. Probably the best description is that it is a collection of papers that investigate how to
use, or to make it easy to use, CafeOBJ. Reflecting the diverse nature of the project and its participants (most of the authors are participants
to the project), the papers, put together, offer a comprehensive picture from this methodological perspective.
Some papers deal with
various advanced aspects of the language, such as rewriting logic and behavioural logic. For rewriting logic, a couple of significant
applications were reported. In particular, UML, now considered de facto standard language for modelling systems, is the subject of one
paper. For behavioural logic, new methodological guidelines are presented. Some papers shed new light on a more traditional paradigm
in the language; order-sorted equational specifications. One paper, in particular, deal with a way to associate CafeOBJ with object-oriented
programming. The other papers deal with environments for writing and vertifying specifications written in CafeOBJ. Underlying those papers
are two major considerations: user interfaces for manipulating specifications, and systematic supports for proofs. All the environments
explained in the papers assume and support distributed computing, and de facto standard network technologies, such as WWW and http, are
incorporated.
Contents
Building equational proving tools by reflection in rewriting logic (M. Clavel, F. Durán, S. eker, J. Meseguer). CafeOBL Jewels
(R. Diaconescu, K. Futatsugi, S. Iida). An overview of the Tatami Project (J. Goguen, K. Lin, G. Roşu, A. Mori, B. Warinschi).
Proof assistance for equational specifications based on proof obligations (M. Ishiguro, A. Nakagawa). Generating rewrite theories from
UML collaborations (A. Knapp). CASL for CafeOBJ users (P. Mosses). CafePie: A visual programming system for CafeOBJ (T. Ogawa, J. Tanaka).
On extracting algebraic specifications from untyped object-oriented programs (H. Ohkubo, T. Sakabe, Y. Inagaki). An environment for systematic
development of algebrai specifications on networks (A. Seo, A. Nakagawa).
| Bibliographic details |
Hardbound, 194 pages, publication date: SEP-2000
ISBN-13: 978-0-444-50556-9
ISBN-10: 0-444-50556-3
Imprint: ELSEVIER
|
| Price and Ordering |
Price:
USD 78
GBP 52
EUR 78
|  |
Books and book related electronic products are priced in US dollars (USD), euro (EUR), and Great Britain Pounds (GBP). USD prices apply to the Americas and Asia Pacific. EUR prices apply in Europe and the Middle East. GBP prices apply to the UK and all other countries.
|
See also information about conditions of sale & ordering procedures, and links to our regional sales offices.
|
050/503
Last update: 8 Nov 2008
|
|
| |
| | |
|
|
| |
