论文标题
BPMN中的合作与编舞符合条件
Collaboration vs. choreography conformance in BPMN
论文作者
论文摘要
BPMN 2.0标准是一种广泛使用的半正式符号，可以从不同的角度模拟分布式信息系统。该标准可提供一组图表，以代表此类观点。编排图代表有关系统组件之间相互作用的全局约束，而无需暴露其内部结构。相反，协作图允许将组件的内部行为描述为与他人集成时，也称为过程，以代表分布式系统的可能实现。 本文提出了一种设计方法和一个正式框架，用于检查编舞反对协作的一致性。特别是，本文介绍了BPMN编排和协作图的直接正式操作语义。通过在定义的语义之上定义的两个关系提出一致性方面。该方法受益于我们开发的名为C4的工具的可用性，该工具允许在实际情况下实验理论框架。这里的目的是使被剥削的正式方法透明到系统设计人员，从而促进了从业者的更广泛的采用。
The BPMN 2.0 standard is a widely used semi-formal notation to model distributed information systems from different perspectives. The standard makes available a set of diagrams to represent such perspectives. Choreography diagrams represent global constraints concerning the interactions among system components without exposing their internal structure. Collaboration diagrams instead permit to depict the internal behaviour of a component, also referred as process, when integrated with others so to represent a possible implementation of the distributed system. This paper proposes a design methodology and a formal framework for checking conformance of choreographies against collaborations. In particular, the paper presents a direct formal operational semantics for both BPMN choreography and collaboration diagrams. Conformance aspects are proposed through two relations defined on top of the defined semantics. The approach benefits from the availability of a tool we have developed, named C4, that permits to experiment the theoretical framework in practical contexts. The objective here is to make the exploited formal methods transparent to system designers, thus fostering a wider adoption by practitioners.
