The Real Time Programming language is considered as system description language with temporal constraints.
实时编程语言是有时间约束的系统描述语言。
In workflow management system, process description language and process modeling tool are needed to abstract the business processes.
在工作流系统中，对业务过程的抽象需要过程描述语言和过程建模工具的支持。
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规格的机械算法。
应用推荐