ORÁCULO: Um Sistema de Críticas para UML

  • Alexandre Ribeiro Dantas UFRJ
  • Alexandre Luis Correa UFRJ
  • Cláudia Maria Lima Werner UFRJ

Resumo


Este artigo apresenta um mecanismo para verificação de críticas sobre modelos construídos durante o desenvolvimento de software, denominado Oráculo. As críticas existentes são baseadas nas regras de boa-formação da linguagem UML, e novos tipos de críticas podem ser facilmente adicionadas. São também analisadas a importância e a implementação de sistemas de críticas no contexto de reutilização de software.
Palavras-chave: Sistema de Críticas, Modelagem, UML, Reutilização

Referências

EVANS A., LANO K., FRANCE R., RUMPE B. Meta-Modeling Semantics of UML. IN: Behavioural Specifications for Businesses and Systems, Kluwer Academic Publishers, Editor: Haim Kilov, Chapter 4, 1999.

KOTONYA G. SOMMERVILE I., Requirements Engineering with Viewpoints. Software Engineering Journal. Janeiro 1996.

MAGIC DRAW 4.0, NoMagic http://www.nomagic.com/, Abril, 2001.

ODYSSEY, COPPE/UFRJ http://www.cos.ufrj.br/~odyssey, Abril, 2001.

OMG. OMG Unified Modeling Language Specification. Versao 1.3. 1999. 808 p.

RATIONAL ROSE, Rational http://www.rational.com/, Abril, 2001.

ROBBINS J.E., HILBERT D.M., REDMILES D.F. Software Architecture Critics in Argo. Formal Demonstration at the 1998 Conference on Intelligent User Interfaces (IUI'98).

SOFTMODELER Enterprise Edition 2.5, Softera http://www.softera.com/, Abril, 2001.

WERNER, C., BRAGA, R., MATTOSO, M., et alli. Odyssey: Estágio Atual. Caderno de Ferramentas do XV Simpósio Brasileiro de Engenharia de Software (XIV SBES). João Pessoa, Brasil. Outubro, 2000.
Publicado
03/10/2001
DANTAS, Alexandre Ribeiro; CORREA, Alexandre Luis; WERNER, Cláudia Maria Lima. ORÁCULO: Um Sistema de Críticas para UML. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE (SBES), 15. , 2001, Rio de Janeiro/RJ. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2001 . p. 398-403. DOI: https://doi.org/10.5753/sbes.2001.24009.