Four automated approaches to analyze the quality of UML sequence diagrams

M.F. Amstel, van, C.F.J. Lange, M.R.V. Chaudron

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

11 Citaten (Scopus)
1 Downloads (Pure)


UML sequence diagrams describe the interaction between objects of a system. In this paper, we present four approaches to analyze the quality of sequence diagrams. First, we propose formal model checking techniques and visualization to analyze the possible interaction traces and to identify ambiguities in a sequence diagram. Second, we identified patterns of common interactive behavior and we present an approach to identify these patterns. This approach is useful to identify implicit patterns and make them explicit. Third, we propose a series of checks to identify syntactic defects in sequence diagrams. The fourth approach consists of metrics describing properties such as coverage. The proposed approaches complement each other rather than being competing alternatives. We implemented these approaches in our SquAT tool and conducted a multi case study on three industrial and five research models to validate them. These models showed a large number of defects which were acknowledged by their designers.
Originele taal-2Engels
TitelProceedings of the 31st Annual International Conference on Computer Software and Applications Conference (COMPSAC 2007) 24-27 July 2007, Beijing, China
Plaats van productieLos Alamitos CA
UitgeverijIEEE Computer Society
ISBN van geprinte versie978-0-7695-2870-0
StatusGepubliceerd - 2007
Evenementconference; COMPSAC 2007, Beijing, China; 2007-07-24; 2007-07-27 -
Duur: 24 jul 200727 jul 2007


Congresconference; COMPSAC 2007, Beijing, China; 2007-07-24; 2007-07-27
AnderCOMPSAC 2007, Beijing, China


Duik in de onderzoeksthema's van 'Four automated approaches to analyze the quality of UML sequence diagrams'. Samen vormen ze een unieke vingerafdruk.

Citeer dit