{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:51:03Z","timestamp":1725490263678},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540749738"},{"type":"electronic","value":"9783540749745"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-10383-4_34","type":"book-chapter","created":{"date-parts":[[2009,11,24]],"date-time":"2009-11-24T09:49:58Z","timestamp":1259056198000},"page":"455-469","source":"Crossref","is-referenced-by-count":5,"title":["A Service-Oriented UML Profile with Formal Support"],"prefix":"10.1007","author":[{"given":"Roberto","family":"Bruni","sequence":"first","affiliation":[]},{"given":"Matthias","family":"H\u00f6lzl","sequence":"additional","affiliation":[]},{"given":"Nora","family":"Koch","sequence":"additional","affiliation":[]},{"given":"Alberto","family":"Lluch Lafuente","sequence":"additional","affiliation":[]},{"given":"Philip","family":"Mayer","sequence":"additional","affiliation":[]},{"given":"Ugo","family":"Montanari","sequence":"additional","affiliation":[]},{"given":"Andreas","family":"Schroeder","sequence":"additional","affiliation":[]},{"given":"Martin","family":"Wirsing","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"34_CR1","first-page":"69","volume":"108","author":"N. Aguirre","year":"2004","unstructured":"Aguirre, N., Maibaum, T.S.E.: Hierarchical temporal specifications of dynamically reconfigurable component based systems. ENTCS\u00a0108, 69\u201381 (2004)","journal-title":"ENTCS"},{"issue":"2","key":"34_CR2","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/s10270-006-0001-4","volume":"5","author":"L. Baresi","year":"2006","unstructured":"Baresi, L., Heckel, R., Th\u00f6ne, S., Varr\u00f3, D.: Style-based modeling and refinement of service-oriented architectures. SOSYM\u00a05(2), 187\u2013207 (2006)","journal-title":"SOSYM"},{"key":"34_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1007\/978-3-540-78743-3_28","volume-title":"Fundamental Approaches to Software Engineering","author":"A. Boronat","year":"2008","unstructured":"Boronat, A., Meseguer, J.: An algebraic semantics for MOF. In: Fiadeiro, J.L., Inverardi, P. (eds.) FASE 2008. LNCS, vol.\u00a04961, pp. 377\u2013391. Springer, Heidelberg (2008)"},{"issue":"3","key":"34_CR4","first-page":"45","volume":"238","author":"R. Bruni","year":"2009","unstructured":"Bruni, R., Lluch-Lafuente, A., Montanari, U.: Hierarchical design rewriting with maude. ENTCS\u00a0238(3), 45\u201362 (2009)","journal-title":"ENTCS"},{"key":"34_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1007\/978-3-540-78663-4_14","volume-title":"Trustworthy Global Computing","author":"R. Bruni","year":"2008","unstructured":"Bruni, R., Lluch Lafuente, A., Montanari, U., Tuosto, E.: Service Oriented Architectural Design. In: Barthe, G., Fournet, C. (eds.) TGC 2007. LNCS, vol.\u00a04912, pp. 186\u2013203. Springer, Heidelberg (2008)"},{"key":"34_CR6","unstructured":"Bruni, R., Lluch Lafuente, A., Montanari, U., Tuosto, E.: Architectural Design Rewriting as an Architecture Description Language. R2D2 Microsoft Research Meeting (2008)"},{"key":"34_CR7","first-page":"161","volume":"94","author":"R. Bruni","year":"2008","unstructured":"Bruni, R., Lluch Lafuente, A., Montanari, U., Tuosto, E.: Style Based Architectural Reconfigurations. EATCS Bulletin\u00a094, 161\u2013180 (2008)","journal-title":"EATCS Bulletin"},{"key":"34_CR8","series-title":"Lecture Notes in Computer Science","first-page":"37","volume-title":"Concurrency, Graphs and Models","author":"A. Bucchiarone","year":"2008","unstructured":"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.\u00a05065, pp. 37\u201356. Springer, Heidelberg (2008)"},{"key":"34_CR9","unstructured":"SCA Consortium, Service Component Architecture Policy Framework, Version 1.0 (2007)"},{"key":"34_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/978-3-540-75132-8_10","volume-title":"Software Architecture","author":"R. Correia","year":"2007","unstructured":"Correia, R., Matos, C., Heckel, R., El-Ramly, M.: Architecture migration driven by code categorization. In: Oquendo, F. (ed.) ECSA 2007. LNCS, vol.\u00a04758, pp. 115\u2013122. Springer, Heidelberg (2007)"},{"key":"34_CR11","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1142\/9789812384720_0005","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation","author":"B. Courcelle","year":"1997","unstructured":"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\u2013400. World Scientific, Singapore (1997)"},{"key":"34_CR12","volume-title":"ICIW 2008","author":"H. Foster","year":"2008","unstructured":"Foster, H., Mayer, P.: Leveraging integrated tools for model-based analysis of service compositions. In: ICIW 2008. IEEE Computer Society Press, Los Alamitos (2008)"},{"key":"34_CR13","unstructured":"Foster, H., Uchitel, S., Kramer, J., Magee, J.: Leveraging Modes and UML2 for Service Brokering Specifications. In: MDWE 2008. LNCS, vol.\u00a0389, pp. 76\u201390. CEUR (2008)"},{"key":"34_CR14","volume-title":"Hyperedge Replacement: Grammars and Languages","author":"A. Habel","year":"1992","unstructured":"Habel, A.: Hyperedge Replacement: Grammars and Languages. Springer, Heidelberg (1992)"},{"key":"34_CR15","first-page":"97","volume":"109","author":"D. Hirsch","year":"2004","unstructured":"Hirsch, D., Montanari, U.: Shaped hierarchical architectural design. ENTCS\u00a0109, 97\u2013109 (2004)","journal-title":"ENTCS"},{"key":"34_CR16","unstructured":"Johnston, S.: UML 2.0 Profile for Software Services (2005)"},{"key":"34_CR17","unstructured":"Koch, N., Mayer, P., Heckel, R., G\u00f6nczy, L., Montangero, C.: D1.4a: UML for Service- Oriented Systems. Specification, SENSORIA Project 016004 (2007), \n                    \n                      http:\/\/www.pst.ifi.lmu.de\/projekte\/Sensoria\/del_36\/D1a.pdf"},{"key":"34_CR18","first-page":"1","volume-title":"SCC 2008","author":"P. Mayer","year":"2008","unstructured":"Mayer, P., Schroeder, A., Koch, N.: A Model-Driven Approach to Service Orchestration. In: SCC 2008, pp. 1\u20136. IEEE, Los Alamitos (2008)"},{"issue":"3","key":"34_CR19","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/j.tcs.2006.12.018","volume":"373","author":"J. Meseguer","year":"2007","unstructured":"Meseguer, J., Rosu, G.: The rewriting logic semantics project. TCS\u00a0373(3), 213\u2013237 (2007)","journal-title":"TCS"},{"issue":"7","key":"34_CR20","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1109\/32.708567","volume":"24","author":"D.L. M\u00e9tayer","year":"1998","unstructured":"M\u00e9tayer, D.L.: Describing software architecture styles using graph grammars. IEEE Transactions on Software Engineering\u00a024(7), 521\u2013533 (1998)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"34_CR21","unstructured":"Object Management Group (OMG). Service oriented architecture Modeling Language (SoaML), \n                    \n                      http:\/\/www.omg.org\/cgi-bin\/doc?ptc\/09-04-01\n                    \n                    \n                   (Last visited: July 2009)"},{"key":"34_CR22","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/j.jlap.2004.05.001","volume":"61","author":"G.D. Plotkin","year":"2004","unstructured":"Plotkin, G.D.: A structural approach to operational semantics. J. Log. Algebr. Program.\u00a060-61, 17\u2013139 (2004)","journal-title":"J. Log. Algebr. Program."},{"key":"34_CR23","volume-title":"Software Architecture: Perspectives on an Emerging Discipline","author":"M. Shaw","year":"1996","unstructured":"Shaw, M., Garlan, D.: Software Architecture: Perspectives on an Emerging Discipline. Prentice-Hall, New Jersey (1996)"},{"key":"34_CR24","first-page":"47","volume-title":"EDOC 2004","author":"D. Skogan","year":"2004","unstructured":"Skogan, D., Gr\u00f8nmo, R., Solheim, I.: Web service composition in UML. In: EDOC 2004, pp. 47\u201357. IEEE Computer Society, Los Alamitos (2004)"},{"key":"34_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1007\/11888116_3","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2006","author":"M. Wirsing","year":"2006","unstructured":"Wirsing, M., Clark, A., Gilmore, S., H\u00f6lzl, 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.\u00a04229, pp. 24\u201345. Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Computer Science","Service-Oriented Computing \u2013 ICSOC 2007"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-10383-4_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,8]],"date-time":"2019-01-08T20:00:09Z","timestamp":1546977609000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-10383-4_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783540749738","9783540749745"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-10383-4_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}