信息过程的语义跟踪

注解: 目前，正在积极研究使用形式化建模工具来描述各种类别的过程，特别是信息业务过程的问题。 然而，基于状态图的图或网络模型主要用作建模工具，例如Petri网，表示网络链的图，以及各种面向文档或面向事件的模型，例如UML或IDEFx模型。 这项工作的目的是表明，专注于此类模型的业务流程理论领域的发展可以应用于更严格的符号模型，这些模型可以使用流程模型的自动化处理来验证正确性，检测属性并将流程模型与实现的技术手段联系起来。 本文提出了一种符号过程建模工具--pi-微积分. 在该形式化模型中，该过程被表示为微积分项，其实现通过按照所选择的语义对该项进行缩减来描述。 这个微积分的开发是为了描述几个系统在一个可能变化的结构过程中的相互作用。 本文提出了一种原始的描述跟踪的建设性方法-一种构造过程日志的方法，将它们组合成执行日志，并考虑了日志记录过程的一般要求。 描述了过程挖掘方面在使用pi-微积分建模的过程中的应用。与类似物相比，使用所提出的建模过程和跟踪其执行的方法提供了更多的机会来评估所构建模型的充分性和正确性，简化了评估系统的扩展以增加新的标准，简化了与模型对应的过程日志的接收和解释。

出版日期: