A model of components with non-regular protocols

被引:0
|
作者
Südholt, M [1 ]
机构
[1] INRIA EMN, LINA, OBASCO Project, Dept Informat,Ecole Mines Nantes, F-44307 Nantes, France
来源
SOFTWARE COMPOSITION | 2005年 / 3628卷
关键词
D O I
暂无
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Behavioral specifications that are integrated into component interfaces are an important means for the correct construction of component-based systems. Currently, such specifications are typically limited to finite-state protocols because more expressive notions of protocol do not support reasonable basic composition properties, such as compatibility and substitutability. In this paper, we present first results of the integration into component interfaces of a notion of non-regular protocols based on "non-regular process types" introduced by Puntigam [17]. More concretely, we present three contributions: i) a motivation of the usefulness of non-regular protocols in the context of peer-to-peer applications, (ii) a language for non-regular protocols and an outline of a suitable formal definition, (iii) a discussion of basic composition properties and an analysis of how to adequately integrate protocol-modifying operators in the model.
引用
收藏
页码:99 / 113
页数:15
相关论文
共 50 条
  • [31] Eigenvectors and eigenvalues of non-regular graphs
    Zhang, XD
    LINEAR ALGEBRA AND ITS APPLICATIONS, 2005, 409 : 79 - 86
  • [32] On non-regular linearization of nonlinear systems
    Zhong, Jianghua
    Chen, Daizhan
    Hu, Xiaoming
    Proceedings of the 24th Chinese Control Conference, Vols 1 and 2, 2005, : 62 - 67
  • [33] The infrared signatures of non-regular PAHs
    Pauzat, F
    Ellinger, Y
    CHEMICAL PHYSICS, 2002, 280 (03) : 267 - 282
  • [34] On the largest eigenvalue of non-regular graphs
    Liu, Bolian
    Shen, Jian
    Wang, Xinmao
    JOURNAL OF COMBINATORIAL THEORY SERIES B, 2007, 97 (06) : 1010 - 1018
  • [35] The best approximation of non-regular functions
    Bernstein, S
    COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES, 1937, 205 : 825 - 827
  • [36] A countable α-normal non-regular space
    Murtinová, E
    TOPOLOGY PROCEEDINGS, VOL 27, NO 2, 2003, 2003, 27 (02): : 575 - 580
  • [37] Energies of some Non-regular Graphs
    G. Indulal
    A. Vijayakumar
    Journal of Mathematical Chemistry, 2007, 42 : 377 - 386
  • [38] MINIMUM VARIANCE IN NON-REGULAR ESTIMATION
    DAVIS, RC
    ANNALS OF MATHEMATICAL STATISTICS, 1949, 20 (03): : 465 - 465
  • [39] ELASTIC POTENTIAL ON A NON-REGULAR SURFACE
    RIGOLOT, C
    COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1978, 286 (21): : 1019 - 1022
  • [40] Energies of some non-regular graphs
    Indulal, G.
    Vijayakumar, A.
    JOURNAL OF MATHEMATICAL CHEMISTRY, 2007, 42 (03) : 377 - 386