Automatically Detecting and Visualising Errors in UML Diagrams

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

Full description

Saved in:
Bibliographic Details
Published inRequirements engineering Vol. 7; no. 4; pp. 264 - 287
Main Authors Campbell, Laura A., Cheng, Betty H. C., McUmber, William E., Stirewalt, R. E. K.
Format Journal Article
LanguageEnglish
Published London Springer Nature B.V 01.12.2002
Online AccessGet full text

Cover

More Information
Summary: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.
ISSN:0947-3602
1432-010X
DOI:10.1007/s007660200020