UC知道专业英语帮忙翻译
来源：百度知道 编辑：UC知道 时间：2024/06/28 11:45:45
We classify behavioral constructs as three categories: basic behavioral constructs, event constructs message constructs. The basic behavioral constructs correspond to instance information at run time. The event constructs are not the events in Statechart diagram of UML. Instead, they correspond to the basic events such as the entry or exit of an operation, the allocation or destruction of an object. The message constructs are the same as messages defined in UML (Booch et al., 1999). While messages could not be recovered directly from run time analysis, they could be constructed conveniently based on the combination of event constructs. Althought UML has defined constructs related to Statechart, such as State. Event, and Transition, we think that while these constructs help in comprehension of system and forward engineering, without domain knowledge, they could not be captured from source code or execution trace of system (Booch et al., 1999). Therefore
2.2. 关于行为的修建
We分类关于行为的修建为三个类别： 基本的关于行为的修建，事件修建消息修建。 基本的关于行为的修建对应于事例信息在运行时间。 事件修建不是在UML Statechart图的事件。 反而，他们对应于基本的事件例如操作、对象的分派或者破坏的词条或出口。 消息修建是相同的象在UML定义的消息(等Booch， 1999)。 当消息不可能直接地从执行时间的分析时恢复，他们可能方便地被修建根据事件修建的组合。 虽然UML定义了修建与Statechart有关，例如状态。 事件和转折，我们认为，当这些修建在系统时领悟帮助，并且向前工程学，没有领域知识，他们不可能从原始代码或系统被夺取(等Booch施行踪影， 1999)。 所以，我们未包括他们。 在这个部分，我们简单地首先介绍我们的方法的理论基础，然后，给各自这些关于行为的修建的定义。
2.2.1. 理论基础
Behaviors非定常。 当多数其他接近时(等Antoniol， 2001年; 布朗1996年; Keller等， 1999年; kramer和Prechelt 1996年; Niere等， 2002年; Seemann和冯Gudenberg 1998)未论及世俗方面，我们介绍世俗逻辑克服这个缺点。 语气世俗逻辑似乎是逻辑学家更喜欢的那个。 然而，我们应该延伸典型的序幕口译员包括语气操作员。 Hrycej提出了名为Temporal的一种方法Prolog (Hrycej 1993)，使用被具体化的世俗逻辑和另外的时间参量，塑造非定常物产。 他的工作的理论基础是Allen’s基于间隔时间的世俗逻辑(亚伦， 1983年， 1984)。 比较模态逻辑模型， Allen’s模型能被实施在标准序幕顶部。 而不是开发一个新颖的理论世俗逻辑系统，我们采取Hrycej’s方法演讲样式行为。 在下面我们给Allen’s世俗逻辑和Hrycej’s Temproal序幕的简要的介绍。