Matriz Square: mecanismo integrador dos modelos da metodologia OMT

Abstract

A Matriz Square é proposta como mecanismo integrador dos modelos construídos, a partir da prática diagramática na fase de análise, pela metodologia [Object Modeling Technique] (OMT) de Rumbaugh et al [RUM91]. Os modelos gerados são independentes mas possuem conexões explícitas que permitem a integração. A Matriz Square é uma ferramenta gráfica que produz um novo modelo (o modelo matricial), que complementa aqueles gerados pela metodologia OMT. Classes de conexões explícitas, constituídas por vínculos entre os elementos modelados, são estabelecidas e representadas na Matriz Square para viabilizar a verificação de consistência integrando os diferentes modelos da metodologia OMT. O modelador pode buscar esta integração pela verificação visual ou através da aplicação de regras de consistência sobre as conexões explícitas detectadas no modelo matricial. A verificação visual é possível pela utilização de filtros sobre a matriz, obtendo-se fragmentos da própria matriz, onde podem ser analisados padrões, e paralelamente, fragmentos correspondentes dos diagramas, permitindo observar a coerência entre eles. As regras de consistência podem ser aplicadas localmente sobre um elemento modelado ou globalmente sobre toda a matriz, gerando relatório de consistência.

Matriz Square is proposed as a integrator device for the origined models from the diagramatic pratic in the analysis phase by the “Object Modeling Technique” (OMT) of the Rumbaugh et al [RUM91]. The generated models are independent but they have explicit connections to make possible the integration. Matriz Square is a graphic tool that produce a new model (the matrix model) and it complements the OMT models. Explicit connections classes are settled and they consist of joins between modeled elements. They are represented in the Matriz Square to enabling the consistency verification between OMT models. User may get the integration using visual verification or consistency rules on the explicit connections in the matrix model. The visual verification is possible by filters on the matrix. Filtered matrix fragments allow the analysis of patterns, and they provide a parallel observation of correspondent diagram fragments. This visual verification detects the coherency between models. The consistency rules may be aplicated on a modeled element (locally) or verify all matrix (totally), generating a consistency report.