Title :
The evaluation of large, complex UML analysis and design models
Author :
Berenbach, Brian
Author_Institution :
Siemens Corporate Res. Inc., Princeton, NJ, USA
Abstract :
This paper describes techniques for analyzing large UML models. The first part of the paper describes heuristics and processes for creating semantically correct UML analysis and design models. The second part of the paper briefly describes the internal DesignAdvisor research tool that was used to analyze Siemens models. The results are presented and some interesting conclusions are drawn.
Keywords :
formal verification; heuristic programming; software performance evaluation; specification languages; systems analysis; DesignAdvisor research tool; Siemens model analysis; Unified Modeling Language; complex UML analysis evaluation; design model evaluation; large UML analysis evaluation; large UML models; semantically correct UML analysis; semantically correct UML design models; Business; Cognition; Embedded software; Guidelines; Humans; Inspection; Software engineering; Testing; Unified modeling language;
Conference_Titel :
Software Engineering, 2004. ICSE 2004. Proceedings. 26th International Conference on
Print_ISBN :
0-7695-2163-0
DOI :
10.1109/ICSE.2004.1317445
