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 条
  • [21] Manufacturing-execution systems ease data flow
    Basta, N
    CHEMICAL ENGINEERING, 1996, 103 (08) : 133 - &
  • [22] EXECUTION FLOW CONTROL: SIMPLIFIED DESIGN OF PARALLEL APPLICATIONS
    Jin, Jing
    Li, Xin
    Chen, Shanzhi
    Wang, Yan
    2011 IEEE INTERNATIONAL CONFERENCE ON CLOUD COMPUTING AND INTELLIGENCE SYSTEMS, 2011, : 274 - 279
  • [23] Information Flow Control for Distributed Trusted Execution Environments
    Gollamudi, Anitha
    Chong, Stephen
    Arden, Owen
    2019 IEEE 32ND COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF 2019), 2019, : 304 - 318
  • [24] Capturing and Analyzing the Execution Control Flow of OpenMP Applications
    Fuerlinger, Karl
    Moore, Shirley
    INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, 2009, 37 (03) : 266 - 276
  • [25] Visualizing the program execution control flow of OpenMP applications
    Furlinger, Karl
    Moore, Shirley
    OPENMP IN A NEW ERA OF PARALLELISM, PROCEEDINGS, 2008, 5004 : 181 - 190
  • [26] Capturing and Analyzing the Execution Control Flow of OpenMP Applications
    Karl Fürlinger
    Shirley Moore
    International Journal of Parallel Programming, 2009, 37 : 266 - 276
  • [27] Semantics and Verification of Data Flow in UML 2.0 Activities
    Stoerrle, Harald
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 127 (04) : 35 - 52
  • [28] FROM CONTROL FLOW TO DATA-FLOW
    BECK, M
    JOHNSON, R
    PINGALI, K
    JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 1991, 12 (02) : 118 - 129
  • [29] Seamless integration of control flow and data flow
    Randriamparany, H
    Ibrahim, B
    COMPUTERS AND THEIR APPLICATIONS, 2001, : 44 - 47
  • [30] COMBINING DATA FLOW AND CONTROL FLOW COMPUTING
    TRELEAVEN, PC
    HOPKINS, RP
    RAUTENBACH, PW
    COMPUTER JOURNAL, 1982, 25 (02): : 207 - 217
12345