时间事件 meaning in Chinese
time event
Examples
- An api for timed events
时间事件api - Our study was limited by a lack of access to original source data , which would hae enabled time - to - eent analysis
我们的研究由于缺乏原始数据无法进行时间事件分析，存在着局限。 - Our study was limited by a lack of access to original source data , which would have enabled time - to - event analysis
我们的研究由于缺乏原始数据无法进行时间事件分析，存在着局限。 - Occurrence of various types of events ( e . g . , database transitions , time events , and external signals ) triggers the evaluation of a condition and if the condition evaluates to true , the action is carried out
主动数据库管理系统能主动对事件作出反应，支持事件-条件-动作( eca )规则，各种事件(如数据库状态转变、时间事件、外部信号)引发对相应条件的检测，若条件为真，便执行相应动作。 - 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的算法对时序约束一致性进行验证。