The variety of E-businesses: E-commerce, E-logistics, E-procurement, E-government and collaborative services require the integration of software components that interact at run time in accordance with contracts and service level agreements both within and across organizational boundaries. Designing the complex dynamics and of these systems requires that software engineers use sophisticated approaches to modelling and validating system interaction protocols. The capabilities offered by The Cloud to host large data volumes are enabling business intelligence applications and analysis non-functional requirements that may require new thinking about behaviour and service modelling. These trends require suitable semantics for the composition and combination of behavioural models and modelling techniques so that the various models used to describe the behaviour of a complex system can be put together.