The evaluation of large, complex UML analysis and design models

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.

[1]  Gilbert Babin,et al.  Formal Data and Behavior Requirements Engineering : A Scenario-based Approach , 1999 .

[2]  Betty H. C. Cheng,et al.  Integrating informal and formal approaches to requirements modeling and analysis , 2001, Proceedings Fifth IEEE International Symposium on Requirements Engineering.

[3]  Ivar Jacobson,et al.  The Unified Software Development Process , 1999 .

[4]  Matthias Jarke,et al.  CREWS: Towards Systematic Usage of Scenarios, Use Cases and Scenes , 1999, Wirtschaftsinformatik.

[5]  Matthias Jarke.  Scenarios for modeling , 1999, CACM.

[6]  David R. Barstow,et al.  Proceedings of the 25th International Conference on Software Engineering , 1978, ICSE.

[7]  Bernhard Rumpe,et al.  Towards a Formalization of the Unified Modeling Language , 1997, ECOOP.

[8]  Joseph D. Schulz.  Requirements-Based UML , 2001, Proceedings 39th International Conference and Exhibition on Technology of Object-Oriented Languages and Systems. TOOLS 39.

[9]  Arthur J. Riel,et al.  Object-Oriented Design Heuristics , 1996 .

[10]  Dirk Muthig,et al.  Efficient and systematic software evolution through domain analysis , 2002, Proceedings IEEE Joint International Conference on Requirements Engineering.

[11]  Lawrence Chung,et al.  Process-oriented metrics for software architecture evolvability , 2003, Sixth International Workshop on Principles of Software Evolution, 2003. Proceedings..

[12]  Johannes Siedersleben,et al.  Analysis beyond UML , 2002, Proceedings IEEE Joint International Conference on Requirements Engineering.

[13]  Michael Jackson.  Formalism and informality in RE , 2001, Proceedings Fifth IEEE International Symposium on Requirements Engineering.

[14]  David Chenho Kung,et al.  Formal approach to scenario analysis , 1994, IEEE Software.

[15]  Alistair G. Sutcliffe,et al.  Requirements engineering for complex collaborative systems , 2001, Proceedings Fifth IEEE International Symposium on Requirements Engineering.

[16]  Georg Kösters,et al.  Coupling Use Cases and Class Models as a Means for Validation and Verification of Requirements Specifications , 2001, Requirements Engineering.

[17]  Ian F. Alexander.  Capturing use cases with doors , 2001, Proceedings Fifth IEEE International Symposium on Requirements Engineering.

[18]  Lawrence Chung,et al.  Process-Oriented Metrics for Software Architecture Adaptability , 2001, Proceedings Fifth IEEE International Symposium on Requirements Engineering.

[19]  K. Cox.  Taking to scenarios to improve the requirements process: an experience report , 2000 .

[20]  Nancy G. Leveson,et al.  On the use of visualization in formal requirements specification , 2002, Proceedings IEEE Joint International Conference on Requirements Engineering.

[21]  Mark Lorenz,et al.  Object-oriented software metrics - a practical guide , 1994 .

[22]  Jifeng He,et al.  Formal and use-case driven requirement analysis in UML , 2001, 25th Annual International Computer Software and Applications Conference. COMPSAC 2001.