SOFTWARE MERGE - SEMANTICS OF COMBINING CHANGES TO PROGRAMS

被引：21
作者：
BERZINS, V
机构：
[1] Naval Postgraduate School, Monterey, CA
来源：
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS | 1994年 / 16卷 / 06期
关键词：
LANGUAGES; DOMAINS; SEMANTICS; SOFTWARE CHANGE MERGING; SOFTWARE MAINTENANCE;
D O I：
10.1145/197320.197403
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
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.
引用
收藏
页码：1875 / 1903
页数：29
相关论文
共 26 条
  • [1] USING TRANSFORMATIONS IN SPECIFICATION-BASED PROTOTYPING
    BERZINS, V
    LUQI
    YEHUDAI, A
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1993, 19 (05) : 436 - 452
  • [2] ON MERGING SOFTWARE EXTENSIONS
    BERZINS, V
    [J]. ACTA INFORMATICA, 1986, 23 (06) : 607 - 619
  • [3] BERZINS V, 1991, INT J SYST INTEGR, V1, P121
  • [4] BERZINS V, 1991, SOFTWARE ENG ABSTRAC
  • [5] BERZINS VE, 1993, P ARO AFOSR ONR WORK
  • [6] DAMPIER D, 1990, THESIS NAVAL POSTGRA
  • [7] DAMPIER D, 1993, 5TH P INT C SOFTW EN, P604
  • [8] Dampier D. A., 1994, Journal of Systems Integration, V4, P33, DOI 10.1007/BF01975671
  • [9] GUTTAG JV, 1982, LECTURE NOTES COMPUT, P300
  • [10] HALMOS PR, 1963, LECTURES BOOLEAN ALG
123