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.

收起