Formal Analysis of UML-Based Designs

10 years 5 months ago
Formal Analysis of UML-Based Designs
This paper describes a design specification and analysis framework to support the OO design stage. Structural and behavioral specifications of objects are integrated and formalized. To achieve this task, an object-oriented design language that captures the structural and behavioral models 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 UMLbased designs. The major tasks of the processor are syntactic and semantic analyses, and code generation. Thus, designs can be evaluated and validated before implementation.
Boumediene Belkhouche, Anastasia Nix
Added 31 Oct 2010
Updated 31 Oct 2010
Type Conference
Year 2004
Where SERP
Authors Boumediene Belkhouche, Anastasia Nix
Comments (0)