LAW GOVERNED SYSTEMS

被引:12
作者
MINSKY, NH [1 ]
机构
[1] RUTGERS STATE UNIV,DEPT COMP SCI,NEW BRUNSWICK,NJ 08903
来源
SOFTWARE ENGINEERING JOURNAL | 1991年 / 6卷 / 05期
关键词
D O I
10.1049/sej.1991.0031
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
This paper describes a software development environment based on a new approach for managing large-scale evolving systems. Under this approach, the conventional notion of a system is augmented with a new component called the law of the system, which is an explicit and strictly enforced set of rules about the operation of the system, about its evolution and about the evolution of the law itself. The resulting combination is called a law-governed system (LGS). The law of a system is not meant to provide its functional specification but to establish the ground rules under which the system is to operate and evolve. We believe that the very existence of such a law, together with assurances that it cannot be violated, can make the system more understandable and, in effect, simpler; in a similar way to how the physical world is effectively simplified by the laws of nature. The feasibility of the proposed architecture has been demonstrated by the construction of a prototype environment (Darwin/1) that supports law-governed systems. The efficacy of this approach has been tested by establishing a wide range of regimes over both the operation of a system and its evolution. These include encapsulation, class-inheritance, evolving layered architecture, various module-interconnection schemes, strategies for exception handling etc.
引用
收藏
页码:285 / 302
页数:18
相关论文
共 30 条
  • [1] [Anonymous], 1983, SMALLTALK 80 LANGUAG
  • [2] BELADY LA, 1979, RES DIRECTIONS SOFTW, P106
  • [3] CHOMICKI J, 1985, 2ND P INT S LOG PROG, P230
  • [4] CLARKE LA, 1983, COINS TR8326 U MASS
  • [5] Clocksin W. F., 1981, PROGRAMMING PROLOG
  • [6] DENNING PJ, 1976, ACM COMPUT SURV, V8, P359
  • [7] DeRemer F., 1976, IEEE Transactions on Software Engineering, VSE-2, P80, DOI 10.1109/TSE.1976.233534
  • [8] Griffiths P. P., 1976, ACM Transactions on Database Systems, V1, P242, DOI 10.1145/320473.320482
  • [9] LASKER DM, 1979, 4TH P INT C SOFTW EN, P22
  • [10] Leler W., 1988, CONSTRAINT PROGRAMMI