Chapter 9 - An Environment for Systematic Development of Algebraic Specifications on Networks

Abstract

This chapter proposes a framework that enables users to develop algebraic specifications in a distributed environment as if they are working on a single system. The user of the framework need not be aware of where all those modules and processors are located, and would be able to concentrate on the immediate technical problems at hand; at the same time all the resources in the environment would be at the user's disposal. The chapter also implemented an integrated software development environment that is based on this framework in which, the users can develop CafeOBJ specifications on local, organizational, or even worldwide networks, through standard tools such as Emacs or Netscape. It outlines and provides solutions to three major problems related to development of programs using CafeOBJ, such as, how can a developer identify a specific module in the vast network, how are the relations between the modules maintained and resolved and how can a developer apply the tools to these modules. In addition, the framework makes it easy for a user to understand the specifications in order to improve quality and productivity. The chapter also implemented an integrated environment that is based on this framework. This chapter discusses the conclusions drawn from the practical application of framework and discusses areas of future development.