Detecting defects in object-oriented diagrams using UML-HAZOP
Janusz Górski, Aleksander Jarzębowicz · Foundations of Computing and Decision Sciences · 2002
The paper presents a method supporting detection of defects in UML based software documentation. The method named UML-HAZOP is the adoption of HAZOP (Hazard and Operability Studies) - a technique widely applied to safety-related systems, and concentrates on analysing flows between system's components in order to detect related to these flows. The adoption of HAZOP to UML diagram analysis required defining proper interpretations of flows and anomalies with respect to each UML diagram. At present, UML-HAZOP has been defined and checked in some industrial case studies for class diagrams. Further works aim to extend it to other UML diagrams. This paper describes the method and the results of some experiments related to its application to two real systems: a billing system of a telephone exchange and a management support system.