期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

基于行为轮廓的系统故障变化域定位方法研究

Researching the Method of Locating Change Region of System Fault based on Behavioral Profiles
下载PDF
导出
摘要 在业务流程管理中,系统的故障是系统行为发生变化的重要原因,如何定位系统故障的影响范围是业务流系统的一项重要研究内容。本文基于Petri网的行为轮廓理论,对自由选择网进行分析和研究,通过捕捉系统行为的事件轨迹集合,对比源模型中变迁间的弱序关系,提出自由选择网故障变化域定位算法AFCRGL;通过分析流程中的行为变化,进一步精确寻找变化域的位置,可以控制并降低变化域对流程模型整体的影响。最后以一个柔性制造Petri网系统为例,验证本文提出方法的有效性。 In business process management,the system fault is an important reason for the change of the system behavior,and how to locate the influence region of the system fault is an important research content of the business workflow system. In this paper,by capturing the event trace set of system behavior,comparing the weak order relation of the original model transitions,and proposing the Algorithm for Fault Change Region Location in free-choice net（ AFCRGL） based on behavioral profiles,free-choice net is analyzed and studied.Through the analysis of the workflow in the behavior change of process,further refine search the position of domain changes region,and can control to reduce the influence of changes in the domain of process model. Finally,the effectiveness of the proposed method is verified by an example of a flexible manufacturing Petri net system.
作者 张源 方欢
机构地区 安徽理工大学理学院
出处 《长春师范大学学报》 2016年第10期52-58,共7页 Journal of Changchun Normal University
基金 安徽省自然科学基金项目"部分可观系统故障诊断的Petri网理论及在行为变化诊断中的应用"(1608085QF149) 国家自然科学基金项目"基于Petri网行为轮廓的业务流程交互下变化传播机理及控制方法研究"(61472003) 国家自然科学基金项目"面向过程的可信Web服务组合方法及应用研究"(61340003) 国家自然科学基金项目"基于行为Petri网的业务系统变化域分析方法及应用研究"(61402011)
关键词 变化域 故障变迁 弱序关系 行为轮廓 PETRI网 change region fault transition weak order relation behavioral profiles Petri net
分类号 TP301 [自动化与计算机技术—计算机系统结构]
  • 相关文献

参考文献20

  • 1Christian Gerth ,Jocben M. Ktister, Gregor Engels. language - Independent change management of process models [ C ]. Den- ver:12th International Conference on Model Driven Engineering Languages and Systems,2009:152 -166.
  • 2Weber B, Rinderle S, Reichert M. Changepattems and change support features in process - aware information systems [ C ]. In 19th International Conference, Heidelberg: Springer Berlin Heidelberg,2007,4495:574 - 588.
  • 3Weidlich M, Weske M, Mendling J. Changepropagation in process models using behavioral profiles [ C ]. In 2009 IEEE Interna- tional Conference on Services Computing, Bangalore : IEEE,2009 : 33 - 40.
  • 4Weidlich M, Mendling J, Weske M. Propagatingchanges between aligned process models [ J ]. The Journal of Systems and Soft- ware,2012,85 (8) :1885 - 1898.
  • 5Ktister J M, Gerth C, FOrster A, et al. Detecting and resolving process model differences in the absence of a change log[ C ]. Pro- eeedings of the 6th International Conference on Business Process Management,Springer- Verlag,2008:244- 260.
  • 6S. Bohner, R. Arnold. Software change impact analysis [ C ]. Proceedings of IEEE Computer Society Press, Los Alamitos, CA, USA, 1996.
  • 7R. S. Arnold, S. A. Bohner. Impact analysis - towards a framework for comparison [ C ]. Proceedings of IEEE International Con- ferenee on Software Maintenance, 1993:292 - 301.
  • 8J. P. Loyall, S. A. Mathisen, C. P. Satterthwaite. Impact analysis and change management for avionics software [ C ]. Proceedings of IEEE National Aerospace and Electronics Conference, 1997:740 - 747.
  • 9S. L. P fleeger. Software engineering: theory and practice [ C ]. Prentice Hall, Englewood Cliffs, N J, 1998.
  • 10R. J. Turver, M. Munro. Early impact analysis technique for software maintenance [ J ]. Journal of Software Maintenance : Re- search and Practice, 1994,6( 1 ) :35 - 52.

二级参考文献68

  • 1Sampath M,Sengupta R,Lafortune S,et al.Diagnosability of discrete-event systems[J].IEEE Trans.Autom.Control,1995,40(9):1555-1575.
  • 2Sampath M,Sengupta R,Lafortune S,et al.Failure diagnosis using discrete-event models[J].IEEE Trans.Control Syst.Technol.,1996,4(2):105-124.
  • 3Ushio T,Onishi I,Okuda K.Fault detection based on Petri net models with faulty behaviors[C] //Proceedings of 1998 IEEE International Conference on Systems,Man and Cybernetics.1998:113-118.
  • 4Cabasino M P,Giua A,Lafortune S,et al.A new approach for diagnosability analysis of Petri nets using verifier nets[J].IEEE Transactions on Automatic Control,2012,57(12):3104-3117.
  • 5Cabasino M P,Giua A,Lfortune S,et al.Diagnosability anslysis of unbounded Petri nets[C] //Joint 48 IEEE Conference on Decision and Control and 28th Chinese Control Conference.Shanghai,China,Dee.2009:1267-1272.
  • 6Cabasino M P,Giua A,Lfortune S,et al.Diagnosability of bounded Petri nets[C] //Joint 48th IEEE Conference on Decision and Control and 28th Chinese Control Conference.Shanghai,China,Dec.2009:1254-1260.
  • 7Jiroveanu G,Boel R K.The diagnosability of Petri net models using minimal explanations[J].IEEE Transactions on Automatic Control,2010,55(7):1663-1668.
  • 8Ranirez-Trevino A,Ruiz-Beltrán E,Rivera-Rangel I,et al.Diagnosability of discrete event systems.A Petri net based approach[C] //Proceedings of the 2004 IEEE International Conference on Robotics & Automation.New Orleans,LA,2004:541-546.
  • 9Ramirez-Trevino A,Ruiz-Beltran E,Aramburo-Lisarraga J,et al.Structural diagnosability of DES and design of reduced Petri net diagnosers[J].IEEE Transactions on System,Man and Cybemeties,A,2012,42(2):416-429.
  • 10Wen Yuan-lin,Jeng M D.Dingnosability of Petri nets[C] //2004IEEE International Conference on Systems,Man and Cybernetics.2004:4891-4896.

共引文献14

长春师范大学学报
2016年 第10期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部