Automatically detecting and visualising errors in UML diagrams

被引：24

作者：

Campbell L.A. ^{[1
]}

Cheng B.H.C. ^{[1
,2
]}

McUmber W.E. ^{[1
]}

Stirewalt R.E.K. ^{[1
]}

机构：

[1] Department of Computer Science and Engineering, Michigan State University, East Lansing, MI

[2] Software Engineering and Network Systems Laboratory, Department of Computer Science and Engineering, Michigan State University, East Lansing

来源：

Requirements Engineering | 2002年 / 7卷 / 4期

关键词：

Formal specifications; Model checking; Simulation; UML;

D O I：

10.1007/s007660200020

中图分类号：

学科分类号：

摘要：

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. © 2002 Springer-Verlag London Limited.

引用

页码：264 / 287

页数：23

共 42 条

[1]

Bose P., Automated translation of UML models of architecture for verification and simulation using SPIN, Proceedings of IEEE International Conference on Automated Software Engineering (ASE'99), (1999)

[2]

Eshuis R., Wieringa R., Requirements-level semantics for UML statecharts, Formal Methods for Open Object-based Distributed Systems (FMOODS) IV, pp. 121-140, (2000)

[3]

Latella D., Majzik I., Massink M., Towards a formal operational semantics of UML statechart diagrams, Proceedings of FMOODS'99, (1999)

[4]

Shroff M., France R.B., Towards a formalization of UML class structures in Z, Proceedings of the 21st Annual International Computer Software and Applications Conference (COMPSAC'97), pp. 646-651, (1997)

[5]

McUmber W.E., Cheng B.H.C., A general framework for formalizing UML with formal languages, Proceedings of IEEE International Conference on Software Engineering (ICSE'01), (2001)

[6]

Douglass B.P., Doing Hard Time: Developing Real-time Systems with UML: Objects, Frameworks, and Patterns, (1999)

[7]

Ganssle J., Navigating through new development environments, Embedded Sys Programming Mag, 12, MAY, (1999)

[8]

McUmber W.E., Cheng B.H.C., UML-based analysis of embedded systems using a mapping to VHDL, Proceedings of IEEE High Assurance Software Engineering (HASE'99), (1999)

[9]

McUmber W.E., A Generic Framework for Formalizing Objectoriented Modeling Notations for Embedded Systems Development, (2000)

[10]

Holzmann G.J., The model checker SPIN, IEEE Trans Software Eng, 23, MAY, (1997)

← 1 2 3 4 5 →