Wil M. P. van der Aalst Arjan J. Mooij Christian Stahl Karsten Wolf Service Interaction: Patterns, Formalization, and Analysis. 42-88 2009 SFM http://dx.doi.org/10.1007/978-3-642-01918-0_2 conf/sfm/2009 db/conf/sfm/sfm2009.html#AalstMSW09