In: Lecture Notes in Computer Science, Vol. 509: Software Development Environments and CASE Technology, European Symposium, Koenigswinter, Germany, June 17-19, 1991, pages 271-286. Berlin, Heidelberg, New York: Springer-Verlag,, 1991.
Abstract: We introduce a software process modeling language - cable FUNSOFT nets - which has a formally defined semantics in terms of Predicate /Transition nets. For this language we have implemented various analysis facilities. We point out which benefits can be gained from a thorough software process model analysis. We explain how software process models can be validated and how software process model properties can be verified. The proposed software process model validation is based on software process simulation, the proposed verification of software process model properties is based on well-known. Petri net algorithms and on the notion of quantity restricted coverability trees. Finally, we explain how the proposed analysis facilities are implemented in the analysis tool ANAMEL, which is embedded into the software process management environment MELMAC