English translation for "alur"

阿卢尔

Example Sentences:

	1.	As alur states on p 249 , " the main benefit is hiding the details of the underlying service 就像[ alur ]在第249页所讲的“主要的优点是隐藏了基础服务服务的细节。 ”
	2.	" an explicit consequence of this pattern discussed on p . 255 of alur is to hide remoteness of the business service 采用这种模式的一个明显的结果是（ [ alur ]在第255页的讨论）将隐藏商业服务的远程性。
	3.	Workshop on tools and algorithms for the construction and analysis of systems , 1995 , brics report series ns - 95 - 2 . 4 rajeev alur , david l dill . a theory of timed automata 一个符号状态是一个二元组l , d ，其中l是一个自动机的位置，而d是一个时间约束。
	4.	The code examples in alur only show this application of the pattern , and the vast majority of the text in the pattern itself also only refers to using it with ejbs [ alur ]中的代码示例只是展示了该模式在在这方面的应用，此外，关于该模式本身的大部分文本也只是提到将其与ejb一起使用。
	5.	It does so by delegating the details of object lookup to a lookup service usually implemented as a service locator from alur and by handling remote exceptions as well as other issues like retry inside the methods of the business delegate itself 为此，可以把对象查找的细节委托给查找服务（通常实现为一种来自[ alur ]的服务定位器） ，并且在业务代表本身的方法中处理远程异常（和其他问题，比如重试） 。
	6.	In short , the solution to providing a common , unified client programming model that is independent of which of several different remote technologies are used can be found by applying an extension to the business delegate pattern from alur 简单地说，通过应用由[ alur ]提出的业务代表（ business delegate ）模型可以找到一种解决方案来提供通用、统一的客户端编程模型，这种模型与使用几种不同的远程技术中的哪一种无关。
	7.	Last , the temporal constraints are verified by alur ’ s model checking algorithm . this paper also verify the correctness of the data flow of the workflow . the data flow objects are added into the uml statecharts , and the semantic of data flow is 验证数据流正确性的过程中,在uml状态图中加入了数据流对象,定义了uml状态图的数据流语义,根据该语义给出了从uml状态图到全局状态可达图的转化算法,提出了验证数据流正确性的算法。
	8.	Verifying the soundness of the uml statecharts model can be translated into the verification of the soundness of the global reachable state transition diagram , and the algorithms verifying the soundness and the properties of semantic - related are given . at the aspect of verifying the consistency of temporal constraints of workflow , the time events are added into the uml statecharts , then the rules translating the extended uml statecharts into timed automata are given . the upper constraints ( the most time interval between two tasks ) , lower constraints ( the least time interval between two tasks ) and deadline constraints are defined by tctl . the consistency of these constraints in build time , instantiation time and run - time are defined respectively 在验证工作流时序约束一致性方面,在uml状态图中加入了时间事件,给出了将扩展后的uml状态图转化为时间自动机的规则,用时间计算树逻辑定义了两个任务间的最大、最小时间间隔(上、下界约束)和工作流的最终期限约束,并给出了这三类约束分别在创建阶段、实例化阶段和运行阶段的一致性定义,通过alur的算法对时序约束一致性进行验证。

Similar Words：

"alupi" English translation, "alupka" English translation, "alupoaie" English translation, "alupovic" English translation, "alupului" English translation, "alura" English translation, "alurate" English translation, "alure" English translation, "alured" English translation, "aluren" English translation