Formal analysis of UML-based designs

Boumediene Belkhouche; Anastasia Nix

Formal analysis of UML-based designs

Boumediene Belkhouche, Anastasia Nix

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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 language	English
Title of host publication	Proceedings of the International Conference on Software Engineering Research and Practice, SERP'04
Editors	H.R. Arabnia, H. Reza
Pages	220-226
Number of pages	7
Publication status	Published - 2004
Externally published	Yes
Event	Proceedings of the International Conference on Software Engineering Research and Practice, SERP'04 - Las Vegas, NV, United States Duration: Jun 21 2004 → Jun 24 2004

Publication series

Name	Proceedings of the International Conference on Software Engineering Research and Practice, SERP'04
Volume	1

Other

Other	Proceedings of the International Conference on Software Engineering Research and Practice, SERP'04
Country/Territory	United States
City	Las Vegas, NV
Period	6/21/04 → 6/24/04

Keywords

Code generation
Design specification
Formal analysis
Object-oriented design

ASJC Scopus subject areas

General Engineering

Cite this

Formal analysis of UML-based designs. / Belkhouche, Boumediene; Nix, Anastasia.
Proceedings of the International Conference on Software Engineering Research and Practice, SERP'04. ed. / H.R. Arabnia; H. Reza. 2004. p. 220-226 (Proceedings of the International Conference on Software Engineering Research and Practice, SERP'04; Vol. 1).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Belkhouche, B & Nix, A 2004, Formal analysis of UML-based designs. in HR Arabnia & H Reza (eds), Proceedings of the International Conference on Software Engineering Research and Practice, SERP'04. Proceedings of the International Conference on Software Engineering Research and Practice, SERP'04, vol. 1, pp. 220-226, Proceedings of the International Conference on Software Engineering Research and Practice, SERP'04, Las Vegas, NV, United States, 6/21/04.

@inproceedings{11bd8116fa5448649ea5c73b69cb4c86,

title = "Formal analysis of UML-based designs",

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.",

keywords = "Code generation, Design specification, Formal analysis, Object-oriented design",

author = "Boumediene Belkhouche and Anastasia Nix",

year = "2004",

language = "English",

isbn = "1932415300",

series = "Proceedings of the International Conference on Software Engineering Research and Practice, SERP'04",

pages = "220--226",

editor = "H.R. Arabnia and H. Reza",

booktitle = "Proceedings of the International Conference on Software Engineering Research and Practice, SERP'04",

note = "Proceedings of the International Conference on Software Engineering Research and Practice, SERP'04 ; Conference date: 21-06-2004 Through 24-06-2004",

}

TY - GEN

T1 - Formal analysis of UML-based designs

AU - Belkhouche, Boumediene

AU - Nix, Anastasia

PY - 2004

Y1 - 2004

N2 - 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.

AB - 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.

KW - Code generation

KW - Design specification

KW - Formal analysis

KW - Object-oriented design

UR - http://www.scopus.com/inward/record.url?scp=12344305530&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=12344305530&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:12344305530

SN - 1932415300

SN - 9781932415308

T3 - Proceedings of the International Conference on Software Engineering Research and Practice, SERP'04

SP - 220

EP - 226

BT - Proceedings of the International Conference on Software Engineering Research and Practice, SERP'04

A2 - Arabnia, H.R.

A2 - Reza, H.

T2 - Proceedings of the International Conference on Software Engineering Research and Practice, SERP'04

Y2 - 21 June 2004 through 24 June 2004

ER -

Formal analysis of UML-based designs

Abstract

Publication series

Other

Keywords

ASJC Scopus subject areas

Other files and links

Fingerprint

Cite this