Towards the composition of Ad Hoc B2B Applications: Semantics, Properties and Complexity Management