Checking the Conformance of Orchestrations with Respect to Choreographies in Web Services: A Formal Approach

被引：0

作者：

Diaz, Gregorio ^{[1
]}

Rodriguez, Ismael ^{[2
]}

机构：

[1] Univ Castilla La Mancha, E-13071 Ciudad Real, Spain

[2] Univ Complutense Madrid, Madrid, Spain

来源：

FORMAL TECHNIQUES FOR DISTRIBUTED SYSTEMS, PROCEEDINGS | 2009年 / 5522卷

关键词：

SYSTEMS;

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

In this paper we present a formal model to represent, orchestrations and choreographies, and we provide some semantic relations to detect their conformance, i.e., whether a set, of orchestrations representing some web services leads to the overall communications described in a choreography.

引用

页码：231 / +

页数：2

共 7 条

[1] Trace and testing equivalence on asynchronous processes [J].

Boreale, M ;

De Nicola, R ;

Pugliese, R .

INFORMATION AND COMPUTATION, 2002, 172 (02) :139-164

[2]

BRAVETTI M, 2009, LNCS, V5387

[3]

Castellani I, 1998, LECT NOTES COMPUT SC, V1530, P90

[4] Multiparty Asynchronous Session Types [J].

Honda, Kohei ;

Yoshida, Nobuko ;

Carbone, Marco .

JOURNAL OF THE ACM, 2016, 63 (01)

[5] Conformance testing with labelled transition systems: Implementation relations and test generation [J].

Tretmans, J .

COMPUTER NETWORKS AND ISDN SYSTEMS, 1996, 29 (01) :49-79

[6]

Tretmans J, 1999, LECT NOTES COMPUT SC, V1664, P46

[7]

van der Aalst WMP, 2008, LECT NOTES COMPUT SC, V4937, P139

← 1 →