基于行为Petri网的业务系统变化域分析方法及应用研究

结题报告
项目介绍
AI项目解读

基本信息

  • 批准号：
    61402011
  • 项目类别：
    青年科学基金项目
  • 资助金额：
    26.0万
  • 负责人：
    刘祥伟
  • 依托单位：
    安徽理工大学
  • 学科分类：
    F0201.计算机科学的基础理论
  • 结题年份：
    2017
  • 批准年份：
    2014
  • 项目状态：
    已结题
  • 起止时间：
    2015-01-01 至2017-12-31

项目摘要

The change region in business system is potential and easily causing the inconsistency region. So, the trustworthiness analysis of business system from the perspective of change region of business model is also the one of ways to solve the trusted management of business system. At present, few researchers begin to study change region of system (or vulnerabilities). Most of them mainly pay attention to detecting and analyzing some properties of deadlock of business model in system. However, when deadlock doesn’t exist and changes appear under some environment in the system, these researches can’t deal with them effectively. The objective of the project is to improve the trustworthiness of business system, and take to analyze the behavioral consistency of business system interaction as the core, we present an analyzing method of the interaction consistency based on behavioral Petri net and behavioral profile. In addition, considering the role of data flow, analysis of interaction consistency of the business models after merging control flow and data flow is proposed. In the case of inconsistency, the mechanism research of generation and propagation change of business model is given. Based thereon, this project studies the locating of change region of model and the analyzing of responsibility, laying the foundation for researching related methods about controlling change region. Through researches of this project, in order to ensure behavior predictability and data consistency of business system running under open environment, the trustworthiness of business system can be improved from both control flow and data flow for realizing the trusted management of business system.
业务系统的变化域是潜在的、易导致系统出现非一致性的区域，从流程模型变化域的角度来分析业务系统可信性，也是解决业务系统可信管理的关键点之一。目前已有少量学者开展系统变化域（或脆弱点）分析研究，大部分方法主要关心业务系统模型的死锁检测及某些性质分析，这些研究对于系统无死锁而在有些环境下出现变化的情况无法有效处理。本项目以提高业务系统的可信性为目标，以分析业务系统交互行为一致性为核心，基于行为Petri网和行为轮廓方法来研究业务系统交互行为一致性分析方法，并针对数据流作用下的情况，研究融合控制流和数据流的业务流程交互一致性分析方法。在非一致情况下，研究流程模型变化产生及传播机理，以此为基础研究模型变化域定位及责任分析，为研究相关的变化域控制方法奠定基础。通过本项目的研究，以保障业务系统在开放环境下运行时的行为可预期性、数据的一致性，从行为和数据两方面提高业务系统的可信性，实现业务系统的可信管理。

结项摘要

在国家自然科学基金的资助下，本项目主要围绕业务系统变化域分析方法及其应用展开研究。主要贡献体现在四个方面：（1）研究了基于行为Petri网的业务系统模型构建与分析方法。包括提出了基于行为Petri网的E-Health系统的业务流程建模和优化方法，基于Petri 网动态切片的业务系统最小变化域的分析方法，以及提出了基于Petri 网行为轮廓的生物计算系统建模及模块（module）的识别方法。（2）研究了交互业务流程的变化域分析方法。包括提出了基于Petri网行为和结构相似性度的业务流程变化域分析方法，基于Petri网弱行为轮廓的业务流程模型变化域优化分析方法，以及基于Petri 网的业务系统声誉的一致性分析与强控制方法。（3）研究了相关变化域传播模型及控制方法。包括提出了基于Petri网行为包含和行为继承的业务流程变化域传播分析方法，基于行为包含查询业务流程模型的变化域优化控制方法，以及在数据约束下的业务流程模型变化域分析方法。（4）面向可信管理的业务系统变化域应用研究。提出了基于行为Petri网的E-Health系统的业务流程建模和变化域控制优化方法，并研制面向电子交易系统的行为一致性分析工具。.项目组开展了卓有成效的工作，在国内外高质量学术期刊上发表论文31篇，其中SCI刊源5篇，EI5篇，中文核心8篇，部分论文在《Knowledge-Based Systems》、《Computers & Mathematics with Applications》、《Basic&Clinical Pharmacology &Toxicology》、《Boletín Técnico》、《计算机学报》和《电子学报》等重要学术刊物上发表，在国际会议上发表论文2篇，相关成果获2016年度安徽省科技进步（自然科学类）三等奖１项。获批软件著作权2项，申请国家发明专利5项（已授权１项）。项目组承办第十五届全国Petri网理论及应用学术会议１次。培养青年教师２人，毕业硕士生3人。

项目成果

期刊论文数量（31）
专著数量（0）
科研奖励数量（1）
会议论文数量（2）
专利数量（5）
基于因果行为轮廓的多重变迁集行为一致性分析
  • DOI：
    10.16772/j.cnki.1673-1409.2017.13.011
  • 发表时间：
    2017
  • 期刊：
    长江大学学报(自科版)
  • 影响因子：
    --
  • 作者：
    谢苗苗;刘祥伟;王丽丽
  • 通讯作者：
    王丽丽
基于Petri网行为包含和行为继承的业务流程变化域传播分析
  • DOI：
    --
  • 发表时间：
    2016
  • 期刊：
    计算机科学
  • 影响因子：
    --
  • 作者：
    方贤文;赵芳;刘祥伟;方欢
  • 通讯作者：
    方欢
基于拟间接依赖的过程模型挖掘方法
  • DOI：
    --
  • 发表时间：
    2016
  • 期刊：
    计算机科学
  • 影响因子：
    --
  • 作者：
    化佩;方贤文;刘祥伟
  • 通讯作者：
    刘祥伟
基于通信行为轮廓的手机充值流程挖掘方法
  • DOI：
    10.13815/j.cnki.jmtc(ns).2017.04.003
  • 发表时间：
    2017
  • 期刊：
    牡丹江师范学院学报(自然科学版)
  • 影响因子：
    --
  • 作者：
    谢苗苗;刘祥伟;王丽丽
  • 通讯作者：
    王丽丽
A pre-evolutionary advisor list generation strategy for robust defensing reputation attacks
用于稳健防御声誉攻击的进化前顾问列表生成策略
  • DOI：
    10.1016/j.knosys.2016.03.015
  • 发表时间：
    2016-07
  • 期刊：
    Knowledge-based Systems
  • 影响因子：
    8.8
  • 作者：
    Shujuan Ji;Haiyan Ma;Shulian Zhang et al
  • 通讯作者：
    Shulian Zhang et al

数据更新时间：{{ journalArticles.updateTime }}

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi || "--"}}
  • 发表时间：
    {{ item.publish_year || "--" }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor || "--"}}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}

数据更新时间：{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.authors }}

数据更新时间：{{ monograph.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.authors }}

数据更新时间：{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.authors }}

数据更新时间：{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.authors }}

数据更新时间：{{ patent.updateTime }}

其他文献

6-烷氧基-2-丙硫基-8-氮杂嘌呤核苷的合成及抗血小板凝聚活性评价
  • DOI：
    10.6023/cjoc201303017
  • 发表时间：
    2013-04
  • 期刊：
    有机化学
  • 影响因子：
    --
  • 作者：
    邓聪迩;李顺来;刘祥伟;杜洪光
  • 通讯作者：
    杜洪光
基于行为轮廓的业务流程隐变迁挖掘方法
  • DOI：
    10.11896/jsjkx.180901654
  • 发表时间：
    2019
  • 期刊：
    计算机科学
  • 影响因子：
    --
  • 作者：
    宋健;方贤文;王丽丽;刘祥伟
  • 通讯作者：
    刘祥伟
基于行为片段模式的流程模型Petri网交互变化区域的责任分析
  • DOI：
    --
  • 发表时间：
    2014
  • 期刊：
    计算机科学
  • 影响因子：
    --
  • 作者：
    杨艳;方贤文;刘祥伟
  • 通讯作者：
    刘祥伟
三维数字化重建10~12岁儿童胸椎关节突的形态特征
  • DOI：
    10.3969/j.issn.2095-4344.2016.44.012
  • 发表时间：
    2016
  • 期刊：
    中国组织工程研究
  • 影响因子：
    --
  • 作者：
    刘祥伟;王星;张少杰;李志军;刘颖;史君
  • 通讯作者：
    史君
10 ~ 12 岁儿童胸椎关节突关节角三维数字化研究及临床意义
  • DOI：
    --
  • 发表时间：
    2017
  • 期刊：
    局解手术学杂志
  • 影响因子：
    --
  • 作者：
    刘祥伟;王星;张少杰;李筱贺;史君;胡哲;李志军
  • 通讯作者：
    李志军

其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi || "--" }}
  • 发表时间：
    {{ item.publish_year || "--"}}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor || "--" }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}
empty
内容获取失败，请点击重试
重试联系客服
title开始分析
查看分析示例
此项目为已结题，我已根据课题信息分析并撰写以下内容，帮您拓宽课题思路：

AI项目思路

AI技术路线图

刘祥伟的其他基金

面向过程的可信Web服务组合方法及应用研究
  • 批准号：
    61340003
  • 批准年份：
    2013
  • 资助金额：
    9.0 万元
  • 项目类别：
    专项基金项目

相似国自然基金

{{ item.name }}
  • 批准号：
    {{ item.ratify_no }}
  • 批准年份：
    {{ item.approval_year }}
  • 资助金额：
    {{ item.support_num }}
  • 项目类别：
    {{ item.project_type }}

相似海外基金

{{ item.name }}
{{ item.translate_name }}
  • 批准号：
    {{ item.ratify_no }}
  • 财政年份：
    {{ item.approval_year }}
  • 资助金额：
    {{ item.support_num }}
  • 项目类别：
    {{ item.project_type }}
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了

AI项目解读示例

课题项目：调控A型流感病毒诱导IFN-β表达的机制研究

AI项目摘要：

本研究聚焦于TRIM2蛋白在A型流感病毒诱导的IFN-β表达中的调控机制。A型流感病毒是全球性健康问题，其感染可导致严重的呼吸道疾病。IFN-β作为关键的抗病毒因子，其表达水平对抗病毒防御至关重要。然而，TRIM2如何调控IFN-β的表达尚未明确。本研究假设TRIM2通过与病毒RNA或宿主因子相互作用，影响IFN-β的产生。我们将采用分子生物学、细胞生物学和免疫学方法，探索TRIM2与A型流感病毒诱导IFN-β表达的关系。预期结果将揭示TRIM2在抗病毒免疫反应中的作用，为开发新的抗病毒策略提供理论基础。该研究对理解宿主抗病毒机制具有重要科学意义，并可能对临床治疗流感病毒感染提供新的视角。

AI项目思路：

科学问题：TRIM2如何调控A型流感病毒诱导的IFN-β表达？
前期研究：已有研究表明TRIM2参与抗病毒反应，但其具体机制尚不明确。
研究创新点：本研究将深入探讨TRIM2在IFN-β表达中的直接作用机制。
技术路线：包括病毒学、分子生物学、细胞培养和免疫检测技术。
关键技术：TRIM2与病毒RNA的相互作用分析，IFN-β启动子活性检测。
实验模型：使用A型流感病毒感染的细胞模型进行研究。

AI技术路线图

        graph TD
          A[研究起始] --> B[文献回顾与假设提出]
          B --> C[实验设计与方法学准备]
          C --> D[A型流感病毒感染模型建立]
          D --> E[TRIM2与病毒RNA相互作用分析]
          E --> F[TRIM2对IFN-β启动子活性的影响]
          F --> G[IFN-β表达水平测定]
          G --> H[TRIM2功能丧失与获得研究]
          H --> I[数据收集与分析]
          I --> J[结果解释与科学验证]
          J --> K[研究结论与未来方向]
          K --> L[研究结束]
关闭
close
客服二维码