Em direção a uma semântica da linguagem de descrição de reuso em UML/OCL

Abstract

O processo de reutilização de frameworks é chamado de processo de instanciação. Para que a representação das atividades de instanciação esteja correta existe a necessidade de estender a formalização da RDL. A Linguagem de Descrição de Reuso - RDL - está formalizada através da sua BNF (Backus-Naur-Form). Esta formalização não define todas as restrições necessárias que devem ser aplicadas aos modelos construídos a partir da RDL. A Linguagem de Descrição de Reuso permite a representação das atividades de instanciação de frameworks orientados a objetos. O objetivo deste trabalho é estender a formalização da linguagem através da elaboração do seu meta-modelo utilizando um diagrama de classes UML; e através da descrição de um conjunto de restrições aplicáveis ao meta-modelo, escritas em linguagem natural e OCL (Linguagem de Restrição de Objetos), com o objetivo de detectar ambigüidades e inconsistências dos modelos.

The framework reuse process is called instantiation process. For the representation of the instantiation activities be considered correct it is necessary to extend the RDL formalization. The Reuse Description Language - RDL - is formalized through BNF (Backus-Naur-Form). This kind of formalization doesn´t defines all necessary constraints that should be applied to the models constructed with RDL. The RDL language allows the representation of the instantiation of object oriented framework activities. The aim of this work is to extend the RDL formalization through the definition of RDL metamodel using a class diagram; and through the description of a set of constraints applicable to the metamodel, wrote in natural language and OCL (Object Constraint Language), to detect ambiguity and inconsistency of the models.