PROTOCOL DESIGN BY LAYERED DECOMPOSITION - A COMPOSITIONAL APPROACH

被引：0
|
作者：
JANSSEN, W
ZWIERS, J
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1991年 / 571卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
A version of the two phase commit protocol is formally derived from its specification. The design starts with an initial design phase that properly reflects the logical structure of the protocol as a sequence of layers. Thereafter algebraic transformations are applied, resulting in an implementation that matches the physical structure of the network. Substantial use is made of an algebraic formulation of the communication closed layers design principle.
引用
收藏
页码：307 / 326
页数：20
相关论文
共 50 条
  • [1] A compositional approach to software design
    Keller, RK
    Schauer, R
    [J]. PROCEEDINGS OF THE THIRTY-FIRST HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, VOL V: MODELING TECHNOLOGIES AND INTELLIGENT SYSTEMS TRACK, 1998, : 386 - 395
  • [2] A compositional approach to modelling design rationale
    Brazier, FMT
    vanLangen, PHG
    Treur, J
    [J]. AI EDAM-ARTIFICIAL INTELLIGENCE FOR ENGINEERING DESIGN ANALYSIS AND MANUFACTURING, 1997, 11 (02): : 125 - 139
  • [3] Strategic knowledge in design: a compositional approach
    Brazier, FMT
    van Langen, PHG
    Treur, J
    [J]. KNOWLEDGE-BASED SYSTEMS, 1998, 11 (7-8) : 405 - 416
  • [4] A Constructive Approach to Compositional Architecture Design
    Deiters, Constanze
    Rausch, Andreas
    [J]. SOFTWARE ARCHITECTURE, 2011, 6903 : 75 - 82
  • [5] Construction of a multiple entities communication protocol by compositional approach
    Bista, BB
    Shiratori, N
    [J]. 12TH INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS, 2001, : 162 - 166
  • [6] A decomposition-based approach to layered manufacturing
    Ilinkin, I
    Janardan, R
    Majhi, J
    Schwerdt, J
    Smid, M
    Sriram, R
    [J]. ALGORITHMS AND DATA STRUCTURES, 2001, 2125 : 389 - 400
  • [7] A decomposition-based approach to layered manufacturing
    Ilinkin, I
    Janardan, R
    Majhi, J
    Schwerdt, J
    Smid, M
    Sriram, R
    [J]. COMPUTATIONAL GEOMETRY-THEORY AND APPLICATIONS, 2002, 23 (02): : 117 - 151
  • [8] A meshless, compositional approach to shape optimal design
    Zhang, X.
    Rayasam, M.
    Subbarayan, G.
    [J]. COMPUTER METHODS IN APPLIED MECHANICS AND ENGINEERING, 2007, 196 (17-20) : 2130 - 2146
  • [9] COMPOSITIONAL APPROACH TO THE DESIGN OF DATA MANIPULATION LANGUAGES
    BASARAB, IA
    GUBSKII, BV
    [J]. PROGRAMMING AND COMPUTER SOFTWARE, 1988, 14 (06) : 283 - 293
  • [10] A domain decomposition approach for wave propagation into a layered domain
    Ricciardello, Angela
    [J]. RICERCHE DI MATEMATICA, 2023,
12345