Abstracting dependencies between software configuration items

Carl A. Gunter
1996 Software engineering notes  
This paper studies an abstract model of dependencies between software configuration items based on a theory of concurrent computation over a class of Petri nets. The primary goal is to illustrate the descriptive power of the model and lay theoretical groundwork for using it to design software configuration maintenance tools or model software configurations. As a start in this direction~ the paper analyzes and addresses certain limitations in make description files using a form of abstract interpretation. ,\
doi:10.1145/250707.239129 fatcat:otzqcqy3nrg7nao7rrtzbwn3xu