ucture Specification, Formal/2009-02-02. Object Manage- ment Group, Needham, MA, USA, 2009. 2. R. Sanders. Collaborations, semantic interfaces and service goals: A way forward for service engineering. PhD thesis, NTNU, 2007. 3. J. E. Y. Rossebo and R. Braek. Using composition policies to manage authentication and authorization patterns and services. In The Third Int. Conf. on Availability, Reliability and Security (ARES 2008), pp. 597-603. IEEE Computer Society, 2008. 4. J. E. Y. Rossebo and R. K. Runde. Specifying service composition using UML 2.0 and composition policies. In MoDELS 2008, Vol. 5301, LNCS, pp. 520-536. Springer, Berlin, 2008. 5. J. E. Y. Rossebo. Dynamic composition of services-A model-based approach. PhD thesis, NTNU, 2009. 6. ITU-T. Next-Generation Networks-Frameworks and Functional Architecture Models General Principles and General Reference Model for Next Generation Networks. ITU-T Recommendation Y.2011. Geneva, International Telecommunication Union, 2004. How to Model Dynamic Service Composition Using UML 2.x 7. J. E. Y. Rossebo and R. Brake. Using composition patterns to manage authentication and authorization patterns and services. Avantel Technical Report 3/2008, NTNU, 2008. 8. R. Montanari, E. Lupu, and C. Stefanelli. Policy-based dynamic reconfiguration of mobile-code applications. IEEE Computer, 37(7):73-80, 2004. 9. J. Keeney. Completely unanticipated dynamic adaptation of software. PhD thesis, Trinity College, University of Dublin, 2004. 10. J. E. Y. Rossebo, R. Brak, and R. K. Runde. Methodology for policy enabled dynamic composition of services. Technical Report AVANTEL 2/2009, Department of Telematics, Norwegian University of Science and Technology, 2009. 11. F.B. Engelhardtsen and A. Prinz. Application of stuck-free conformance to service-role composition. The 5th Workshop on System Analysis and Modelling (SAM 2006), Kaiserslautern, Germany, June 2006. 12. J. Floch and R. Brake. A compositional approach to service validation. In Proc. 12th Int. SDL Forum (SDL 2005), pp. 281-297. 