\section{Conclusion and Perspectives}

The report presents the motivation as well as the basic technology and the
current status of the implementation of DBPL-USE, a language-sensitive editing
tool for application programming in the DAIDA environment. The DBPL-USE
tool is generated by the Synthesizer Generator of \cite{r83} with the language
properties specified by an attributed grammar.
                      
The current implementation status includes full recognition of the extended
type-complete syntax of DBPL and provides full type and mode checking as
well as control of internal import and export of DBPL objects.

Based on our experience with the generation of language-sensitive editors
we are considering three extensions within the DAIDA context:
\begin{enumerate}
\item Specialization of the DBPL-based editor into versions that are sensitive
	to specific sets of DBPL-modules, thus providing editors that support
	programming against specific DBPL databases. 
\item Extension of the DBPL-based editor to generate, in addition to
	DBPL-objects, informations about those objects to support documentation
	of DBPL program properties in the DAIDA Global Knowledge BASE, GKBMS.
\item Generation of an additional editor that is sensitive to J.R. Abrial's
	Generalized Substitution Language (GSL, \cite{a}) used for Abstract
	Machine specifications in the TDL/DBPL mapping process \cite{wns}. A
	GSL-sensitive
	editor is supposed to know about a current set of Abstract Machines
	and provide syntactic assistance in specifying and refining them,
	thus allowing concentration
	on the semantic aspects of the refinement of Abstract Machines.
\end{enumerate}   

\vspace{3ex}

In a multilingual environment, language-sensitive technology could be employed 
heavier to support mappings between language levels as well as within language
levels. Since the formalism of attribute grammars is powerful enough to
realize arbitrary\footnote{As far as they are well defined.} mappings,
a first step in this direction would be the
specification of useful mappings. Manifold mappings could be  offered by and
selected from menues.

A special case hereof is the usage of editors for displaying simultaneously
different abstraction levels of the same object.
