Formalising Message Exchange Patterns using BPEL Light | IEEE Conference Publication | IEEE Xplore