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 条
  • [41] Non-regular alarm correlation analysis
    Li, Yuan
    Zhang, Zhanpeng
    Xu, Mingyuan
    Chen, Bingzhen
    Zhao, Jinsong
    [J]. Huagong Xuebao/CIESC Journal, 2015, 66 (08): : 3153 - 3160
  • [42] Non-regular power homogeneous spaces
    Carlson, Nathan A.
    [J]. TOPOLOGY AND ITS APPLICATIONS, 2007, 154 (02) : 302 - 308
  • [43] A non-regular interpretation of Humean causation
    Mota Pinto, Silvio
    [J]. EIKASIA-REVISTA DE FILOSOFIA, 2012, (43): : 149 - 165
  • [44] On non-regular g-measures
    Gallo, Sandro
    Paccaut, Frederic
    [J]. NONLINEARITY, 2013, 26 (03) : 763 - 776
  • [45] Trees with non-regular fractal boundary
    Jing Hu Yu
    Yi Ming Ding
    [J]. Acta Mathematica Sinica, English Series, 2008, 24
  • [46] Non-regular eigenstate of the XXX model as some limit of the Bethe state
    Deguchi, T
    [J]. JOURNAL OF PHYSICS A-MATHEMATICAL AND GENERAL, 2001, 34 (46): : 9755 - 9775
  • [47] Differences in wage-determination systems between regular and non-regular employment in a Kaleckian model
    Sonoda, Ryunosuke
    Sasaki, Hiroaki
    [J]. REVIEW OF KEYNESIAN ECONOMICS, 2019, 7 (03) : 341 - 360
  • [48] Regular and non-regular solutions of the Riemann problem in ideal magnetohydrodynamics
    Takahashi, K.
    Yamada, S.
    [J]. JOURNAL OF PLASMA PHYSICS, 2013, 79 : 335 - 356
  • [49] Regular and non-regular production scheduling of multipurpose batch plants
    Moniz, Samuel
    Barbosa-Povoa, Ana P.
    Sousa, Jorge P.
    [J]. 22 EUROPEAN SYMPOSIUM ON COMPUTER AIDED PROCESS ENGINEERING, 2012, 30 : 767 - 771
  • [50] On a correspondence between regular and non-regular operator monotone functions
    Gibilisco, P.
    Hansen, F.
    Isola, T.
    [J]. LINEAR ALGEBRA AND ITS APPLICATIONS, 2009, 430 (8-9) : 2225 - 2232
12345