Towards specifying with inclusions.

Agustí, Jaume, Puigsegur, Jordi, and Schorlemmer, W. Marco. "Towards specifying with inclusions.." Mathware and Soft Computing 4.3 (1997): 281-297. <http://eudml.org/doc/39114>.

@article{Agustí1997,
abstract = {In this article we present a functional specification language based on inclusions between set expressions. Instead of computing with data individuals we deal with their classification into sets. The specification of functions and relations by means of inclusions can be considered as a generalization of the conventional algebraic specification by means of equations. The main aim of this generalization is to facilitate the incremental refinement of specifications. Furthermore, inclusional specifications admit a natural visual syntax which can also be used to visualize the reasoning process. We show that reasoning with inclusions is well captured by bi-rewriting, a rewriting technique introduced by Levy and Agustí [15]. However, there are still key problems to be solved in order to have executable inclusional specifications, necessary for rapid prototyping purposes. The article mainly points to the potentialities and difficulties of specifying with inclusions.},
author = {Agustí, Jaume, Puigsegur, Jordi, Schorlemmer, W. Marco},
journal = {Mathware and Soft Computing},
keywords = {Lenguajes formales; Lógica simbólica; Especificaciones; Registro gráfico; Inclusiones},
language = {eng},
number = {3},
pages = {281-297},
title = {Towards specifying with inclusions.},
url = {http://eudml.org/doc/39114},
volume = {4},
year = {1997},
}

TY - JOUR
AU - Agustí, Jaume
AU - Puigsegur, Jordi
AU - Schorlemmer, W. Marco
TI - Towards specifying with inclusions.
JO - Mathware and Soft Computing
PY - 1997
VL - 4
IS - 3
SP - 281
EP - 297
AB - In this article we present a functional specification language based on inclusions between set expressions. Instead of computing with data individuals we deal with their classification into sets. The specification of functions and relations by means of inclusions can be considered as a generalization of the conventional algebraic specification by means of equations. The main aim of this generalization is to facilitate the incremental refinement of specifications. Furthermore, inclusional specifications admit a natural visual syntax which can also be used to visualize the reasoning process. We show that reasoning with inclusions is well captured by bi-rewriting, a rewriting technique introduced by Levy and Agustí [15]. However, there are still key problems to be solved in order to have executable inclusional specifications, necessary for rapid prototyping purposes. The article mainly points to the potentialities and difficulties of specifying with inclusions.
LA - eng
KW - Lenguajes formales; Lógica simbólica; Especificaciones; Registro gráfico; Inclusiones
UR - http://eudml.org/doc/39114
ER -