BDBComp
Parceria:
SBC
Integrando UML e Métodos Formais

Rafael Magalhães BorgesAlexandre Cabral Mota

UML is a widespread language in industry and academia. However its semantics is still informal and has ambiguities. On the other hand, OhCircus is a formal specification language which unifies Z, CSP, the refinement calculus and object-oriented theories. In this work, we are concerned with their integration, translating UML class diagrams into OhCircus specifications. In particular, our approach uses, beyond the syntactic mapping, the concept of class model to capture, naturally, associations and global constraints. Finally, we use our own work to prove the refinement of associations as attributes, a much desired result linking analysis to design and implementation. UML é uma linguagem bastante difundida na indústria e nas universidades. Entretanto, sua semântica ainda é informal e possui ambigüidades. Por outro lado, OhCircus é uma linguagem de especificação formal que unifica as teorias de Z, CSP, cálculo de refinamentos e orientação a objetos. Neste trabalho propomos sua integração, traduzindo diagramas de classes UML em especificações OhCircus. Em particular, nossa abordagem utiliza, além do mapeamento sintático, o conceito de classe modelo para capturar, naturalmente, associações e restrições globais. Finalmente, utilizamos nosso próprio trabalho para provar o refinamento de associações como atributos, um importante resultado que conecta os modelos de análise, projeto e implementação.

http://www.lbd.dcc.ufmg.br/colecoes/sbmf/2005/009.pdf

Caso o link acima esteja inválido, faça uma busca pelo texto completo na Web: Buscar na Web

Biblioteca Digital Brasileira de Computação - Contato: bdbcomp@lbd.dcc.ufmg.br
     Mantida por:
LBD