当前位置: X-MOL 学术arXiv.cs.SE › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Towards Refinable Choreographies
arXiv - CS - Software Engineering Pub Date : 2020-09-17 , DOI: arxiv-2009.07991
Ugo de'Liguoro (Universit\`a di Torino), Hern\'an Melgratti (Universidad de Buenos Aires), Emilio Tuosto (Gran Sasso Science Institute)

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.

中文翻译:

走向可改进的编舞

我们在编舞的背景下研究细化。我们引入了可细化的全局编排,允许协议的规范化,其交互可以被细化为实际的协议。任意改进可能会破坏格式良好,这是保证协议可实施的充分条件。我们引入了一种强制类型编排的格式良好的类型规则。然后,我们根据公理方案揭示可精炼的编排与其可接受的精炼之间的关系。
更新日期:2020-09-18
down
wechat
bug