Recasting constraint automata into Buchi automata

被引：0
|
作者：
Izadi, Mohammad [1 ]
Bonsangue, Marcello A. [1 ]
机构：
[1] Leiden Univ, LIACS, NL-2300 RA Leiden, Netherlands
来源：
THEORETICAL ASPECTS OF COMPUTING - ICTAC 2008, PROCEEDINGS | 2008年 / 5160卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Constraint automata have been proposed as the operational semantics of Reo, a glue-code language for the exogenous composition and orchestration of components in a software system. In this paper we recast the theory of constraint automata into that of Buchi automata on infinite strings of records. We use records to express simultaneity constraints of I/O operations and show that every constraint automaton can be expressed as a, Buchi automaton on an appropriate alphabet of records. Further, we give examples of component compositions that are expressible as Buchi automata but not as constraint automata. Finally, we show that the join composition operator for constraint automata and its counterpart for Buchi automata of records can be expressed as two basic operations on Buchi automata: alphabet extension and product.
引用
收藏
页码：156 / 170
页数：15
相关论文
共 50 条
  • [1] UNITY and Buchi automata
    Hesselink, Wim H.
    [J]. FORMAL ASPECTS OF COMPUTING, 2021, 33 (02) : 185 - 205
  • [2] ON THE COMPLEMENTATION OF BUCHI AUTOMATA
    PECUCHET, JP
    [J]. THEORETICAL COMPUTER SCIENCE, 1986, 47 (01) : 95 - 98
  • [3] Unambiguous Buchi automata
    Carton, O
    Michel, M
    [J]. THEORETICAL COMPUTER SCIENCE, 2003, 297 (1-3) : 37 - 81
  • [4] Singly exponential translation of alternating weak Buchi automata to unambiguous Buchi automata
    Li, Yong
    Schewe, Sven
    Vardi, Moshe Y.
    [J]. THEORETICAL COMPUTER SCIENCE, 2024, 1006
  • [5] Buchi Store: An Open Repository of Buchi Automata
    Tsay, Yih-Kuen
    Tsai, Ming-Hsien
    Chang, Jinn-Shu
    Chang, Yi-Wen
    [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 2011, 6605 : 262 - 266
  • [6] Alternating Buchi automata as abstractions
    Xu, Zheng. Quan.
    Yuan, Zhi. Bin.
    [J]. DYNAMICS OF CONTINUOUS DISCRETE AND IMPULSIVE SYSTEMS-SERIES A-MATHEMATICAL ANALYSIS, 2006, 13 : 1219 - 1221
  • [7] Coinductive Algorithms for Buchi Automata
    Kuperberg, Denis
    Pinault, Laureline
    Pous, Damien
    [J]. DEVELOPMENTS IN LANGUAGE THEORY, DLT 2019, 2019, 11647 : 206 - 220
  • [8] Minimizing generalized Buchi automata
    Juvekar, Sudeep
    Piterman, Nir
    [J]. COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2006, 4144 : 45 - 58
  • [9] Alternation Removal in Buchi Automata
    Boker, Udi
    Kupferman, Orna
    Rosenberg, Adin
    [J]. AUTOMATA, LANGUAGES AND PROGRAMMING, PT II, 2010, 6199 : 76 - 87
  • [10] Observations on determinization of Buchi automata
    Althoff, Christoph Schulte
    Thomas, Wolfgang
    Wallmeier, Nico
    [J]. THEORETICAL COMPUTER SCIENCE, 2006, 363 (02) : 224 - 233
12345