relation: http://eprints.imtlucca.it/146/
title: A Service-Oriented UML Profile with Formal Support
creator: Bruni, Roberto
creator: Hölzl, Matthias
creator: Koch, Nora
creator: Lluch-Lafuente, Alberto
creator: Mayer, Philip
creator: Montanari, Ugo
creator: Schroeder, Andreas
creator: Wirsing, Martin
subject: QA75 Electronic computers. Computer science
description: 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.  
publisher: Springer
contributor: Baresi, Luciano
contributor: Chi, Hung
contributor: Suzuki, Jun
date: 2009
type: Book Section
type: PeerReviewed
identifier:   Bruni, Roberto and Hölzl, Matthias and Koch, Nora and Lluch-Lafuente, Alberto and Mayer, Philip and Montanari, Ugo and Schroeder, Andreas and Wirsing, Martin  A Service-Oriented UML Profile with Formal Support.   In:  Service-Oriented Computing (ICSOC/ServiceWave 2009).   Lecture Notes in Computer Science, 5900 .  Springer, pp. 455-469.  ISBN 978-3-642-10382-7      (2009)  
relation: http://dx.doi.org/10.1007/978-3-642-10383-4_34
relation: 10.1007/978-3-642-10383-4_34