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)
Full text not available from this repository.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.
| Item Type: | Book Section |
|---|---|
| Identification Number: | https://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. |
| Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
| Research Area: | Computer Science and Applications |
| Depositing User: | Users 30 not found. |
| Date Deposited: | 18 May 2011 10:27 |
| Last Modified: | 06 Apr 2016 07:57 |
| URI: | http://eprints.imtlucca.it/id/eprint/146 |
Actions (login required)
 |
Edit Item |
