Analyzing the Scrum Process Model with AVISPA

Authors:
Julio Ariel Hurtado Alegria;Maria Cecilia Bastarrica;Alexandre Bergel
Affiliations:
-;-;-
Venue:
SCCC '10 Proceedings of the 2010 XXIX International Conference of the Chilean Computer Science Society
Year:
2010

Citing 0
Cited 1

Analyzing software process models with AVISPA

Proceedings of the 2011 International Conference on Software and Systems Process

Quantified Score

Hi-index	0.00

Visualization

Abstract

Scrum is a widely known agile software process model specifically designed for guiding non-technical activities in software development. This process is formally defined in EPF and adopted by several software companies around the world. But having a process definition does not necessarily mean that it is well specified. We have developed AVISPA, a tool for localizing error patterns in software process models specified with EPF. In this paper, we analyze the public community specification of Scrum using AVISPA and we report our findings.