Jianxiong Pang: Supporting the safe composition of services : an architecture based on separation of concerns and interaction resolution. Lancaster University, UK 2009