This method includes two stages and four levels, the first stage: rebuilding data flow and control flow of the software, this stage includes module level mapping and function level mapping.
第一阶段：重构软件的数据流程和控制流程。该阶段包括模块级映射和函数级映射。
The inputs and outputs can be pure control-flow links as in the models in the previous section, or can be data flow links as shown in Figure 5.
这些输入和输出可以是纯控制流链接(类似于上一部分中的模型)，也可以是类似于图5所示的数据流链接。
A start node can only issue control flow, while stop and end nodes can also receive data flow.
开始节点只能发出控制流，而停止和结束节点还可以接收数据流。
The conceptual model of actions was intentionally made general enough to accommodate both data-flow and control-flow computing models.
动作的概念上的模型被特意的普通化，从而提供数据流和控制流计算模型。
The control flow has one data flow for each table, each data flow reading data from a flat file source and writing to the SQL Server database via OLEDB.
通过OLED B控制流为每一个表存在一个数据流，每一个数据流读平面文件数据，并写回sQLServer数据库。
Figure 1 shows an example process with dangling control flow (small white arrows) and data flow (small gray arrows) inputs and outputs in a fork and a join.
在图1显示的示例流程中，有一个fork和一个join，其中有悬空控制流(白色小箭头)和数据流(灰色小箭头)输入和输出。
The graphical designer that was used to create packages combined the workflow and data flow on a single design surface and offered limited control flow options.
过去用于创建包的图形设计器将工作流和数据流组合在一个设计图面中，并且所提供的控制流选项有限。
The common approach for analysing a binary consists of the following stages: assembly, procedure abstraction, control flow graph generation, data flow analysis, and property verification.
分析一个二进制代码的通常方式有以下几个阶段：反汇编，过程抽象，控制流程图生成，数据流分析和签名验证。
Static analysis tools analyze program code (e. g. control flow and data flow), as well as generated output such as HTML and XML.
静态分析工具分析程序代码(例如，控制流和数据流)，以及生成HTML和XML形式的输出。
Because DEM can integrate with control flow, data flow and time, the checking method can check consistency and completeness of software requirements for embedded real-time systems software.
由于DEM能将控制流、数据流和时间有效地集成为一体，故提出的检测方法能检测嵌入式实时系统的软件需求的一致性和完全性。
The paper dissertated collection of control information, and realized the join between the results of control flow synthesis and data flow synthesis.
本文论述了控制信息的提取，实现了控制流综合与数据流综合结果的衔接。
This paper focuses on semantic verification method, solving the problem of conflict checking under the combination of control flow, data flow and resource dimensions of workflow processes.
针对过程定义中控制流、数据流和资源三维元信息相结合的冲突检测问题，研究了过程的语义验证方法。
Meanwhile, control flow analysis and data flow analysis are made based on different processes and monitoring models involved in different ways of bidding.
同时，针对项目经理管理按不同工程招标方式涉及不同环节和不同管理模式的情况，进行管理流程分析和数据流程分析。
TUGEN integrates the features of data-flow and control-flow test and is based on a formal model called EBE, which specifies only the external behavior of a protocol.
测试集自动生成方法的研究是协议一致性测试领域中比较活跃的一个分支。 提出了一种基于EBE模型，集成数据流和控制流测试的新的协议测试自动生成方法并给出了其实现TUGEN。
XPDL1.0 is extended, a process model is designed which is described in the extended XPDL, the process model defines enterprise control flow, data flow and resource flow.
对xpdl1.0进行了扩展，采用扩展后的XPDL作为过程定义语言设计了过程模型，过程模型表达企业的控制流、数据流、资源流。
The formal methods based on Construct Category Algebra can use the same axiom semantics and operation semantics to specify the data-flow and control flow of a protocol;
构造类别代数的形式化描述方法能够将协议的数据流和控制流在统一的公理语义和操作语义前提下进行描述。
The formal methods based on Construct Category Algebra can use the same axiom semantics and operation semantics to specify the data-flow and control flow of a protocol;
构造类别代数的形式化描述方法能够将协议的数据流和控制流在统一的公理语义和操作语义前提下进行描述。
应用推荐