Formal Analysis of UML-Based Designs.
Boumediene Belkhouche, Anastasia Nix · 2004
This paper describes a design specification and analysis framework to support the OO design stage. Structural and behavioral specifications of objects are integrated and for-malized. To achieve this task, an object-oriented design language that captures the structural and behavioral mod-els was defined. An environment consisting of a graphical user interface (GUI) and a processor for the language was implemented. The GUI supports the generation of UML-based designs. The major tasks of the processor are syn-tactic and semantic analyses, and code generation. Thus, designs can be evaluated and validated before implemen-tation.