Pi calculus-based bitransformation of state-driven model and flow-driven model
Pi calculus-based bitransformation of state-driven model and flow-driven model
复制标题
基于Pi演算的状态驱动模型和流驱动模型的双向变换
DOI：
10.1504/ijbpim.2006.012633
复制
发表时间：
2006
期刊：
影响因子：
--
通讯作者：
Cheng Wu
中科院分区：
文献类型：
--
作者：
Ke Xu;Y. Liu;Jun Zhu;Cheng Wu
状态驱动和流驱动的流程建模范例在业务流程建模领域都得到了广泛的实践。从它们的语法结构和预期的应用范围来看，它们都有很大的不同。但我们的一个发现是，在各种真实案例中，它们中的任何一个通常都可以被另一个取代。本文的理论研究表明，这两种范式在表达能力上是相等的，它们可以相互转换而不会造成任何语义损失。这项工作的动机是建议研究人员减少关于哪种方法更强大的争论，更多地关注探索更好的方法来结合不同风格的模型来解决实际问题。本文利用PI演算的(双)模拟，证明了两种范式的二次变换的正确性。以一个具体的银行场景为例，给出了一个由状态驱动的ATM机和流驱动的取款流程组成的混合业务模型，展示了如何将位转换的结果应用于将混合业务模型集成、理解和验证到实际业务案例中。
State- and flow-driven process modelling paradigms are both widely practised in the business process modelling domain. From the perspective of both from their syntax structure and intentioned application scopes, they are quite different. But one of our findings is that any one of them usually can be replaced by the other in a variety of real cases. It is shown with theoretical approach in this work that these two paradigms are equal in expressiveness power in that they can be mutually transformed into each other without any semantic losses. The motivation of this work is to suggest that researchers argue less about which method is more powerful and pay more attention to the exploration of better ways to combine different style models in addressing real problems. In this paper, (bi) imulation of Pi calculus is applied to prove the correctness of the bitransformation of two paradigms. A hybrid business model composed of a state-driven ATM machine and flow-driven withdraw processes is also illustrated with a concrete banking scenario to show how the result of bitransformation can be applied to facilitate the integration, understanding and verification of hybrid business models into real business cases.