Abstract | ||
---|---|---|
A choreography describes the interaction between services. It may be used for specication purposes, for instance serving as a contract in the design of an inter-organizational business process. Typically, not all describable interactions make sense which motivates the study of the realizability problem for a given choreography. In this paper, we show that realizability can be traced back to the problem of controllability which asks whether a service has compatible partner processes. This way of thinking makes algorithms for controlla- bility available for reasoning about realizability. In addition, it suggests alternative denitions for realizability. We discuss several proposals for dening realizability which dier in the degree of coverage of the specied interaction. |
Year | DOI | Venue |
---|---|---|
2009 | 10.1007/978-3-642-14458-5_7 | Web Services and Formal Methods |
Keywords | DocType | Volume |
specification purpose,compatible partner process,realizability problem,inter-organizational business process,describable interaction,alternative definition,defining realizability,specified interaction | Conference | 6194 |
ISSN | ISBN | Citations |
0302-9743 | 3-642-14457-8 | 11 |
PageRank | References | Authors |
0.65 | 19 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Niels Lohmann | 1 | 999 | 49.45 |
Karsten Wolf | 2 | 757 | 42.53 |