Realizability of interaction models.
Gero Decker · 2009
Abstract. In scenarios where a set of independent business partners engage in complex conversations, interaction models are a means to specify the allowed interaction behavior from a global perspective. Atomic interactions serve as basic building blocks and behavioral dependencies are defined between them. The notion of realizability centers around the question whether there exist a set of roles that collectively realize the specified behavior. This notion has been studied in the literature in different flavors. This paper aims at providing an overarching framework for realizability. 1