Technologie

Features

REFINE^TM is a programming environment. It provides a programming language and a set of language processing tools (parser, compiler, etc.). The language is called “the REFINE^TM language”, or just “REFINE^TM”, when there is no ambiguity as to whether we are discussing the language or the whole system. The most novel features of the system, which distinguish it from other commercially available programming environments, are the following:

• The REFINE^TM language the first programming language to provide an integrated treatment of set theory, logic, transformation rules, pattern matching, and procedure. Because the language is executable (as opposed to “paper” languages) and allows you to write programs at the specification level, the REFINE^TM system supports programming with “executable specifications”.
• REFINE^TM provides a powerful object base that you can query and modify using the REFINE^TM language. REFINE^TM programs and other software-related objects (documents, test cases) are stored in the object base. This makes REFINE^TM ideal for writing programs that manipulate software objects, such as program transformation systems and documentation systems. You can use the object base for representing the objects in your application domain, and all REFINE^TM tools for manipulating the object base can be used by your application.
• The REFINE^TM compiler is implemented as a program transformation system. REFINE^TM programs are compiled into Lisp by successive application of program transformation rules. The rules themselves are written in REFINETM; the REFINE^TM compiler (and most of the rest of the system) is bootstrapped (i.e., written in its own language).
• REFINE^TM provides facilities that allow you to design your own languages using a BNF-like notation to describe the grammar of your language. Given a grammar, REFINE^TM compiles a lexical analyzer, parser, pattern matcher, pattern constructor and prettyprinter for your language. The syntax definition system is an optionally loaded system. It is described in a separate document titled “DIALECT 1.0 User’s Guide”.

Les outils (SDK)

Refine^TM dispose de ses propres outils de développement à savoir :

1. Un générateur d’analyseurs syntaxiques extrêmement évolué garantissant l’extensibilité du CBMS à d’autres syntaxes au coût minimal.
2. Un compilateur Refinetm permettant de compiler de manière incrémentale les Applications de Réingénierie. Refinetm est un langage de programmation spécialisé dans la manipulation des arbres attribués qui permet d’effectuer des opérations d’analyse et de transformation complexes et très diverses avec peu d’effort. Le langage Refinetm garantit la modularité des applications de réingénierie passées et à venir.
3. Un environnement de développement d’interface utilisateur permettant de doter les Applications de Réingénierie d’une interface graphique.