A Service-Oriented UML Profile with Formal Support.

Authors :: Bruni, Roberto
Hölzl, Matthias
Koch, Nora
Lluch Lafuente, Alberto
Mayer, Philip
Montanari, Ugo
Schroeder, Andreas
Wirsing, Martin
Source :: Service-oriented Computing; 2009, p455-469, 15p
Publication Year :: 2009
Abstract: We present a UML Profile for the description of service oriented applications. The profile focuses on style-based design and reconfiguration aspects at the architectural level. Moreover, it has formal support in terms of an approach called Architectural Design Rewriting, which enables formal analysis of the UML specifications. We show how our prototypical implementation can be used to analyse and verify properties of a service oriented application. [ABSTRACT FROM AUTHOR]