selected publications chapter A Service-Oriented UML Profile with Formal Support. Lecture Notes in Computer Science. 2009 AGILE: Software Architecture for Mobility. Springer eBooks. 1-33. 2003