R.Bruni, H.Foster, A.L. Lafuente, U.Montanari and E.Tuosto, A Formal Support to Business and Architectural Design for Service-Oriented Systems to appear in Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA project on Software Engineering for Service-Oriented Computing, M.Wirsing and M.Hölzl (Eds.), Springer-Verlag Berlin and Heidelberg GmbH & Co. (2010).