Bridging the Gap between Interaction- and Process-Oriented Choreographies

Bridging the Gap between Interaction- and Process-Oriented Choreographies
复制标题

弥合面向交互和面向流程的编排之间的差距

DOI:
--
复制
发表时间:
2008
期刊:
2008 Sixth IEEE International Conference on Software Engineering and Formal Methods
影响因子:
--
通讯作者:
G. Zavattaro
G. Zavattaro
中科院分区:
--
文献类型:
--
作者:
Ivan Lanese;C. Guidi;F. Montesi;G. Zavattaro

文献摘要

被引文献

相似文献

在面向服务的计算中,编排语言用于指定多方服务组合。遵循了两种主要方法:WS-CDL的面向交互的方法和BPEL 4Chor的面向过程的方法。我们调查他们之间的关系。特别是,我们认为面向交互的编排从同步到异步通信的几种解释。根据这些解释,我们的特点类的面向交互的编排有一个面向过程的对应,我们正式的概念之间的等价性初始面向交互的编排和相应的面向过程的。
In service oriented computing, choreography languages are used to specify multi-party service compositions. Two main approaches have been followed: the interaction-oriented approach of WS-CDL and the process-oriented approach of BPEL4Chor. We investigate the relationship between them. In particular, we consider several interpretations for interaction-oriented choreographies spanning from synchronous to asynchronous communication. Under each of these interpretations we characterize the class of interaction-oriented choreographies which have a process-oriented counterpart, and we formalize the notion of equivalence between the initial interaction-oriented choreography and the corresponding process-oriented one.