Using Process De nitions to Support Reasoning
about Satisfaction of Process Requirements
Leon J. Osterweil and Alexander Wise
更多
Department of Computer Science
University of Massachusetts
Amherst MA 01003
fljo, wiseg@cs.umass.edu
Abstract. This paper demonstrates how a precise de nition of a soft-
ware development process can be used to determine whether the process
de nition satis es certain of its requirements. The paper presents a def-
inition of a Scrum process written in the Little-JIL process de nition
language. The de nition's details facilitate understanding of this speci c
Scrum process (while also suggesting the possibility of many variants of
the process). The paper also shows how these process details can support
the use of analyzers to draw inferences that can then be compared to re-
quirements speci cations. Speci cally the paper shows how nite state
veri cation can be used to demonstrate that the process protects the
team from requirements changes during a sprint, and how analysis of a
fault tree derived from the Little-JIL Scrum de nition can demonstrate
the presence of a single point of failure in the process, suggesting that
this particular Scrum process may fail to meet certain process robustness
requirements. A new Scrum process variant is then presented and shown
to be more robust in that it lacks the single of point failure.
收起
