Document Logic: Risk analysis of business processes through document authenticity
Document Logic: Risk analysis of business processes through document authenticity
复制标题
文档逻辑：通过文档真实性对业务流程进行风险分析
DOI：
10.1109/edocw.2009.5332014
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
C. Talcott
中科院分区：
文献类型：
--
作者：
S. Iida;G. Denker;C. Talcott
文档逻辑是一个简单但功能强大的框架，用于推断业务流程中的风险。我们关注文档的流动，并基于文档真实性和简单的信任模型构建了一套推理规则。我们已经在 Maude 中构建了一个检查文档真实性的系统原型。 Maude是重写逻辑的实现。重写逻辑具有足够的表现力和通用性，足以定义其他专用逻辑，例如文档逻辑。在我们的框架中，业务流程被建模为转换系统。我们的原型以业务流程和不良情况作为输入，输出业务流程中所有可能的风险。
Document Logic is a simple yet powerful framework to infer risks in business processes. We focus on flows of documents and build a set of inference rules based on document authenticity and a simple trust model. We have built a prototype of a system that checks document authenticity in Maude. Maude is an implementation of rewriting logic. Rewriting logic is expressive and general enough to define other specialized logics, like Document Logic. In our framework, a business process is modeled as a transition system. Our prototype takes a business process and an undesired situation as its input and outputs all the possible risks in the business process.