• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>International Symposium on Automated Technology for Verification and Analysis(ATVA 2005); 20051004-07; Taibei(CT) >Quantitative and Qualitative Analysis of Temporal Aspects of Complex Activities
【24h】

Quantitative and Qualitative Analysis of Temporal Aspects of Complex Activities

机译：复杂活动的时间方面的定量和定性分析

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

A preparation of the consistent task schedule is significant for the proper functioning of reminder systems. Two problems have to be solved thereby: avoiding temporal task overlapping; preventing task generation with an unlimited task execution time. Each task consists of complex activities combining temporally linked actions. The article introduces a method for formal description of such activities. To limit the execution time of the activities, definitions of timer transitions were included in the action specification. The expiration of the timer causes a transition to a specified action. The fact that the actual timer depends on the actions performed before complicates the analysis. A timed automaton can be built for each complex activity based on the introduced description. This automaton is applied to quantitative and qualitative analysis of temporal aspects of the activities. The article presents an algorithm for calculating the duration limits of the activities and for detecting the unlimited activities.
机译：准备一致的任务时间表对于提醒系统的正常运行非常重要。因此必须解决两个问题：避免时间任务重叠；避免任务执行时间无限的任务生成。每个任务都由复杂的活动组成，这些活动结合了时间相关的动作。本文介绍了一种正式描述此类活动的方法。为了限制活动的执行时间，动作规范中包括了计时器转换的定义。计时器到期会导致转换为指定的动作。实际计时器取决于之前执行的操作这一事实使分析变得复杂。可以根据介绍的描述为每个复杂的活动建立定时自动机。该自动机应用于活动时间方面的定量和定性分析。本文提出了一种算法，用于计算活动的持续时间限制并检测无限的活动。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号