Manipulating Algebraic Specifications with Term-based and Graph-based Representations

Anamaria Martins Moreira Christophe Ringeissen 1 David Déharbe Gleydson Lima
1 PROTHEO - Constraints, automatic deduction and software properties proofs
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
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 FERUS project, we are developing a tool targeted at software designers that integrates a collection of operations on algebraic specifications written in the CASL language. The scope of FERUS 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 FERUS 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 ATerms as a manipulation and exchange format in the setting of FERUS. 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.
Type de document :
Article dans une revue
The Journal of Logic and Algebraic Programming, 2004, 59 (1-2), pp.63-87
Liste complète des métadonnées

https://hal.inria.fr/inria-00099983
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 10:13:04
Dernière modification le : jeudi 11 janvier 2018 - 06:19:59

Identifiants

  • HAL Id : inria-00099983, version 1

Collections

Citation

Anamaria Martins Moreira, Christophe Ringeissen, David Déharbe, Gleydson Lima. Manipulating Algebraic Specifications with Term-based and Graph-based Representations. The Journal of Logic and Algebraic Programming, 2004, 59 (1-2), pp.63-87. 〈inria-00099983〉

Partager

Métriques

Consultations de la notice

107