摘要
基于Petri网行为轮廓理论,通过研究模型之间的行为依赖关系,分析模型的控制依赖关系和数据依赖关系,研究在数据流约束下模型的一致性,优化疑似变化区域,找出模型的最小变化域.业务流程实例分析证明,该方法有效.
Based on the behavioral profile theory of Petri nets,the control dependences and data dependences of the models are found and analyzed by studying the behavioral dependencies relationship among models.Study the consistency of the model under the constraint of data flow,optimize the suspected change region,and find out the minimum change region of the model.Through analyzing the example of the business process,the effectiveness of the method is showed.
作者
方娜
刘祥伟
FANG Na;LIU Xiang-wei(Anhui University Of Science And Technology,Information and Computing Sciences,Huainan,232001,China)
出处
《牡丹江师范学院学报（自然科学版）》
2018年第2期15-20,共6页
Journal of Mudanjiang Normal University：Natural Sciences Edition
基金
国家自然科学基金项目(61402011)
安徽省自然科学基金项目(1508085MF111)
关键词
业务流程
行为轮廓
依赖关系
控制流
数据流
business process
behavioural profile
dependence relationship
control flow
dataflow
