Execution semantics to integrate control flow and data flow

被引：0
|
作者：
Ibrahim, B [1 ]
Randriamparany, H [1 ]
机构：
[1] Univ Geneva, Dept Comp Sci, CH-1211 Geneva, Switzerland
来源：
COMPUTERS AND THEIR APPLICATIONS | 2001年
关键词：
Data-flow; control-flow; visual language; execution;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
In the visual languages community, the data-flow and control-flow models are often seen as antagonistic. However, data-flow formalisms are seldom purely data-flow based, and control-flow formalisms are seldom purely control-flow based. In this paper, we will describe the execution model of a formalism that completely integrates the two kinds of flows. This execution model, inspired by colored Petri Nets, is based on directed graphs, with both control-flow and data-flow edges, and with, respectively, control-flow and data-flow tokens flowing through these edges. Through an example, we define and explain the semantics of the combination of the two kinds of token flows.
引用
收藏
页码：40 / 43
页数：4
相关论文
共 50 条
  • [1] An execution model for the seamless integration of control flow and data flow
    Ibrahim, B
    Randriamparany, F
    ACS/IEEE INTERNATIONAL CONFERENCE ON COMPUTER SYSTEMS AND APPLICATIONS, PROCEEDINGS, 2001, : 402 - 404
  • [2] Control-flow semantics for assembly-level data-flow graphs
    Kahl, Wolfram
    Anand, Christopher K.
    Carette, Jacques
    RELATIONAL METHODS IN COMPUTER SCIENCE, 2005, 2006, 3929 : 147 - 160
  • [3] A FIXPOINT SEMANTICS FOR NONDETERMINISTIC DATA FLOW
    STAPLES, J
    NGUYEN, VL
    JOURNAL OF THE ACM, 1985, 32 (02) : 411 - 444
  • [4] A metric approach to control flow semantics
    DeBakker, JW
    DeVink, EP
    PAPERS ON GENERAL TOPOLOGY AND APPLICATIONS: ELEVENTH SUMMER CONFERENCE AT THE UNIVERSITY OF SOUTHERN MAINE, 1996, 806 : 11 - 27
  • [5] Specification and construction of control flow semantics
    Smelik, Ruben
    Rensink, Arend
    Kastenberg, Harinen
    IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING, PROCEEDINGS, 2006, : 65 - +
  • [6] Transaction execution models in partially replicated transactional memory: The case for data-flow and control-flow
    Palmieri, Roberto
    Peluso, Sebastiano
    Ravindran, Binoy
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2015, 8913 : 341 - 366
  • [7] Optimization of data flow execution in a parallel environment
    Kougka, Georgia
    Gounaris, Anastasios
    DISTRIBUTED AND PARALLEL DATABASES, 2019, 37 (03) : 385 - 410
  • [8] Modeling Data Flow Execution in a Parallel Environment
    Kougka, Georgia
    Gounaris, Anastasios
    Leser, Ulf
    BIG DATA ANALYTICS AND KNOWLEDGE DISCOVERY, DAWAK 2017, 2017, 10440 : 183 - 196
  • [9] Data Flow Execution Models - a Third Opinion
    Sarkar, Vivek
    2019 IEEE 26TH INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING, DATA, AND ANALYTICS (HIPC), 2019, : 1 - 1
  • [10] Optimization of data flow execution in a parallel environment
    Georgia Kougka
    Anastasios Gounaris
    Distributed and Parallel Databases, 2019, 37 : 385 - 410
12345