Software Merge: Semantics of Combining Changes to Programs

reportActive / Technical Report | Accession Number: ADA281373 | Open PDF

Abstract:

We present a language-independent semantic model of the process of combining changes to programs. This model extends the domains used in denotational semantics complete partial orders to Boolean algebras, and represents incompatible modifications as well as compatible extensions. The model is used to define the intended semantics of change merging operations on programs and to establish some general properties of software merging. We determine conditions under which changes to subprograms of a software system can be merged independently and illustrate cases where this is not possible. Software change merging, Semantics, Domains, Software maintenance.

Author(s):
Berzins, Valdis
Author Organization(s):
NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE
Descriptive Note:
Interim technical rept.
Pagination:
0030

Security Markings

DOCUMENT & CONTEXTUAL SUMMARY

Distribution:
Approved For Public Release
Distribution Statement:
Approved For Public Release; Distribution Is Unlimited.

RECORD

Collection: TR
Identifying Numbers
Report Number(s):
ARO-28328.15-MA
Contract/Grant Number(s):
ARO-MIPR-145-91
Monitor Series:
28328.15-MA, ARO
 Subject Terms
Joint Capability Areas:
JCA_5_Command and Control; JCA_5.3_Planning; JCA_1.2.5_Lessons Learned; JCA_4.3_Maintain
Modernization Areas:
Fully Networked C3
Communities of Interest:
C4I
Descriptor(s):
*SOFTWARE ENGINEERING, COMPUTER PROGRAMS, MAINTENANCE, PROGRAMMING LANGUAGES, CONCURRENT ENGINEERING, BOOLEAN ALGEBRA, SEMANTICS, MODIFICATION, ALGORITHMS
Field(s)/Group(s):
Computer Programming and Software
Keyword(s):
*SOFTWARE CHANGE MERGING
Report Date:
1993 Jan 01