通过时间代数扩展操作流形式化体系
人工智能
2012-09-26 v1 计算机科学中的逻辑
摘要
工作流不仅是表示过程知识的重要语言，也日益用于对此类知识进行推理。另一方面，活动间时间约束的表达存在局限性。定性区间代数可以使用更精细的时间关系对过程建模，但它们无法复现所有工作流模式。本文为工作流和区间代数定义了共同的模型论语义，使得使用其中任一形式化的推理系统能够互操作。得益于此，可以在工作流以及结合工作流与区间代数的扩展形式化体系上定义有趣的性质和推论。最后，文章讨论了类似的形式化体系，这些体系为工作流提供了可靠的理论基础并对其进行扩展。
引用
@article{arxiv.1209.5664,
title = {Extension du formalisme des flux op\'erationnels par une alg\`ebre temporelle},
author = {Valmi Dufour-Lussier and Florence Le Ber and Jean Lieber},
journal= {arXiv preprint arXiv:1209.5664},
year = {2012}
}