公开(公告)号：CN105069306A

公开(公告)日：2015-11-18

申请号：CN201510508731.1

申请日：2015-08-18

申请人： 山东科技大学

发明人： 杜玉越 ,  李洪霞 ,  于淑霞 ,  刘伟

IPC分类号： G06F19/00

摘要： 本发明公开了一种基于工作流网模型的事件日志审计方法。基于合法模型和历史日志，以对事件日志的审计为目的，参照程序语言的分析方法，提出一种全新的事件日志审计方法，它可以针对块结构的过程模型，确定无回溯地进行日志审计。该方法包括以下步骤：(1)根据块结构模型的特点，分析日志审计中存在的问题；(2)针对这些问题，给出相应的解决方法，得到可进行确定无回溯日志审计的模型应满足的条件；(3)给出审计方法。与现有技术相比，本发明不再局限于概念模型，而是针对块结构过程模型，给出具体的日志审计方法；本发明给出了可进行确定无回溯日志审计模型应满足的条件；给出了具体的审计算法，满足条件的模型可以高效地进行日志的审计。

公开(公告)号：CN104715328B

公开(公告)日：2017-10-31

申请号：CN201510101148.9

申请日：2015-03-09

申请人： 山东科技大学

发明人： 杜玉越 ,  李洪霞 ,  洪永发 ,  于淑霞 ,  刘伟

IPC分类号： G06Q10/06

摘要： 本发明公开了一种基于核心过程的业务过程扩展方法，其主要步骤包括：首先定义表示新环境中过程变体共性的核心过程，然后基于核心过程对现有业务过程进行扩展，得到适应新环境的扩展业务过程；其中，在业务过程扩展中，应首先建立业务过程和核心过程结点之间的映射关系，变迁标记可用作结点映射的依据；对业务过程的扩展是基于核心过程，对业务过程进行阻塞和隐藏运算的逆运算。通过本发明方法得到的扩展业务过程兼具有原业务过程和过程变体共性的特点，与原业务过程相比，可以更好地适应新的经济环境。

公开(公告)号：CN104715328A

公开(公告)日：2015-06-17

申请号：CN201510101148.9

申请日：2015-03-09

申请人： 山东科技大学

发明人： 杜玉越 ,  李洪霞 ,  洪永发 ,  于淑霞 ,  刘伟

IPC分类号： G06Q10/06

CPC分类号： G06Q10/0637

摘要： 本发明公开了一种基于核心过程的业务过程扩展方法，其主要步骤包括：首先定义表示新环境中过程变体共性的核心过程，然后基于核心过程对现有业务过程进行扩展，得到适应新环境的扩展业务过程；其中，在业务过程扩展中，应首先建立业务过程和核心过程结点之间的映射关系，变迁标记可用作结点映射的依据；对业务过程的扩展是基于核心过程，对业务过程进行阻塞和隐藏运算的逆运算。通过本发明方法得到的扩展业务过程兼具有原业务过程和过程变体共性的特点，与原业务过程相比，可以更好地适应新的经济环境。

公开(公告)号：CN105069306B

公开(公告)日：2017-10-17

申请号：CN201510508731.1

申请日：2015-08-18

申请人： 山东科技大学

发明人： 杜玉越 ,  李洪霞 ,  于淑霞 ,  刘伟

IPC分类号： G06F19/00

摘要： 本发明公开了一种基于工作流网模型的事件日志审计方法。基于合法模型和历史日志，以对事件日志的审计为目的，参照程序语言的分析方法，提出一种全新的事件日志审计方法，它可以针对块结构的过程模型，确定无回溯地进行日志审计。该方法包括以下步骤：(1)根据块结构模型的特点，分析日志审计中存在的问题；(2)针对这些问题，给出相应的解决方法，得到可进行确定无回溯日志审计的模型应满足的条件；(3)给出审计方法。与现有技术相比，本发明不再局限于概念模型，而是针对块结构过程模型，给出具体的日志审计方法；本发明给出了可进行确定无回溯日志审计模型应满足的条件；给出了具体的审计算法，满足条件的模型可以高效地进行日志的审计。