Four automated approaches to analyze the quality of UML sequence diagrams

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

11 Citations (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.
Original languageEnglish
Title of host publicationProceedings of the 31st Annual International Conference on Computer Software and Applications Conference (COMPSAC 2007) 24-27 July 2007, Beijing, China
Place of PublicationLos Alamitos CA
PublisherIEEE Computer Society
ISBN (Print)978-0-7695-2870-0
Publication statusPublished - 2007
Eventconference; COMPSAC 2007, Beijing, China; 2007-07-24; 2007-07-27 -
Duration: 24 Jul 200727 Jul 2007


Conferenceconference; COMPSAC 2007, Beijing, China; 2007-07-24; 2007-07-27
OtherCOMPSAC 2007, Beijing, China


Dive into the research topics of 'Four automated approaches to analyze the quality of UML sequence diagrams'. Together they form a unique fingerprint.

Cite this