Once a process is described using the BPEL XML flow language, a business process engine must interpret the process description in order to execute and manage the business transaction.
一旦用BPELXML流语言描述了流程，业务流程引擎就必须解释流程描述以便执行和管理业务事务。
In workflow management system, process description language and process modeling tool are needed to abstract the business processes.
在工作流系统中，对业务过程的抽象需要过程描述语言和过程建模工具的支持。
Supported by the extended class, workflow description language can define the functions of metrics collection, notification and validation for bug track process.
在扩展类的支持下，工作流描述语言可以描述缺陷跟踪过程中需要的度量采集、通知和验证等功能。
In this paper, a mechanical algorithm is proposed for translating description of process description language to Z specification, and temporal status transition system is used as intermediary.
本文利用时序状态转换系统作为中介，提出一种把过程描述语言的项转换成z规格的机械算法。
Modeling of the supply chain, this paper presents a model and the corresponding business processes in the supply chain process model description and definition language.
针对供应链建模，本文提出了一套相应于模型和业务流程的供应链流程模型描述和定义语言。
Using the parametric programming language APDL, introducing parametric variables, the judge and circulation flow control command, detailing description of steps parameter module development process.
运用参数化程序设计语言APDL，引入参数化变量，和判断、循环等流程控制命令，详细说明了梯级参数化模块的开发过程。
In terms of ISO9646, we specify the basic conceptions, primitive model, testing methods, testing process and testing description language of protocol conformance testing.
依照的定义，阐述了协议一致性测试的基本概念、基本模型、测试方法、测试流程、测试描述语言。
In this paper, a mechanical algorithm is proposed for translating description of process description language to Z specification, and temporal status transition system is used as intermediar.
为了解决不同应用中机器人的控制程序设计问题，提出了基于状态转换的机器人程序设计方法。
In this paper, a mechanical algorithm is proposed for translating description of process description language to Z specification, and temporal status transition system is used as intermediar.
为了解决不同应用中机器人的控制程序设计问题，提出了基于状态转换的机器人程序设计方法。
应用推荐