Abstracting dependencies between software configuration items

Carl A. Gunter
2000 ACM Transactions on Software Engineering and Methodology  
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/332740.332743 fatcat:rzp4tbcegzd2xbdjwakk5wu7by