论文标题
迈向可完善的编舞
Towards Refinable Choreographies
论文作者
论文摘要
我们在编舞的背景下调查了改进。我们介绍了可改进的全局编排，允许对协议的规定进行指定，这些协议可以将其相互作用改进到实际协议中。任意改进可能会破坏良好的形式，这是保证可以实施协议的足够条件。我们介绍了一门打字学科，该学科实施了打字编排的良好形式。然后，我们在公理方案方面揭示了可改善曲线及其可接受的改进之间的关系。
We investigate refinement in the context of choreographies. We introduce refinable global choreographies allowing for the underspecification of protocols, whose interactions can be refined into actual protocols. Arbitrary refinements may spoil well-formedness, that is the sufficient conditions that guarantee a protocol to be implementable. We introduce a typing discipline that enforces well-formedness of typed choreographies. Then we unveil the relation among refinable choregraphies and their admissible refinements in terms of an axiom scheme.
