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 条
  • [1] Generalized interface automata with multicast synchronization
    Fei He
    Xiaoyu Song
    Ming Gu
    Jiaguang Sun
    Frontiers of Computer Science, 2015, 9 : 1 - 14
  • [2] Generalized interface automata with multicast synchronization
    Fei HE
    Xiaoyu SONG
    Ming GU
    Jiaguang SUN
    Frontiers of Computer Science, 2015, 9 (01) : 1 - 14
  • [3] Synchronization of Nonstationary Linear Automata in the Phase Space of Generalized States
    Speranskii, D. V.
    AUTOMATIC CONTROL AND COMPUTER SCIENCES, 2009, 43 (03) : 166 - 172
  • [4] Simulation of Generalized Synchronization Processes on One-Dimensional Cellular Automata
    Umeo, Hiroshi
    Kamikawa, Naoki
    Nishioka, Kouji
    Akiguchi, Shunsuke
    PROCEEDINGS OF THE 9TH WSEAS INTERNATIONAL CONFERENCE ON SIMULATION, MODELLING AND OPTIMIZATION, 2009, : 350 - +
  • [5] Some new generalized synchronization algorithms and their implementations for large scale cellular automata
    Umeo, H
    Hisaoka, M
    Michisaka, K
    Nishioka, K
    Maeda, M
    UNCONVENTIONAL MODELS IN COMPUTATION, PROCEEDINGS, 2002, 2509 : 276 - 286
  • [6] On the Synchronization of Planar Automata
    Montoya, J. Andres
    Nolasco, Christian
    LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS (LATA 2018), 2018, 10792 : 93 - 104
  • [7] Synchronization of Regular Automata
    Caucal, Didier
    MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2009, 2009, 5734 : 2 - 23
  • [8] Synchronization of finite automata
    Volkov, M. V.
    RUSSIAN MATHEMATICAL SURVEYS, 2022, 77 (05) : 819 - 891
  • [9] CELLULAR AUTOMATA SYNCHRONIZATION
    ROMANI, F
    INFORMATION SCIENCES, 1976, 10 (04) : 299 - 318
  • [10] ALGORITHM FOR SYNCHRONIZATION OF AUTOMATA
    SHAROV, KA
    ENGINEERING CYBERNETICS, 1972, 10 (06): : 1091 - 1095
12345