1) process semantic
流程语义
1.
Acquiring users requirements based on process semantic database under smart process application model;
智能流程应用模式下基于流程语义库的需求获取
2) process definition language
流程定义语言
1.
And then,this paper discussed two key techniques: collaborative business process modeling management and the XML-based process definition language.
在此基础上讨论了实现网络化协同模型的两项关键技术,即协同建模过程管理技术和基于XML的流程定义语言,并给出了实现网络化协同模型时所使用的一个流程定义文件。
2.
This paper proposed a lightweight telephone voice process definition language(TVPDL),which supports the definition of all kinds of telephone voice processes.
轻量级电话语音流程定义语言TVPDL可以将任意类型的电话语音流程以脚本的形式进行定义。
3) XPDL
XML流程定义语言
1.
These systems are inadequate; they can handle specific tasks such as XPDL (XML Process Definition Language) or BPEL (Business Process Execution Language) model.
这些系统有如下不足:他们只能处理特定的工作流模型如XML流程定义语言(XML Process Definition Language,XPDL)或者商业流程执行语言(Business Process Execution Language,BPEL),不能同时处理这两种模型,不能将一种格式的业务流程移植到另外一种工作流平台上,他们之间的模型不能互操作。
4) workflow process definition language
工作流过程定义语言
5) business process definition language
业务流程定义语言
6) engineering semantics
工程语义
1.
Feature Recognition and 3D Reconstruction of Engineering Drawing Based on Engineering Semantics;
基于工程语义的二维工程图的特征识别及三维重构
2.
The identification of the features based on engineering semantics involves visible identifications of feature volume and invisible ones.
基于工程语义的基元识别包括显式基元体识别、隐式基元体识别。
3.
This paper introduces divided conquer for the first time and systemically puts forward 3 levels divided conquer (description mode divide conquer, projection relation divided conquer and dimension constraint divided conquer)of practical engineering drawing engineering semantics.
首次引入分治思想 ,系统地提出了实际工程图样工程语义的表达方式分治、投影关系分治和尺寸约束分治等三个分治层次 ,每一层次又根据信息表达的深度 ,划分为低层的显式分治和高层的隐式分治。
补充资料:操作语义
操作语义
operational semantics
式求值的抽象机器的模型,这个机器的存储区分成三部分:栈区st(用作工作区),环境区:(保存数据向量等),控制区。(保存程序)。整个存储区记作(、t,:,。),称为抽象机器的一个大状态。这个抽象机器具有识别符号、完成算术和逻辑运算、转储信息、实现大状态之间的转移等基本功能。 这个机器的大状态转移规则分为四类: (l)(st,s,(el叩eZ)/c)”(st,s,。;/。2/甲/。) (2)(st,:,碑/‘)冷(n/:t,:,。) (3)(st,s,x、/e)”(x、/sr,s,e) (4)(n/m/st,s,叩/e)=>(k/st,s,c)(k=m opn) 第一类规则表示,当控制区中待执行的程序要求完成表达式(。1叩eZ)的求值时,抽象机就转移自己的大状态,准备先求子表达式。l和e2的值,然后再按照相应的运算叩(+,一,X或其它算子),求出整个表达式的值,符号“/”用于分割存放的信息。第二类规则表示,当求值的表达式是一个常量时,则其值就是抽象机中表示这个常量的相应的量(粗体用来区别语言中的符号和在抽象机中的相应表示),表达式的值暂存于栈区。第三类规则表示,当表达式是一个变量时,其值就是环境区中相应单元的当前值,即第i个变量x‘的值就是数据向量s的第i个分量:、的值。第四类规则表示,当运算叩的两个操作数已经求得,则可按照抽象机中的相应运算求出op作用于操作数的结果。 在这个抽象机中,表达式(x:X xZ)+l(在xl,xZ值为2和3时)的求值是由下述大状态的转移序列完成的,转移符号冷的上方标有实现这一转移依 0、,产、,声据的转移规则号,设:=(2,3,s((x;XxZ)+i)/。(s(1)冷(:t,、(x;XxZ)/1/+/。)岑(、‘,:,(二,/二2)又1/+/。)里(2/st,、,二2/又1/+/。)缪(3/2/st,:,x/1/、/。)军(6/、‘,、,l/+/。)里(l/6/::,:,+,/。) (4) 冷(7/:t,s,e) 这个抽象机正确刻画出算术表达式求值的全过程,故可作为算术表达式的操作语义。 为定义赋值语句(x‘:二e)的操作语义,可在上述抽象机中添加如下转移规则: (5)(st,s,(x、:=e);/c)今(:t,s,e/x*:=/。) (6)(n/:t,:,吞:=/。)=>(st,:}in,。) 第五类规则表示,当抽象机执行(x‘:=。)时,先求出表达式仑的值,然后再给x*赋值。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条