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 -