Foundations for Software Configuration Management Policies Using Graph Transformations

Authors:
Francesco Parisi-Presicce;Alexander L. Wolf
Affiliations:
-;-
Venue:
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Year:
2000

Citing 6
Cited 1

RCS—a system for version control

Software—Practice & Experience
A graph transform model for configuration management environments

SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Configuration management with logical structures

Proceedings of the 18th international conference on Software engineering
Handbook of graph grammars and computing by graph transformation: volume I. foundations

Handbook of graph grammars and computing by graph transformation: volume I. foundations
Version models for software configuration management

ACM Computing Surveys (CSUR)
Spatial and Temporal Refinement of Typed Graph Transformation Systems

MFCS '98 Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science

Dissecting configuration management policies

SCM'01/SCM'03 Proceedings of the 2001 ICSE Workshops on SCM 2001, and SCM 2003 conference on Software configuration management

Quantified Score

Hi-index	0.00

Visualization

Abstract

Existing software configuration management systems embody a wide variety of policies for how artifacts can evolve. New policies continue to be introduced. Without a clean separation of configuration management policies from configuration management mechanisms, it is difficult to understand the policies as well as difficult to reason about how they relate. We introduce a formal foundation for specifying configuration management policies by viewing the policies in terms of graph transformation systems. Not only are we able to precisely capture the semantics of individual policies, we can, for the first time, describe formal properties of the relationship between policies.