Generalized interface automata with multicast synchronization

被引：0
|
作者：
He, Fei [1 ,2 ,3 ]
Song, Xiaoyu [4 ]
Gu, Ming [1 ,2 ,3 ]
Sun, Jiaguang [1 ,2 ,3 ]
机构：
[1] Tsinghua Univ, Tsinghua Natl Lab Informat Sci & Technol TNList, Beijing 100084, Peoples R China
[2] Minist Educ, Key Lab Informat Syst Secur, Beijing 100084, Peoples R China
[3] Tsinghua Univ, Sch Software, Beijing 100084, Peoples R China
[4] Portland State Univ, Dept Elect & Comp Engn, Portland, OR 97207 USA
来源：
FRONTIERS OF COMPUTER SCIENCE | 2015年 / 9卷 / 01期
基金：
中国国家自然科学基金;
关键词：
interface automata; multicast communication; component interaction; verification;
D O I：
10.1007/s11704-014-4016-7
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Interface automata are one of the prominent formalisms for specifying interface behaviors of component-based systems. However, only one-to-one communication is allowed in the composition of interface automata. This paper presents multicast interface automata which generalize the classic interface automata and accommodate multicast communication mechanism. The multicast interface automata endorse both bottom-up and top-down design methodologies. Theoretical results on compatibility and refinement are established for incremental design and independent implementability.
引用
收藏
页码：1 / 14
页数：14
相关论文
共 50 条
  • [31] A multimedia synchronization protocol for multicast groups
    Benslimane, A
    PROCEEDINGS OF THE 26TH EUROMICRO CONFERENCE, VOLS I AND II, 2000, : 456 - 463
  • [32] Deterministic generalized automata
    Giammarresi, D
    Montalbano, R
    THEORETICAL COMPUTER SCIENCE, 1999, 215 (1-2) : 191 - 208
  • [33] Generalized automata networks
    Tomassini, Marco
    CELLULAR AUTOMATA, PROCEEDINGS, 2006, 4173 : 14 - 28
  • [34] Constrained Synchronization for Monotonic and Solvable Automata and Automata with Simple Idempotents
    Hoffmann, Stefan
    IMPLEMENTATION AND APPLICATION OF AUTOMATA (CIAA 2022), 2022, 13266 : 225 - 237
  • [35] Interface Automata for Choreographies
    Zeng, Hao
    Kurz, Alexander
    Tuosto, Emilio
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2019, (304): : 1 - 19
  • [36] MODAL INTERFACE AUTOMATA
    Luettgen, Gerald
    Vogler, Walter
    LOGICAL METHODS IN COMPUTER SCIENCE, 2013, 9 (03)
  • [37] Synthesis of interface automata
    Bhaduri, P
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2005, 3707 : 338 - 353
  • [38] Probabilistic Interface Automata
    Pavese, Esteban
    Braberman, Victor
    Uchitel, Sebastian
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2016, 42 (09) : 843 - 865
  • [39] Hybrid Interface Automata
    Zhang, Yan
    Zhang, Tian
    2012 19TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC), VOL 1, 2012, : 624 - 633
  • [40] Generalized multicast congestion control
    Li, Jiang
    Yuksel, Murat
    Fan, Xingzhe
    Kalyanaraman, Shivkumar
    COMPUTER NETWORKS, 2007, 51 (06) : 1421 - 1443
12345