Hahn, KatharinaSchweppe, Heinz F.Bick, MarkusBreunig, MartinHöpfner, Hagen2019-06-032019-06-032009978-3-88579-240-6https://dl.gi.de/handle/20.500.12116/23256Service oriented computing provides suitable means to technically support distributed collaboration of heterogeneous devices such as in mobile environments. However, wireless communication links are unstable. When supporting collaboration in such environments, failures have to be optimistically coped with in order to still provide suitable correctness guarantees and avoid inconsistent system states. In this paper, we explore transactional properties of services in order to reasonably integrate transactional coordination with composition of services in mobile networks and provide suitable correctness guarantees.enText/Conference Paper1617-5468