doi:10.1016/j.jlap.2003.12.001 
Copyright © 2003 Elsevier Inc. All rights reserved.
Manipulating algebraic specifications with term-based and graph-based representations*1
a Departamento de Informática e Matemática Aplicada, Universidade Federal do Rio Grande do Norte, Campus Universitário, Lagoa Nova, 59072-970, Natal, RN, Brazil
b LORIA, Technopôle de Nancy-Brabois, Campus scientifique, 615, rue du Jardin Botanique, BP101, 54602, Villers-lès-Nancy Cedex, France
Available online 11 February 2004.
References and further reading may be available for this article. To view references and further reading you must
purchase this article.
Abstract
In an environment of continuous and rapid evolution, software design methodologies must incorporate techniques and tools that support changes in software artifacts. In the 
project, we are developing a tool targeted at software designers that integrates a collection of operations on algebraic specifications written in the 
language. The scope of
includes not only modification of existing specifications, but also creation or derivation of new specifications, as well as their proof and execution, which are realized through inter-operability with existing tools. As
involves the manipulation of software specification and inter-operability with other tools, the question of choosing appropriate representation formats is important. In this paper, we discuss the advantages and limitations of 
as a manipulation and exchange format in the setting of
. We also present a new, graph-like format, which offers complementary features to a term-based format. Moreover, we present visualization utilities for these formats.
Author Keywords: Author Keywords: Software engineering; Formal specification; Algebraic specification; Software reuse; Tool inter-operability; Interchange format;
; 
Article Outline
- • References
Abstract
Purchase PDF (458 K)
E-mail Article
Add to my Quick Links
Cited By in Scopus (1)
Purchase PDF (1741 K)
