Executable specifications and CASE

The idea of executing graphical system models is not new. Several accounts of research in this area are well documented. Despite this, such research is still in its infancy, particularly in relation to CASE environments and the practical application of ideas. The paper considers executability within CASE, with a focus on executable specifications. The importance of executability is highlighted, and some of the work in the held is noted. An experimental executable specification tool is presented. The final conclusions drawn take a look into the envisaged future of executability in CASE