A Rete-based process modeling verification method

【Author】

Liang Zhao Department of Computer Science and Technology Shandong University JiNan China 250101 Qing Yao Department of Computer Science and Technology Shandong University JiNan China 250101

【Abstract】

Aim at the needs of the real-time correctness verification for process modeling methods such as BPMN,UML etc.this paper proposed a Rete-based business process verification method, it solves the shortcomings of the traditional verification methods such as EPC,petri-nets that can only meet the requirements of the correctness but lack of the real-time requirements.

【Keywords】

Rete ;rule ;process

References

To explore the background and basis of the node document

Springer Journals Database

Total: 6 articles

  • [1] YAO Qing,HONG Yu-ke,WANG Hai-yang(School of Computer Science & Technology,Shandong University,Jinan 250100,China), Modeling of changeable business process based on process algebra, Computer Integrated Manufacturing Systems,
  • [2] Wang Chao;Zhong ZhiNong, Workflow Modeling Method for Business—Oriented Workflow Customization, Journal of Computer Research and Development, Journal of Computer Research and Development (Journal of Computer Research and Development)
  • [3] Li Lin, Design and application of workflow modeling based on extended-directed graph, Computer Applications,
  • [4] Charles L Forgy, Pete:a fast Algorithm for the many pattern/many object pattern match problem,

More>>

Similar documents

Documents that have the similar content to the node document

More>>