SPADE: an environment for software process analysis, design, and enactment · Study