alur 中文意思是什麼

alur 解釋
阿盧爾
  1. 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是一個時間約束。
  2. 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 ]的服務定位器） ，並且在業務代表本身的方法中處理遠程異常（和其他問題，比如重試） 。
  3. As alur states on p 249, " the main benefit is hiding the details of the underlying service

    就像[ alur ]在第249頁所講的「主要的優點是隱藏了基礎服務服務的細節。 」
  4. " an explicit consequence of this pattern discussed on p. 255 of alur is to hide remoteness of the business service

    採用這種模式的一個明顯的結果是（ [ alur ]在第255頁的討論）將隱藏商業服務的遠程性。
  5. 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一起使用。
  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狀態圖到全局狀態可達圖的轉化演算法，提出了驗證數據流正確性的演算法。
分享友人
分享到 Line

分享到臉書