H.Foster, A.Mukhija, D.S.Rosenblum, and S.Uchitel, Specification and Analysis of Dynamically-Reconfigurable Service Architectures 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).