A service-oriented UML profile with formal support

Roberto Bruni; Matthias Hölzl; Nora Koch; Alberto Lluch Lafuente; Philip Mayer; Ugo Montanari; Andreas Schroeder; Martin Wirsing

doi:10.1007/978-3-642-10383-4_34

A service-oriented UML profile with formal support

Roberto Bruni
, Matthias Hölzl
, Nora Koch
, Alberto Lluch Lafuente
, Philip Mayer
, Ugo Montanari
, Andreas Schroeder
, Martin Wirsing

Ludwig Maximilian University of Munich
University of Pisa
Cirquent GmbH

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

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.

Original language	English
Title of host publication	Service-Oriented Computing : 7th International Joint Conference, ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24-27, 2009. Proceedings
Publisher	Springer Berlin Heidelberg
Publication date	2009
Pages	455-469
ISBN (Print)	978-3-642-10382-7
ISBN (Electronic)	978-3-642-10383-4
DOIs	https://doi.org/10.1007/978-3-642-10383-4_34
Publication status	Published - 2009
Externally published	Yes
Event	7th International joint Conference on Service Oriented Computing - Stockholm, Sweden Duration: 24 Nov 2009 → 27 Nov 2009 Conference number: 7

Conference

Conference	7th International joint Conference on Service Oriented Computing
Number	7
Country/Territory	Sweden
City	Stockholm
Period	24/11/2009 → 27/11/2009

Series	Lecture Notes in Computer Science
Volume	5900
ISSN	0302-9743

Access to Document

10.1007/978-3-642-10383-4_34

OpenUrl availability

Check availability in DTU Findit

Cite this

Bruni, R., Hölzl, M., Koch, N., Lluch Lafuente, A., Mayer, P., Montanari, U., Schroeder, A., & Wirsing, M. (2009). A service-oriented UML profile with formal support. In Service-Oriented Computing: 7th International Joint Conference, ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24-27, 2009. Proceedings (pp. 455-469). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-10383-4_34

@inproceedings{81c673ddfe224111886d5a75abd8c900,

title = "A service-oriented UML profile with formal support",

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.",

author = "Roberto Bruni and Matthias H{\"o}lzl and Nora Koch and \{Lluch Lafuente\}, Alberto and Philip Mayer and Ugo Montanari and Andreas Schroeder and Martin Wirsing",

year = "2009",

doi = "10.1007/978-3-642-10383-4\_34",

language = "English",

isbn = "978-3-642-10382-7",

series = "Lecture Notes in Computer Science",

publisher = "Springer Berlin Heidelberg",

pages = "455--469",

booktitle = "Service-Oriented Computing",

note = "7th International joint Conference on Service Oriented Computing, ICSOC/ServiceWave 2009 ; Conference date: 24-11-2009 Through 27-11-2009",

}

Bruni, R, Hölzl, M, Koch, N, Lluch Lafuente, A, Mayer, P, Montanari, U, Schroeder, A & Wirsing, M 2009, A service-oriented UML profile with formal support. in Service-Oriented Computing: 7th International Joint Conference, ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24-27, 2009. Proceedings. Springer Berlin Heidelberg, Lecture Notes in Computer Science, vol. 5900, pp. 455-469, 7th International joint Conference on Service Oriented Computing, Stockholm, Sweden, 24/11/2009. https://doi.org/10.1007/978-3-642-10383-4_34

A service-oriented UML profile with formal support. / Bruni, Roberto; Hölzl, Matthias; Koch, Nora et al.
Service-Oriented Computing: 7th International Joint Conference, ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24-27, 2009. Proceedings. Springer Berlin Heidelberg, 2009. p. 455-469 (Lecture Notes in Computer Science, Vol. 5900).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

TY - GEN

T1 - A service-oriented UML profile with formal support

AU - Bruni, Roberto

AU - Hölzl, Matthias

AU - Koch, Nora

AU - Lluch Lafuente, Alberto

AU - Mayer, Philip

AU - Montanari, Ugo

AU - Schroeder, Andreas

AU - Wirsing, Martin

N1 - Conference code: 7

PY - 2009

Y1 - 2009

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-642-10383-4_34

DO - 10.1007/978-3-642-10383-4_34

M3 - Article in proceedings

SN - 978-3-642-10382-7

T3 - Lecture Notes in Computer Science

SP - 455

EP - 469

BT - Service-Oriented Computing

PB - Springer Berlin Heidelberg

T2 - 7th International joint Conference on Service Oriented Computing

Y2 - 24 November 2009 through 27 November 2009

ER -

Bruni R, Hölzl M, Koch N, Lluch Lafuente A, Mayer P, Montanari U et al. A service-oriented UML profile with formal support. In Service-Oriented Computing: 7th International Joint Conference, ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24-27, 2009. Proceedings. Springer Berlin Heidelberg. 2009. p. 455-469. (Lecture Notes in Computer Science, Vol. 5900). doi: 10.1007/978-3-642-10383-4_34

A service-oriented UML profile with formal support

Abstract

Conference

Access to Document

OpenUrl availability

Fingerprint

Cite this