Requirements Engineering

, Volume 7, Issue 4, pp 264–287 | Cite as

Automatically Detecting and Visualising Errors in UML Diagrams

  • Laura A. Campbell
  • Betty H. C. Cheng
  • William E. McUmber
  • R. E. K. Stirewalt
Original Article

UML has become the

de facto standard for object-oriented modelling. Currently, UML comprises several different notations with no formal semantics attached to the individual diagrams or their integration, thus preventing rigorous analysis of the diagrams. Previously, we developed a formalisation framework that attaches formal semantics to a subset of UML diagrams used to model embedded systems. This paper describes automated structural and behavioural analyses applicable to UML diagrams using our formalisation framework. In addition to intra- and inter-diagram consistency checks, we discuss how simulation and model checking can be used in tandem for behavioural analysis of the UML diagrams. Our tools also visually interpret the analysis results in terms of the original UML diagrams, thereby facilitating their correction and refinement. We illustrate these capabilities through the modelling and analysis of UML diagrams for an automotive industrial case study.

Key words:Formal specifications – Model checking – Simulation – UML 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag London Limited 2002

Authors and Affiliations

  • Laura A. Campbell
    • 1
  • Betty H. C. Cheng
    • 1
  • William E. McUmber
    • 1
  • R. E. K. Stirewalt
    • 1
  1. 1.Department of Computer Science and Engineering, Michigan State University, East Lansing, Michigan, USAUS

Personalised recommendations