CAFE: An Industrial-Strength Algebraic Formal Method
：An Industrial-Strength Algebraic Formal Method
Publication subTitle ：An Industrial-Strength Algebraic Formal Method
Author： Futatsugi K.;Nakagawa A. T.;Tamai T.
Publisher： Elsevier Science
Publication year： 2000
E-ISBN: 9780080528403
P-ISBN(Paperback): 9780444505569
P-ISBN(Hardback): 9780444505569
Subject： TP301.6 algorithm theory;TP31 computer software;TP312 程序语言、算法语言
Language： ENG
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
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
Chapter