Katharina Hahn Heinz Schweppe Exploring Transactional Service Properties for Mobile Service Composition. 39-52 2009 MMS conf/mms/2009 db/conf/mms/mms2009.html#HahnS09