eprintid: 146
rev_number: 9
eprint_status: archive
userid: 30
dir: disk0/00/00/01/46
datestamp: 2011-05-18 10:27:27
lastmod: 2016-04-06 07:57:34
status_changed: 2011-05-18 10:27:27
type: book_section
metadata_visibility: show
item_issues_count: 0
creators_name: Bruni, Roberto
creators_name: Hölzl, Matthias
creators_name: Koch, Nora
creators_name: Lluch-Lafuente, Alberto
creators_name: Mayer, Philip
creators_name: Montanari, Ugo
creators_name: Schroeder, Andreas
creators_name: Wirsing, Martin
creators_id: 
creators_id: 
creators_id: 
creators_id: alberto.lluch@imtlucca.it
creators_id: 
creators_id: 
creators_id: 
creators_id: 
title: A Service-Oriented UML Profile with Formal Support
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
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.

date: 2009
date_type: published
series: Lecture Notes in Computer Science
volume: 5900
publisher: Springer
pagerange: 455-469
id_number: 10.1007/978-3-642-10383-4_34
refereed: TRUE
isbn: 978-3-642-10382-7
book_title: Service-Oriented Computing (ICSOC/ServiceWave 2009)
editors_name: Baresi, Luciano
editors_name: Chi, Hung
editors_name: Suzuki, Jun
official_url: http://dx.doi.org/10.1007/978-3-642-10383-4_34
funders: This work has been supported by the EU FET-GC2 IP project Sensoria, IST-2005-016004.
citation:   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)