selected publications chapter A Service-Oriented UML Profile with Formal Support. Lecture Notes in Computer Science. 2009