• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Business process management >Better Algorithms for Analyzing and Enacting Declarative Workflow Languages Using LTL
【24h】

Better Algorithms for Analyzing and Enacting Declarative Workflow Languages Using LTL

机译：使用LTL分析和制定声明性工作流语言的更好算法

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

摘要

Declarative workflow languages are easy for humans to understand and use for specifications, but difficult for computers to check for consistency and use for enactment. Therefore, declarative languages need to be translated to something a computer can handle. One approach is to translate the declarative language to linear temporal logic (LTL), which can be translated to finite automata. While computers are very good at handling finite automata, the translation itself is often a road block as it may take time exponential in the size of the input. Here, we present algorithms for doing this translation much more efficiently (around a factor of 10,000 times faster and handling 10 times larger systems on a standard computer), making declarative specifications scale to realistic settings.
机译：声明性工作流语言使人类易于理解并用于规范，但计算机难以检查其一致性并用于制定。因此，声明性语言需要翻译成计算机可以处理的语言。一种方法是将声明性语言转换为线性时态逻辑（LTL），可以将其转换为有限自动机。尽管计算机非常擅长处理有限自动机，但翻译本身通常是一个障碍，因为它可能需要花费时间来增加输入量。在这里，我们提出了用于更有效地执行此转换的算法（速度提高了约10,000倍，在标准计算机上处​​理了10倍的大型系统），从而使声明性规范可扩展至实际设置。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号