CAFE is the name of a network based environment now under development for supporting systematic creation, checking, verification, and maintenance of formal specifications. CAFE has an algebraic specification language called CafeOBJ as its main specification language, and adopts an algebraic specification paradigm as its foundation. CafeOBJ is a successor of the OBJ language, and has important new features for concurrency and behavioral specifications. Concurrency and behavior are specified based on rewriting logic and behavioral (hidden sorted) algebra respectively. These new features make it possible to provide powerful language constructs for formal object oriented specifications. CAFE is designed to be a network based environment. For sharing specification documents systematically over networks, a new document formatting language called Forsdonnet (FORmal Specification Document ON NETwork) is designed by extending HTML. Forsdonnet includes constructs for formal and informal specifications, commands for executing (prototyping) and cheeking/verifying CafeOBJ specifications, etc. Forsdonnet is designed to be based on already established standard network infrastructure components like HTML and Netscape Navigator. The paper gives an overview and design considerations of the CAFE environment, featuring mainly CafeOBJ and Forsdonnet languages.

Article Stepwise refinement process with modularity Share on Authors: Ataru T. Nakagawa Electrotechnical Laboratory, l-l-4 Umezono, Tsukuba Science City, Ibaraki 305, JAPAN Electrotechnical Laboratory, l-l-4 Umezono, Tsukuba Science City, Ibaraki 305, JAPANView Profile , Kokichi Futatsugi Electrotechnical Laboratory, l-l-4 Umezono, Tsukuba Science City, Ibaraki 305, JAPAN Electrotechnical Laboratory, l-l-4 Umezono, Tsukuba Science City, Ibaraki 305, JAPANView Profile Authors Info & Claims ICSE '89: Proceedings of the 11th international conference on Software engineeringMay 1989 Pages 166–177https://doi.org/10.1145/74587.74611Online:15 May 1989Publication History 5citation316DownloadsMetricsTotal Citations5Total Downloads316Last 12 Months4Last 6 weeks0 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteGet Access