Choreographies in the wild
Choreographies in the wild
复制标题
野外编舞
DOI：
10.1016/j.scico.2014.11.015
复制
发表时间：
2015
影响因子：
1.3
通讯作者：
Bartoletti M
中科院分区：
文献类型：
--
作者：
Bartoletti M
我们研究了在分布式场景中使用编排，在真实的世界中，相互不信任（可能是不诚实的）的参与者可能会不忠实于他们的预期行为。在我们的模型中，每个参与者将其承诺的行为视为契约。参与者可以通过多方会议进行互动，当他们的合同允许合成舞蹈时创建。我们表明，诚实的参与者（始终遵守他们的合同）的系统享受进步和会话保真度。
We investigate the use of choreographies in distributed scenarios where, as in the real world, mutually distrusting (and possibly dishonest) participants may be unfaithful to their expected behaviour. In our model, each participant advertises its promised behaviour as acontract. Participants may interact through multiparty sessions, created when their contracts allow to synthesise achoreography. We show that systems ofhonestparticipants (which always adhere to their contracts) enjoyprogressandsession fidelity.
登录
查看更多内容
DOI：
10.1145/1328438.1328472
发表时间：
2008-01
期刊：
--
影响因子：
--
作者：
Kohei Honda;N. Yoshida;Marco Carbone
通讯作者：
Kohei Honda;N. Yoshida;Marco Carbone
多方会话网络
DOI：
--
发表时间：
2014
期刊：
Trustworthy Global Computing
影响因子：
--
作者：
L. Fossati;Raymond Hu;N. Yoshida
通讯作者：
N. Yoshida
弥合面向交互和面向流程的编排之间的差距
DOI：
--
发表时间：
2008
期刊：
2008 Sixth IEEE International Conference on Software Engineering and Formal Methods
影响因子：
--
作者：
Ivan Lanese;C. Guidi;F. Montesi;G. Zavattaro
通讯作者：
G. Zavattaro
影响因子：
0.5
作者：
Coppo, Mario;Dezani-Ciancaglini, Mariangiola;Padovani, Luca
通讯作者：
Padovani, Luca
在 Maude 中建模和验证面向合同的系统
DOI：
--
发表时间：
2014
期刊：
Workshop on Rewriting Logic and Its Applications
影响因子：
--
作者：
Massimo Bartoletti;Maurizio Murgia;A. Scalas;R. Zunino
通讯作者：
R. Zunino