| 1. | Operational semantic of workflow engine
工作流机的操作语义 |
| 2. | The type information provides more precise operational semantics to the values
类型信息为值提供更精确的操作语义。 |
| 3. | The inductive learning of operation semantics of words structure based on referring
基于参照的对词结构操作语义的归纳学习 |
| 4. | Equivalence proving of operational and denotational semantics about repeat - until statement
语句的操作语义与指称语义的等价性证明 |
| 5. | This reliable message delivery mechanism guaranteed by the internal state can build business oriented transactions
在这个基础上，我们可以构建广泛的更高级别的每操作语义，比如事务。 |
| 6. | After running the tool , the serer - side developer must implement the appropriate business logic to fulfill the semantics of the operations in the service definition
在运行工具后，服务器端的开发人员必须实现正确的业务逻辑以执行该服务定义中的操作语义。 |
| 7. | From the work above , this thesis has defined a dfl programming language in a fire - new view which had the superiority in solving dynamic fuzzy problems
在描述、解决具有动态模糊性的问题时,本文所给出的dfl程序设计语言的操作语义模型与常见的高级程序设计语言相比表现出了很好的优越性。 |
| 8. | This is the operating semantic that all remote procedure call mechanism implement since this is the standard function - call semantic in procedural and object - oriented programming languages
这是所有的远程过程调用（ rpc ）机制实现的操作语义，因为它是在过程性编程语言和面向对象的编程语言中的标准函数调用语义。 |
| 9. | Transactions are specified as mobile transactional programs that are propagated and executed in the server , thus allowing the validation of transactions based on application - specific semantics
在客户端，事务被定义为移动事务“程序”并被用来同步，可以定义详细的操作语义以及替代操作，还可以定义冲突解决方案。 |
| 10. | Firstly , uml statecharts is structurally expressed by extended hierarchical automaton ( eha ) , and its operational semantics is expatiated . the correctness of semantics can be ensured through finding the maximal non - conflict transition set
首先针对uml的特点对扩展层次自动机( extendedhierarchicalautomata ， eha )进行改进，以便能结构化地表示umlstatecharts ，并给出相应的操作语义。 |
