Abstracting dependencies between software configuration items

This article studies an abstract model of dependencies between software configuration items based on a theory of concurrent computation over a class of Petri nets called production nets. A general theory of build optimizations and their correctness is developed based on a form of abstract interpretation called a build abstraction ; these are created during a build and are used to optimize subsequent builds. Various examples of such optimizations are discussed. The theory is used to show how properties can be characterized and proved, and how optimizations can be composed and compared.

[1]  Andreas Zeller,et al.  A unified version model for configuration management , 1995, SIGSOFT FSE.

[2]  Dewayne E. Perry,et al.  Version control in the Inscape environment , 1987, ICSE '87.

[3]  Ian D. Cottam,et al.  The Rigorous Development of a System Version Control Program , 1984, IEEE Transactions on Software Engineering.

[4]  Luca Cardelli,et al.  Program fragments, linking, and modularization , 1997, POPL '97.

[5]  Analysis and caching of dependencies , 1996, ICFP '96.

[6]  Chris Hankin,et al.  Strictness Analysis for Higher-Order Functions , 1986, Sci. Comput. Program..

[7]  Walter F. Tichy,et al.  Smart recompilation , 1986, TOPL.

[8]  A. Broder.  Some applications of Rabin’s fingerprinting method , 1993 .

[9]  Yanhong A. Liu,et al.  Incremental Computation: A Semantics-Based Systematic Transformational Approach , 1995 .

[10]  Andrew W. Appel,et al.  Smartest recompilation , 1993, POPL '93.

[11]  Glenn S. Fowler.  A case for make , 1990, Softw. Pract. Exp..

[12]  Gail E. Kaiser,et al.  Smarter recompilation , 1988, TOPL.

[13]  Ellen Borison,et al.  A Model of Software Manufacture , 1986, Advanced Programming Environments.

[14]  Andy Oram,et al.  Managing Projects with Make , 1993 .

[15]  Stuart I. Feldman,et al.  Make — a program for maintaining computer programs , 1979, Softw. Pract. Exp..

[16]  Walter F. Tichy,et al.  Rcs — a system for version control , 1985, Softw. Pract. Exp..

[17]  Marc J. Rochkind,et al.  The source code control system , 1975, IEEE Transactions on Software Engineering.

[18]  Yanhong A. Liu,et al.  Systematic Derivation of Incremental Programs , 1995, Sci. Comput. Program..

[19]  Luqi.  A Graph Model for Software Evolution , 1990, IEEE Trans. Software Eng..