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.
This work has been supported by the EU FET-GC2 IP project Sensoria, IST-2005-016004.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Aguirre, N., Maibaum, T.S.E.: Hierarchical temporal specifications of dynamically reconfigurable component based systems. ENTCS 108, 69–81 (2004)
Baresi, L., Heckel, R., Thöne, S., Varró, D.: Style-based modeling and refinement of service-oriented architectures. SOSYM 5(2), 187–207 (2006)
Boronat, A., Meseguer, J.: An algebraic semantics for MOF. In: Fiadeiro, J.L., Inverardi, P. (eds.) FASE 2008. LNCS, vol. 4961, pp. 377–391. Springer, Heidelberg (2008)
Bruni, R., Lluch-Lafuente, A., Montanari, U.: Hierarchical design rewriting with maude. ENTCS 238(3), 45–62 (2009)
Bruni, R., Lluch Lafuente, A., Montanari, U., Tuosto, E.: Service Oriented Architectural Design. In: Barthe, G., Fournet, C. (eds.) TGC 2007. LNCS, vol. 4912, pp. 186–203. Springer, Heidelberg (2008)
Bruni, R., Lluch Lafuente, A., Montanari, U., Tuosto, E.: Architectural Design Rewriting as an Architecture Description Language. R2D2 Microsoft Research Meeting (2008)
Bruni, R., Lluch Lafuente, A., Montanari, U., Tuosto, E.: Style Based Architectural Reconfigurations. EATCS Bulletin 94, 161–180 (2008)
Bucchiarone, A., Bruni, R., Gnesi, S., Lluch Lafuente, A.: Graph-Based Design and Analysis of Dynamic Software Architectures. In: Degano, P., De Nicola, R., Meseguer, J. (eds.) Concurrency, Graphs and Models. LNCS, vol. 5065, pp. 37–56. Springer, Heidelberg (2008)
SCA Consortium, Service Component Architecture Policy Framework, Version 1.0 (2007)
Correia, R., Matos, C., Heckel, R., El-Ramly, M.: Architecture migration driven by code categorization. In: Oquendo, F. (ed.) ECSA 2007. LNCS, vol. 4758, pp. 115–122. Springer, Heidelberg (2007)
Courcelle, B.: The expression of graph properties and graph transformations in monadic second-order logic. In: Rozenberg, G. (ed.) Handbook of Graph Grammars and Computing by Graph Transformation, pp. 313–400. World Scientific, Singapore (1997)
Foster, H., Mayer, P.: Leveraging integrated tools for model-based analysis of service compositions. In: ICIW 2008. IEEE Computer Society Press, Los Alamitos (2008)
Foster, H., Uchitel, S., Kramer, J., Magee, J.: Leveraging Modes and UML2 for Service Brokering Specifications. In: MDWE 2008. LNCS, vol. 389, pp. 76–90. CEUR (2008)
Habel, A.: Hyperedge Replacement: Grammars and Languages. Springer, Heidelberg (1992)
Hirsch, D., Montanari, U.: Shaped hierarchical architectural design. ENTCS 109, 97–109 (2004)
Johnston, S.: UML 2.0 Profile for Software Services (2005)
Koch, N., Mayer, P., Heckel, R., Gönczy, L., Montangero, C.: D1.4a: UML for Service- Oriented Systems. Specification, SENSORIA Project 016004 (2007), http://www.pst.ifi.lmu.de/projekte/Sensoria/del_36/D1a.pdf
Mayer, P., Schroeder, A., Koch, N.: A Model-Driven Approach to Service Orchestration. In: SCC 2008, pp. 1–6. IEEE, Los Alamitos (2008)
Meseguer, J., Rosu, G.: The rewriting logic semantics project. TCS 373(3), 213–237 (2007)
Métayer, D.L.: Describing software architecture styles using graph grammars. IEEE Transactions on Software Engineering 24(7), 521–533 (1998)
Object Management Group (OMG). Service oriented architecture Modeling Language (SoaML), http://www.omg.org/cgi-bin/doc?ptc/09-04-01 (Last visited: July 2009)
Plotkin, G.D.: A structural approach to operational semantics. J. Log. Algebr. Program. 60-61, 17–139 (2004)
Shaw, M., Garlan, D.: Software Architecture: Perspectives on an Emerging Discipline. Prentice-Hall, New Jersey (1996)
Skogan, D., Grønmo, R., Solheim, I.: Web service composition in UML. In: EDOC 2004, pp. 47–57. IEEE Computer Society, Los Alamitos (2004)
Wirsing, M., Clark, A., Gilmore, S., Hölzl, M., Knapp, A., Koch, N., Schroeder, A.: Semantic-Based Development of Service-Oriented Systems. In: Najm, E., Pradat-Peyre, J.-F., Donzeau-Gouge, V.V. (eds.) FORTE 2006. LNCS, vol. 4229, pp. 24–45. Springer, Heidelberg (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bruni, R. et al. (2009). A Service-Oriented UML Profile with Formal Support. In: Baresi, L., Chi, CH., Suzuki, J. (eds) Service-Oriented Computing. ServiceWave ICSOC 2009 2009. Lecture Notes in Computer Science, vol 5900. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-10383-4_34
Download citation
DOI: https://doi.org/10.1007/978-3-642-10383-4_34
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-10382-7
Online ISBN: 978-3-642-10383-4
eBook Packages: Computer ScienceComputer Science (R0)