An Evaluation of FUNSOFT Nets

This paper presents an evaluation of the software process modeling language FUNSOFT nets and of the related software process management environment MELMAC after two years of using both. FUNSOFT nets are based on Petri nets. In the recent years FUNSOFT nets have been used for modeling several academic software processes, like the Core Problem and its extensions and the process model of the Kernel/2 subproject of ESF, a few industrial software processes, and some other interpersonal processes. In this paper we describe which features of FUNSOFT nets and MELMAC turned out to be useful, which others seem to be of limited interest and which improvement suggestions for FUNSOFT nets and for MELMAC emerged. We suppose that the experience with using FUNSOFT nets and MELMAC apply to other software process management approaches in a similar way.