article

Free access

Abstracting dependencies between software configuration items

Editor: Axel van Lamsweerde Author:

Carl A. GunterAuthors Info & Claims

ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 9, Issue 1

Pages 94 - 131

https://doi.org/10.1145/332740.332743

Published: 01 January 2000 Publication History

Abstract

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.

References

[1]

ABADI, M., LAMPSON, B., AND L vY, J.-J. 1996. Analysis and caching of dependencies. In Proceedings of the 1996 ACM SIGPLAN International Conference on Functional programming (ICFP '96, Philadephia, PA, May 24-26), R. Harper and R. L. Wexelblat, Eds. ACM Press, New York, NY, 83-91.

[2]

ANSI/IEEE. 1987. ANSI/IEEE standard 1042-1987. Guide to software configuration management. ANSI, New York, NY.

[3]

BLUME, M. 1998. CM: A compilation manager.

[4]

BORISON, E. 1987. A model of software manufacture. In Proceedings of the IFIP International Workshop on Advanced Programming Environments (Trondheim, Norway, June 16-18), R. Conradi, T. M. Didriksen, and D. H. Wanvik, Eds. Springer-Verlag, Berlin, Germany, 197-220.

[5]

BRODER, A. 1993. Some applications of Rabin's fingerprinting method. In Sequences II: Methods in Communication, Security, and Computer Science, R. M. Capocelli, A. De Santis, and U. Vaccarro, Eds. Springer-Verlag, Vienna, Austria.

[6]

BURN, G. L., HANKIN, C., AND ABRAMSKY, S. 1986. Strictness anlaysis for higher-order functions. Sci. Comput. Program. 7, 3, 249-278.

[7]

CARDELLI, L. 1997. Program fragments, linking, and modularization. In Proceedings of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '97, Paris, France, Jan. 15-17, 1997), P. Lee, Ed. ACM Press, New York, NY, 266-277.

[8]

COTTAM, I. D. 1984. The rigorous development of a system version control program. IEEE Trans. Softw. Eng. SE-IO, 2 (Mar.), 143-154.

[9]

DURASOFT. 1993. The Revision Control Engine. (Software). DuraSoft GmbH, Karlsruhe, Germany. http://wwwipd.ira.uka.deFRCE.

[10]

FELDMAN, S. I. 1978. Make: A program for maintaining computer programs. Computer Science Tech. Rep. 57. AT&T Bell Laboratories, Inc., Murray Hill, NJ. Also available in Softw. Pract. Exp. 9 (1979), pp. 255-265.

[11]

FOWLER, G. 1990. A case for make. Softw. Pract. Exper. 20, $1 (June 1990), 35-46.

[12]

GUNTER, E. L. 1988. Building HOL90 easily everywhere. In Proceedings of the 11th International Conference on Theorem Provers for Higher-Order Logics (Canberra, Australia, Sept.),

[13]

HANNA, C. B. AND LEVIN, R. 1993. The Vesta language for configuration management. Tech. Rep. 107. Digital Systems Research Center.

[14]

IEEE. 1990. IEEE Standard 828-1990: Standard for software configuration management plans. IEEE, New York, NY.

[15]

LEVIN, R. AND MCJONES, P. R. 1993. The Vesta approach to precise configuration of large software systems. Tech. Rep. 105. Digital Systems Research Center.

[16]

LIU, Y.A. 1996. Incremental computation: A semantics-based systematic transformational approach. Ph.D. Dissertation. Department of Computer Science, Cornell University, Ithaca, NY. Also appeared as 1995 Tech. Rep. TR 95-1551.

[17]

LIU, Y. A. AND TEITELBAUM, T. 1995. Systematic derivation of incremental programs. Sci. Comput. Program. 24, 1 (Feb. 1995), 1-39.

[18]

LUQI. 1990. A graph model for software evolution. IEEE Trans. Softw. Eng. 16, 8 (Aug. 1990), 916-927.

[19]

ORAM, A. AND TALBOTT, S. 1991. Managing Projects with Make. 2nd ed. O'Reilly and Associates.

[20]

PERRY, D. E. 1987. Version control in the Inscape environment. In Proceedings of the 9th International Conference on Software Engineering (Monterey, CA, Mar. 30-Apr. 2), W. E. Riddle, Ed. IEEE Computer Society Press, Los Alamitos, CA, 142-149.

[21]

ROCHKIND, M.J. 1975. The source code control system. IEEE Trans. Softw. Eng. SE-1, 4 (Dec.), 364-370.

[22]

SCHWANKE, R. W. AND KAISER, G. E. 1988. Smarter recompilation. ACM Trans. Program. Lang. Syst. 10, 4 (Oct. 1988), 627-632.

[23]

SHAO, Z. AND APPEL, A. W. 1993. Smartest recompilation. In Proceedings of the 20th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '93, Charleston, SC, Jan. 10-13), S. L. Graham, Ed. ACM Press, New York, NY, 439-450.

[24]

TICHY, W. F. 1985. RCS: A system for version control. Softw. Pract. Exper. 15, 7 (July 1985), 637-654.

[25]

TICHY, W. F. 1986. Smart recompilation. ACM Trans. Program. Lang. Syst. 8, 3 (July 1986), 273-291.

[26]

ZELLER, A. 1995. A unified version model for configuration management. SIGSOFT Softw. Eng. Notes 20, 4 (Oct. 1995), 151-160.

Cited By

Bezemer CMcintosh SAdams BGerman DHassan A(2017)An empirical study of unspecified dependencies in make-based build systemsEmpirical Software Engineering10.1007/s10664-017-9510-822:6(3117-3148)Online publication date: 1-Dec-2017
https://dl.acm.org/doi/10.1007/s10664-017-9510-8
Tamrawi ANguyen HNguyen HNguyen TGlinz MMurphy GPezzè M(2012)Build code analysis with symbolic evaluationProceedings of the 34th International Conference on Software Engineering10.5555/2337223.2337300(650-660)Online publication date: 2-Jun-2012
https://dl.acm.org/doi/10.5555/2337223.2337300
Tamrawi ANguyen HNguyen HNguyen T(2012)Build code analysis with symbolic evaluation2012 34th International Conference on Software Engineering (ICSE)10.1109/ICSE.2012.6227152(650-660)Online publication date: Jun-2012
https://doi.org/10.1109/ICSE.2012.6227152
Show More Cited By

Index Terms

Recommendations

Abstracting dependencies between software configuration items
SIGSOFT '96: Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering

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 ...
Abstracting dependencies between software configuration items

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 ...
Design of a Petri Net Based Deadlock Prevention Policy Supervisor for S3PR
ISMS '15: Proceedings of the 2015 6th International Conference on Intelligent Systems, Modelling and Simulation

Siphons can be used to characterize deadlock states to solve deadlock problems in a class of Petri nets that represent models of flexible manufacturing system (FMS). This paper presents a deadlock prevention method for a class of FMS, where the unmarked ...

Comments

Information & Contributors

Information

Published In

cover image ACM Transactions on Software Engineering and Methodology

ACM Transactions on Software Engineering and Methodology Volume 9, Issue 1

Jan. 2000

129 pages

ISSN:1049-331X

EISSN:1557-7392

DOI:10.1145/332740

Editor:
Axel van Lamsweerde
Univ. Catholique de Louvain, Louvain-la-Neuve, Belgium

Issue’s Table of Contents

Copyright © 2000 ACM.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 January 2000

Published in TOSEM Volume 9, Issue 1

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

17
Total Citations
View Citations
999
Total Downloads

Downloads (Last 12 months)35
Downloads (Last 6 weeks)7

Reflects downloads up to 30 Aug 2024

Other Metrics

View Author Metrics

Citations

Cited By

Bezemer CMcintosh SAdams BGerman DHassan A(2017)An empirical study of unspecified dependencies in make-based build systemsEmpirical Software Engineering10.1007/s10664-017-9510-822:6(3117-3148)Online publication date: 1-Dec-2017
https://dl.acm.org/doi/10.1007/s10664-017-9510-8
Tamrawi ANguyen HNguyen HNguyen TGlinz MMurphy GPezzè M(2012)Build code analysis with symbolic evaluationProceedings of the 34th International Conference on Software Engineering10.5555/2337223.2337300(650-660)Online publication date: 2-Jun-2012
https://dl.acm.org/doi/10.5555/2337223.2337300
Tamrawi ANguyen HNguyen HNguyen T(2012)Build code analysis with symbolic evaluation2012 34th International Conference on Software Engineering (ICSE)10.1109/ICSE.2012.6227152(650-660)Online publication date: Jun-2012
https://doi.org/10.1109/ICSE.2012.6227152
Di Cosmo RVouillon JGyimóthy TZeller A(2011)On software component co-installabilityProceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering10.1145/2025113.2025149(256-266)Online publication date: 5-Sep-2011
https://dl.acm.org/doi/10.1145/2025113.2025149
Apostolou DMentzas GStojanovic LThoenssen BPariente Lobo T(2011)A collaborative decision framework for managing changes in e-Government servicesGovernment Information Quarterly10.1016/j.giq.2010.03.00728:1(101-116)Online publication date: Jan-2011
https://doi.org/10.1016/j.giq.2010.03.007
Nguyen T(2008)Component-Based Software Update Process in Collaborative Software DevelopmentProceedings of the 2008 15th Asia-Pacific Software Engineering Conference10.1109/APSEC.2008.74(437-444)Online publication date: 3-Dec-2008
https://dl.acm.org/doi/10.1109/APSEC.2008.74
Mohan KXu PCao LRamesh B(2008)Improving change management in software developmentDecision Support Systems10.1016/j.dss.2008.03.00345:4(922-936)Online publication date: 1-Nov-2008
https://dl.acm.org/doi/10.1016/j.dss.2008.03.003
Binkley D(2007)Source Code Analysis2007 Future of Software Engineering10.1109/FOSE.2007.27(104-119)Online publication date: 23-May-2007
https://dl.acm.org/doi/10.1109/FOSE.2007.27
Dreyfus DIyer B(2006)Enterprise ArchitectureProceedings of the 39th Annual Hawaii International Conference on System Sciences - Volume 0810.1109/HICSS.2006.155Online publication date: 4-Jan-2006
https://dl.acm.org/doi/10.1109/HICSS.2006.155
Munson ENguyen TMaletic J(2005)Concordance, conformance, versions, and traceabilityProceedings of the 3rd international workshop on Traceability in emerging forms of software engineering10.1145/1107656.1107670(62-66)Online publication date: 8-Nov-2005
https://dl.acm.org/doi/10.1145/1107656.1107670
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Article

Media

Figures

Other

Tables

View Issue’s Table of Contents