{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T02:54:42Z","timestamp":1725504882806},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540786627"},{"type":"electronic","value":"9783540786634"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-78663-4_14","type":"book-chapter","created":{"date-parts":[[2008,3,8]],"date-time":"2008-03-08T06:00:01Z","timestamp":1204956001000},"page":"186-203","source":"Crossref","is-referenced-by-count":8,"title":["Service Oriented Architectural Design"],"prefix":"10.1007","author":[{"given":"Roberto","family":"Bruni","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto","family":"Lluch Lafuente","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ugo","family":"Montanari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Emilio","family":"Tuosto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1016\/j.entcs.2004.01.013","volume":"108","author":"N. Aguirre","year":"2004","unstructured":"Aguirre, N., Maibaum, T.S.E.: Hierarchical temporal specifications of dynamically reconfigurable component based systems. Electr. Notes Theor. Comput. Sci.\u00a0108, 69\u201381 (2004)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"issue":"2","key":"14_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. Software and Systems Modeling\u00a05(2), 187\u2013207 (2006)","journal-title":"Software and Systems Modeling"},{"key":"14_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/978-3-540-71229-9_11","volume-title":"Compiler Construction","author":"D.S. Batory","year":"2007","unstructured":"Batory, D.S.: Program refactoring, program synthesis, and model-driven development. In: Krishnamurthi, S., Odersky, M. (eds.) CC 2007. LNCS, vol.\u00a04420, pp. 156\u2013171. Springer, Heidelberg (2007)"},{"issue":"1","key":"14_CR4","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1109\/MIC.2004.1260703","volume":"8","author":"B. Benatallah","year":"2004","unstructured":"Benatallah, B., Casati, F., Toumani, F.: Web service conversation modeling: A cornerstone for e-business automation. IEEE Internet Computing\u00a08(1), 46\u201354 (2004)","journal-title":"IEEE Internet Computing"},{"key":"14_CR5","unstructured":"Bruni, R., Lluch Lafuente, A., Montanari, U., Tuosto, E.: Style based reconfigurations of software architectures. Technical Report TR-07-17, Dipartimento di Informatica, Universit\u00e0 di Pisa (2007)"},{"key":"14_CR6","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1145\/1040305.1040323","volume-title":"POPL","author":"R. Bruni","year":"2005","unstructured":"Bruni, R., Melgratti, H.C., Montanari, U.: Theoretical foundations for compensations in flow composition languages. In: Palsberg, J., Abadi, M. (eds.) POPL, pp. 209\u2013220. ACM, New York (2005)"},{"key":"14_CR7","series-title":"Lecture Notes in Computer Science","volume-title":"All About Maude - A High-Performance Logical Framework","year":"2007","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C. (eds.): All About Maude - A High-Performance Logical Framework. LNCS, vol.\u00a04350. Springer, Heidelberg (2007)"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"Clements, P., Garlan, D., Bass, L., Stafford, J., Nord, R., Ivers, J., Little, R.: Documenting Software Architectures: Views and Beyond. Pearson Education (2002)","DOI":"10.1109\/ICSE.2003.1201264"},{"issue":"2-3","key":"14_CR9","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/0890-5401(88)90005-3","volume":"76","author":"T. Coquand","year":"1988","unstructured":"Coquand, T., Huet, G.: The calculus of constructions. Inf. Comput.\u00a076(2-3), 95\u2013120 (1988)","journal-title":"Inf. Comput."},{"key":"14_CR10","unstructured":"FETPI Global Computing project IST-2005-016004 SEnSOria (Software Engineering for Service-Oriented Overlay Computers), http:\/\/sensoria.fast.de"},{"key":"14_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/11804192_2","volume-title":"Formal Methods for Components and Objects","author":"G.L. Ferrari","year":"2006","unstructured":"Ferrari, G.L., Hirsch, D., Lanese, I., Montanari, U., Tuosto, E.: Synchronised hyperedge replacement as a model for service oriented computing. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2005. LNCS, vol.\u00a04111, pp. 22\u201343. Springer, Heidelberg (2006)"},{"key":"14_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/978-3-540-71998-4_3","volume-title":"Recent Trends in Algebraic Development Techniques","author":"J.L. Fiadeiro","year":"2007","unstructured":"Fiadeiro, J.L., Lopes, A., Bocchi, L.: Algebraic semantics of service component modules. In: Fiadeiro, J.L., Schobbens, P.-Y. (eds.) WADT 2006. LNCS, vol.\u00a04409, pp. 37\u201355. Springer, Heidelberg (2007)"},{"key":"14_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/11841197_13","volume-title":"Web Services and Formal Methods","author":"J.L. Fiadeiro","year":"2006","unstructured":"Fiadeiro, J.L., Lopes, A., Bocchi, L.: A formal approach to service component architecture. In: Bravetti, M., N\u00fa\u00f1ez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol.\u00a04184, pp. 193\u2013213. Springer, Heidelberg (2006)"},{"key":"14_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/978-3-540-73859-6_14","volume-title":"Algebra and Coalgebra in Computer Science","author":"J.L. Fiadeiro","year":"2007","unstructured":"Fiadeiro, J.L., Schmitt, V.: Structured co-spans: An algebra of interaction protocols. In: Mossakowski, T., Montanari, U., Haveraaen, M. (eds.) CALCO 2007. LNCS, vol.\u00a04624, pp. 194\u2013208. Springer, Heidelberg (2007)"},{"issue":"3","key":"14_CR15","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1017\/S096012950700610X","volume":"17","author":"F. Gadducci","year":"2007","unstructured":"Gadducci, F.: Graph rewriting for the \u03c0-calculus. Mathematical Structures in Computer Science\u00a017(3), 407\u2013437 (2007)","journal-title":"Mathematical Structures in Computer Science"},{"key":"14_CR16","volume-title":"Hyperedge Replacement: Grammars and Languages","author":"A. Habel","year":"1992","unstructured":"Habel, A.: Hyperedge Replacement: Grammars and Languages. Springer, New York, Secaucus, NJ, USA (1992)"},{"key":"14_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/11966104_9","volume-title":"Software Architecture","author":"D. Hirsch","year":"2006","unstructured":"Hirsch, D., Kramer, J., Magee, J., Uchitel, S.: Modes for software architectures. In: Gruhn, V., Oquendo, F. (eds.) EWSA 2006. LNCS, vol.\u00a04344, pp. 113\u2013126. Springer, Heidelberg (2006)"},{"key":"14_CR18","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/j.entcs.2004.02.059","volume":"109","author":"D. Hirsch","year":"2004","unstructured":"Hirsch, D., Montanari, U.: Shaped hierarchical architectural design. Electronic Notes on Theoretical Computer Science\u00a0109, 97\u2013109 (2004)","journal-title":"Electronic Notes on Theoretical Computer Science"},{"key":"14_CR19","unstructured":"Jensen, O.H., Milner, R.: Bigraphs and mobile processes. Technical Report 570, Computer Laboratory, University of Cambridge (2003)"},{"key":"14_CR20","unstructured":"K\u00f6nig, B., Montanari, U., Gardner, P. (eds.): Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, June 6-11, 2004, Dagstuhl Seminar Proceedings. vol. 04241, IBFI, Schloss Dagstuhl, Germany (2005)"},{"key":"14_CR21","doi-asserted-by":"crossref","unstructured":"Loulou, I., Kacem, A.H., Jmaiel, M.: Consistent reconfiguration for publish\/subscribe architecture styles. In: Proc. of the First International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2007) (2007)","DOI":"10.14236\/ewic\/VECOS2007.6"},{"issue":"7","key":"14_CR22","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1109\/32.708567","volume":"24","author":"L.D. M\u00e9tayer","year":"1998","unstructured":"M\u00e9tayer, L.D.: Describing software architecture styles using graph grammars. IEEE Trans. Software Eng.\u00a024(7), 521\u2013533 (1998)","journal-title":"IEEE Trans. Software Eng."},{"key":"14_CR23","volume-title":"Communicating and Mobile Systems: The \u03c0-calculus","author":"R. Milner","year":"1992","unstructured":"Milner, R.: Communicating and Mobile Systems: The \u03c0-calculus. Cambridge University Press, Cambridge (1992)"},{"issue":"1","key":"14_CR24","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1007\/s10270-006-0012-1","volume":"6","author":"J. Misra","year":"2006","unstructured":"Misra, J., Cook, W.: Orchestration computation: A basis for wide area computing. Software and Systems Modeling\u00a06(1), 83\u2013110 (2006)","journal-title":"Software and Systems Modeling"},{"key":"14_CR25","unstructured":"Service Component Architecture, http:\/\/osoa.org"},{"key":"14_CR26","volume-title":"Software Architectures: Perspectives on an emerging discipline","author":"M. Shaw","year":"1996","unstructured":"Shaw, M., Garlan, D.: Software Architectures: Perspectives on an emerging discipline. Prentice-Hall, Englewood Cliffs (1996)"}],"container-title":["Lecture Notes in Computer Science","Trustworthy Global Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-78663-4_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:15:08Z","timestamp":1606184108000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-78663-4_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540786627","9783540786634"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78663-4_14","relation":{},"subject":[]}}