article

Free access

Abstracting dependencies between software configuration items

Author:

Carl A. GunterAuthors Info & Claims

ACM SIGSOFT Software Engineering Notes, Volume 21, Issue 6

Pages 167 - 178

https://doi.org/10.1145/250707.239129

Published: 01 October 1996 Publication History

Abstract

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.

References

[1]

Matthias Blume. CM: A Compilation Manager for SML/NJ. User Manual.

[2]

Andrei Broder. Some applications of Rabin's fingerprinting method. In R. M. Capocelli et. al., editor, Sequences II: Methods in Communication, Security, and Computer Science. Sprinter-Verlag, 1991.

[3]

G. L. Burn, C. Hankin, and S. Abramsky. Strictness analysis for higher-order functions. Science of Computer Programming, 7:249-278, 1986.

Digital Library

[4]

Stuart I. Feldman. Make-a program for maintaining computer programs. Software Practice and Experience, 9:255- 265, 1979.

[5]

Glenn Fowler. A case for make. Software-Practice and Experience, 20(S1):S1/35-S1/46, 1990.

Digital Library

[6]

Christine B. Hanna and Roy Levin. The Vesta language for configuration management. Technical Report 107, Digital Systems Research Center, 1993.

[7]

Butler W. Lampson and Eric E. Schmidt. Practical use of a polymorphic applicative language. In proceedings of the Tenth Annual ACM Symposium on Principles of Programming Languages, 1983.

Digital Library

[8]

Roy Levin and Paul R. McJones. The Vesta approach to precise configuration of large software systems. Technical Report 105, Digital Systems Research Center, 1993.

[9]

Dewayne E. Perry. Version control in the Inscape environment.In Proceedings of the 9th International Conference on Software Engineering, pages 142-149, Monterey, California, March 1987.

Digital Library

[10]

Benjamin C. Pierce. Programming in the pi-calculus: An experiment in programming language design. Tutorial notes on the Pict language. Available electronically, 1995,

[11]

Benjamin C. Pierce and David N. Turner. Concurrent objects in a process calculus. In Takayasu Ito and Akinori Yonezawa, editors, Theory and Practice of Parallel Programming,number 907 in Lecture Notes in Computer Science, pages 187-215. Springer-Verlag, 1995.

Digital Library

[12]

Benjamin C. Pierce and David N. Turner. Pict: A programming language based on the pi-calculus. To appear, 1995.

[13]

Robert W. Schwanke and Gail E. Kaiser. Smarter recompilation. ACM Transactions on Programming Languages and Systems, 10(4):627-632, 1988.

Digital Library

[14]

Zhong Shao and Andrew W. Appel. Smartest recompilation. In Susan L. Graham, editor, Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 439- 450. ACM, 1993.

Digital Library

[15]

Walter F. Tichy. Smart recompilation. ACM Transactions on Programming Languages and Systems, 8(3):273- 291, 1986.

Digital Library

[16]

Andreas Zeller. A unified version model for configuration management. In Gail Kaiser, editor, Proceedings of the 3rd ACM SIGSOFT Symposium on the Foundations of Software Engineering, volume 20 (4) of ACM Software Engineering Notes, pages 151-160. ACM Press, October 1995.

Digital Library

Cited By

Fan GWang CWu RXiao XShi QZhang CKhurshid SPăsăreanu C(2020)Escaping dependency hell: finding build dependency errors with the unified dependency graphProceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis10.1145/3395363.3397388(463-474)Online publication date: 18-Jul-2020
https://dl.acm.org/doi/10.1145/3395363.3397388
Wu RChen MWang CFan GQiu JZhang C(2022)Accelerating Build Dependency Error Detection via Virtual BuildProceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering10.1145/3551349.3556930(1-12)Online publication date: 10-Oct-2022
https://dl.acm.org/doi/10.1145/3551349.3556930
Nguyen TMunson E(2003)A model for conformance analysis of software documentsSixth International Workshop on Principles of Software Evolution, 2003. Proceedings.10.1109/IWPSE.2003.1231206(24-35)Online publication date: 2003
https://doi.org/10.1109/IWPSE.2003.1231206
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 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 ...
Understanding and discovering software configuration dependencies in cloud and datacenter systems
ESEC/FSE 2020: Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering

A large percentage of real-world software configuration issues, such as misconfigurations, involve multiple interdependent configuration parameters. However, existing techniques and tools either do not consider dependencies among configuration ...

Comments

Information & Contributors

Information

Published In

cover image ACM SIGSOFT Software Engineering Notes

ACM SIGSOFT Software Engineering Notes Volume 21, Issue 6

Nov. 1996

192 pages

ISSN:0163-5948

DOI:10.1145/250707

Editor:
David Garlan

Issue’s Table of Contents

SIGSOFT '96: Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
October 1996
190 pages
ISBN:0897917979
DOI:10.1145/239098
Chairmen:
Mark Moriconi
SRI International, Menlo Park, CA
,
Gregory Abowd
Georgia Institute of Technology, Atlanta
,
Editor:
David Garlan
Carnegie Mellon Univ., Pittsburgh, PA

Copyright © 1996 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 October 1996

Published in SIGSOFT Volume 21, Issue 6

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
399
Total Downloads

Downloads (Last 12 months)44
Downloads (Last 6 weeks)14

Reflects downloads up to 30 Aug 2024

Other Metrics

View Author Metrics

Citations

Cited By

Fan GWang CWu RXiao XShi QZhang CKhurshid SPăsăreanu C(2020)Escaping dependency hell: finding build dependency errors with the unified dependency graphProceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis10.1145/3395363.3397388(463-474)Online publication date: 18-Jul-2020
https://dl.acm.org/doi/10.1145/3395363.3397388
Wu RChen MWang CFan GQiu JZhang C(2022)Accelerating Build Dependency Error Detection via Virtual BuildProceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering10.1145/3551349.3556930(1-12)Online publication date: 10-Oct-2022
https://dl.acm.org/doi/10.1145/3551349.3556930
Nguyen TMunson E(2003)A model for conformance analysis of software documentsSixth International Workshop on Principles of Software Evolution, 2003. Proceedings.10.1109/IWPSE.2003.1231206(24-35)Online publication date: 2003
https://doi.org/10.1109/IWPSE.2003.1231206
Blume MAppel A(1999)Hierarchical modularityACM Transactions on Programming Languages and Systems10.1145/325478.32551821:4(813-847)Online publication date: 1-Jul-1999
https://dl.acm.org/doi/10.1145/325478.325518

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 Publication

Media

Figures

Other

Tables

View Issue’s Table of Contents