Formal analysis of UML-based designs

Boumediene Belkhouche, Anastasia Nix

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

Abstract

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.

Original languageEnglish
Title of host publicationProceedings of the International Conference on Software Engineering Research and Practice, SERP'04
EditorsH.R. Arabnia, H. Reza
Pages220-226
Number of pages7
Publication statusPublished - 2004
Externally publishedYes
EventProceedings of the International Conference on Software Engineering Research and Practice, SERP'04 - Las Vegas, NV, United States
Duration: Jun 21 2004Jun 24 2004

Publication series

NameProceedings of the International Conference on Software Engineering Research and Practice, SERP'04
Volume1

Other

OtherProceedings of the International Conference on Software Engineering Research and Practice, SERP'04
Country/TerritoryUnited States
CityLas Vegas, NV
Period6/21/046/24/04

Keywords

  • Code generation
  • Design specification
  • Formal analysis
  • Object-oriented design

ASJC Scopus subject areas

  • Engineering(all)

Fingerprint

Dive into the research topics of 'Formal analysis of UML-based designs'. Together they form a unique fingerprint.

Cite this