Springer, Berlin, 2005. J. Widom and S. Ceri (Eds). Active Database Systems: Triggers and Rules for Advanced Database Processing. Morgan Kaufmann, San Francisco, USA, 1996. 14. J. E. Y. Rossebo and R. K. Runde. Specifying service composition using UML 2.x and composition policies. Technical Report 378, Department of Informatics, University of Oslo, 2009. 15. . Haugen and K. Stolen. STAIRS-Steps to analyze interactions with refinement semantics. In UML 2003, Vol. 2863, LNCS, pp. 388-402. Springer, Berlin, 2003. 16. R. K. Runde. STAIRS-Understanding and developing specifications expressed as UML interaction diagrams. PhD thesis, University of Oslo, 2007. 17. J. Whittle and J. Schumann. Generating statechart designs from scenarios. In Proceedings, 22nd IEEE International Conference on Software Engineering (ICSE-00), pp. 314-323. Limerick, Ireland, 4-11 June 2000. 18. F. Seehusen and K. Stolen. Transformational approach to facilitate monitoring of high level policies. Technical Report All356, SINTEF Information and Communication Technologies, 2008. 19. F. A. Kraemer. Rapid service development for service frame. Masters thesis, University of Stuttgart, 2003. 20. F. A. Kraemer. Arctis and Ramses: Tool suites for rapid service engineering. In Proc. of NIK-2007 (Norsk informatik konferanse). Oslo Norway, Tapir Akademisk Forlag, 2007. 21. R. T. Sanders, H. N. Castejón, F. Kraemer, and R. Braek. Using UML 2.0 collabora- tions for compositional service specification. In MoDELS 2005, Vol. 3530, LNCS, pp. 460-475. Springer, Berlin, 2005. 22. H. N. Castejón and R. Braek. Formalizing collaboration goal sequences for service choreography. In 26th IFIP WG 6.1 Int. Conf. on Formal Methods for Networked and Distributed Systems (FORTE'06), Vol. 4229, LNCS, pp. 275-291. Springer, Berlin, 2006. 23. H. N. Castejón, R. Brak, and G. von Bochmann. Realizability of collaboration-based service specifications. In Proc. of the Asia-Pacific Software Engineering Conference (APSEC 2007). IEEE Computer Society, 2007, Aichi. 24. G. von Bochmann. D