M. Birna van Riemsdijk, Rolf Hennicker, Martin Wirsing, and Andreas Schroeder. Service specification and matchmaking using description logic: An approach based on institutions. In 12th International Conference on Algebraic Methodology and Software Technology (AMAST'08), volume 5140 of LNCS, pages 392–406. Springer-Verlag, 2008.
Philip Mayer, Andreas Schroeder, and Nora Koch. A Model-Driven Approach to Service Orchestration. In Proc. of Int.Conf. on Services Computing (SCC 2008), volume 2, pages 533–536, Honolulu, USA, July 2008. IEEE Computer Society. (doi:10.1109/SCC.2008.91)
Martin Wirsing, Matthias Hoelzl, Nora Koch, Philip Mayer, and Andreas Schroeder. Service Engineering: The Sensoria Model Driven Approach. In Proceedings of Int. Conf. of Software Engineering Research, Management and Applications (SERA 2008), Prague, Czech Republic, August 2008. IEEE Computer Society.
Martin Wirsing, Allan Clark, Stephen Gilmore, Matthias Hölzl, Alexander Knapp, Nora Koch, and Andreas Schroeder. Semantic-Based Development of Service-Oriented Systems. In E. Najn et al., editor, Proc. 26th IFIP WG 6.1 International Conference on Formal Methods for Networked and Distributed Systems (FORTE'06), Paris, France, LNCS 4229, pages 24–45. Springer Verlag, September 2006.