AVISPA: a tool for analyzing software process models

Defining and formalizing the software development process is a common means for improving it. Software process modeling is often a challenging and expensive endeavor, because a well specified process may still include inefficiencies that are hardly detected before enacting it. Thus, assessing process quality is a relevant concern to improve several aspects such as conceptual integrity, correctness, usability, maintainability, and performance, among others. This paper describes Avispa, a graphical tool that allows analyzing the quality of SPEM 2.0 software processes models. Avispa identifies a series of error patterns and highlights them in different blueprints. A detailed description of the internals of Avispa is provided to show both its structure and its extensibility mechanisms. We also present an interactive mechanism to define new analysis scripts and to implement new patterns and blueprints. This paper illustrates the application of Avispa in an industrial case study where process engineers are assisted to analyze the quality of their process. Copyright (c) 2013 John Wiley & Sons, Ltd.