摘要
业务流程的实时性是业务流程可靠运行的重要指标,实时一致性分析是保证业务流程高效执行的关键。针对分布式业务流程对实时性的要求,提出时间业务流程图的概念,并规定协作业务流程的组合建模方法。定义时间业务流程图的结构正确性,并给出正确性分析方法。在结构正确的基础上,对业务流程的实时性进行分析,判断协作业务流程的时间执行是否满足一致性,从而为保证业务流程的实时可信提供了一种有效的技术途径。
An important indicator of credible business processes is the real-time property, and real--time consistency analysis is key to ensure the business processes＇ efficient execution. To deal with this issue, this paper proposes the concept of Time Business Process Graph, and provides the modeling method for collaborative business process. This paper defines the structure correctness of Time Business Process Graph, and the analysis method is given. Based on the structure correctness, the real-time analysis method is given to determine the time consistency of the collaborative business process, so as to provide an effective way to ensure real--time business process credible.
出处
《计算技术与自动化》
2013年第3期77-80,共4页
Computing Technology and Automation
关键词
业务流程
可信
实时性
一致性
business processes
credible
real-time
consistency
