Title:

Formalizing Pattern Applicability - An Approach based on UML and B

Author:

Rafael Marcano-Kamenoff

Address:

Laboratoire PRISM, Université de Versailles St.-Quentin, 78035 Versailles Cedex, France

Abstract:

Patterns play an important role in the development and in the specification of object-oriented software. They propose generic solutions to specific problems at each development stage. Pattern specialization h as demonstrated to be a very useful mechanism allowing solutions to be well adapted to architectural or design problems. The main problem with applying patterns is that the semantics weakness on their present representations leads to ambiguous interpretati ons and limits their use for developing robust applications. The primary goal of this research is to describe a process to specify patterns integrating two complementary paradigms, the UML and the B formal method. The purpose of this research is to define a formal development process based on applying patterns by specialization/refinement, and automating the transformation from architecture to implementation.