interpreter for reduction rules 归约规则的解释程序
derivation of reduction rules 归约规则的推导
Component-level reduction rules 组件级化简规则
match phrase in reduction rules 归约规则的匹配短语
rules reduction 规则约简
First map UML activity diagram into activity hypergraph,then propose some reduction rules. The models can be verified by the reduction.
该文提出了基于UML活动图化简方法的工作流模型校核技术,在UML活动图到活动超图映射基础之上,对活动超图建立化简规则,通过化简实现工作流模型校核。
参考来源 - 基于UML活动图化简方法的工作流模型校核研究 in C·2,447,543篇论文数据，部分数据来源于NoteExpress
A general calculating program designed for optimum reduction rules for existing bar section leveller with minicomputer is introduced in the article.
本文是为了用微机控制现有型钢矫正机最佳压下规程而设计的通用计算程序。
The reduction rules in co-verification see the consistency in semantic constraints as principle, reducing the model when there are no semantic conflicts gradually.
协同验证的化简规则是在语义约束一致性的原则下，逐步规约模型中无语义冲突的部分。
The verification of the model of TCPN workflow nets by means of graph reduction was mainly considered, and some graph reduction rules of flow control structure were put forward and proved.
文中重点研究了采用图规约法对TCPN工作流网模型的验证，提出了流控制结构的图规约规则，并对这些规则进行了证明。
应用推荐