{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T05:27:45Z","timestamp":1747805265494,"version":"3.32.0"},"reference-count":47,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2006,4,5]],"date-time":"2006-04-05T00:00:00Z","timestamp":1144195200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2006,6]]},"DOI":"10.1007\/s10270-006-0001-4","type":"journal-article","created":{"date-parts":[[2006,4,4]],"date-time":"2006-04-04T14:43:15Z","timestamp":1144161795000},"page":"187-207","source":"Crossref","is-referenced-by-count":47,"title":["Style-based modeling and refinement of service-oriented architectures"],"prefix":"10.1007","volume":"5","author":[{"given":"Luciano","family":"Baresi","sequence":"first","affiliation":[]},{"given":"Reiko","family":"Heckel","sequence":"additional","affiliation":[]},{"given":"Sebastian","family":"Th\u00f6ne","sequence":"additional","affiliation":[]},{"given":"D\u00b4aniel","family":"Varr\u00b4o","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,4,5]]},"reference":[{"key":"1_CR1","unstructured":"Shaw, M., Garlan, D.: Software Architecture: Perspectives on an Emerging Discipline. Prentice-Hall (1996)"},{"key":"1_CR2","unstructured":"Hofmeister, C., Nord, R., Soni, D.: Applied Software Architecture. Addison-Wesley (2000)"},{"key":"1_CR3","unstructured":"Miller, J., Mukerji, J.: MDA Guide Version 1.0.1. Object Management Group, 2003. http:\/\/www.omg.org\/docs\/omg\/03-06-01.pdf."},{"issue":"5","key":"1_CR4","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1145\/167049.167055","volume":"18","author":"G.D. Abowd","year":"1993","unstructured":"Abowd, G.D., Allen, R., Garlan, D.: Using style to understand descriptions of software architectures. ACM Software Engineering Notes 18(5), 9\u201320 (1993)","journal-title":"ACM Software Engineering Notes"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Di Nitto, E., Rosenblum, D.: Exploiting ADLs to specify architectural styles induced by middleware infrastructures. In: Proc. of the 21st International Conference on Software Engineering, ICSE 99, pp. 13\u201322. IEEE Computer Society Press (1999)","DOI":"10.1145\/302405.302406"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Baresi, L., Heckel, R., Th\u00f6ne S., Varr\u00f3, D.: Modeling and validation of service-oriented architectures: Application vs. style. In: Proc. ESEC\/FSE 03 European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering, pp. 68\u201377. ACM Press (2003)","DOI":"10.1145\/940071.940082"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Baresi, L., Heckel, R., Th\u00f6ne S., Varr\u00f3, D.: Style-based refinement of dynamic software architectures. In: Proc. WICSA4\u20144th Working IEEE\/IFIP Conference on Software Architecture, pp. 155\u2013164. IEEE Computer Society (2004)","DOI":"10.1109\/WICSA.2004.1310699"},{"key":"1_CR8","unstructured":"Heckel, R., Lohmann, M., Th\u00f6ne, S.: Towards a UML profile for service-oriented architectures. In: Proc. of Workshop on Model Driven Architecture: Foundations and Applications (MDAFA), CTIT Technical Report TR-CTIT-03-27. University of Twente, Enschede, The Netherlands (2003)"},{"key":"1_CR9","unstructured":"Champion, M., Ferris, C., Newcomer, E., Orchard, D.: Web Service Architecture, W3C Working Draft, 2002. http:\/\/www.w3.org\/TR\/2002\/WD-ws-arch-20021114\/"},{"issue":"3\/4","key":"1_CR10","doi-asserted-by":"crossref","first-page":"241","DOI":"10.3233\/FI-1996-263402","volume":"26","author":"A. Corradini","year":"1996","unstructured":"Corradini, A., Montanari, U., Rossi, F.: Graph processes. Fundamenta Informaticae, 26(3\/4), 241\u2013265 (1996)","journal-title":"Fundamenta Informaticae"},{"key":"1_CR11","unstructured":"Object Management Group. UML 2.0 OCL Final Adopted Specification, 2003. http:\/\/www.omg.org\/cgi-bin\/doc?ptc\/2003-10-14"},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Pfender, M., Schneider, H.J.: Graph grammars: an algebraic approach. In: 14th Annual IEEE Symposium on Switching and Automata Theory, pp. 167\u2013180. IEEE (1973)","DOI":"10.1109\/SWAT.1973.11"},{"key":"1_CR13","unstructured":"Object Management Group. UML 2.0 Superstructure Final Adopted specification, 2003. http:\/\/www.omg.org\/cgi-bin\/ doc?ptc\/2003-08-02"},{"issue":"1","key":"1_CR14","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1145\/504087.504088","volume":"11","author":"N. Medvidovic","year":"2002","unstructured":"Medvidovic, N., Rosenblum, D.S., Redmiles, D.F., Robbins, J.E.: Modeling software architectures in the Unified Modeling Language. ACM Transactions on Software Engineering and Methodology (TOSEM) 11(1), 2\u201357 (2002)","journal-title":"ACM Transactions on Software Engineering and Methodology (TOSEM)"},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"Robbins, J.E., Medvidovic, N., Redmiles, D.F., Rosenblum, D.S.: Integrating architecture description languages with a standard design method. In: Proc. of the 20 th International Conference on Software Engineering, ICSE 98, pp. 209\u2013218. IEEE Computer Society (1998)","DOI":"10.1109\/ICSE.1998.671120"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"Abi-Antoun, M., Medvidovic, N.: Enabling the refinement of a software architecture into a design. In: Proc. UML 99\u2014The Unified Modeling Language, vol. 1723 of LNCS, pp. 17\u201331. Springer (1999)","DOI":"10.1007\/3-540-46852-8_3"},{"issue":"4","key":"1_CR17","doi-asserted-by":"crossref","first-page":"356","DOI":"10.1109\/32.385972","volume":"21","author":"M. Moriconi","year":"1995","unstructured":"Moriconi, M., Qian, X., Riemenschneider, R.A.: Correct architecture refinement. IEEE Transactions on Software Engineering 21(4), 356\u2013372 (1995)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"1_CR18","unstructured":"Object Management Group. XMI: XML Metadata Interchange, v2.0, 2003. http:\/\/www.omg.org\/cgi-bin\/doc?formal\/2003-05-02"},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"Sch\u00fcrr, A., Winter, A.J., Z\u00fcndorf, A.: The PROGRES approach: Language and environment. In Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) Handbook on Graph Grammars and Computing by Graph Transformation, vol. 2. Applications, Languages and Tools. World Scientific (1999)","DOI":"10.1142\/9789812815149_0013"},{"key":"1_CR20","doi-asserted-by":"crossref","unstructured":"Winter, A., Kullbach, B., Riediger, V.: An overview of the GXL graph exchange language. In Diehl, S. (ed.) Software Visualization: International Seminar, Dagstuhl Castle, Germany, May 20\u201325, 2001. Revised Papers, vol. 2269 of LNCS, pp. 324\u2013336. Springer (2002)","DOI":"10.1007\/3-540-45875-1_25"},{"key":"1_CR21","unstructured":"Varr\u00f3, D.: Towards symbolic analysis of visual modeling languages. In Proc. GT-VMT 2002\u2014Int. Workshop on Graph Transformation and Visual Modeling Techniques, vol. 72 of ENTCS, pp. 57\u201370. Elsevier (2002)"},{"issue":"2","key":"1_CR22","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1007\/s10270-003-0050-x","volume":"3","author":"D. Varr\u00f3","year":"2004","unstructured":"Varr\u00f3, D.: Automated formal verification of visual modeling languages by model checking. Journal of Software and Systems Modeling 3(2), 85\u2013113 (2004)","journal-title":"Journal of Software and Systems Modeling"},{"issue":"5","key":"1_CR23","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"G. Holzmann","year":"1997","unstructured":"Holzmann, G.: The model checker SPIN. IEEE Transactions on Software Engineering 23(5), 279\u2013295 (1997)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"1_CR24","doi-asserted-by":"crossref","unstructured":"Rensink, A.: Canonical graph shapes. In: Schmidt, D.A. (eds.) Programming Languages and Systems\u2014European Symposium on Programming (ESOP), vol. 2986 of LNCS, pp. 401\u2013415. Springer (2004)","DOI":"10.1007\/978-3-540-24725-8_28"},{"key":"1_CR25","doi-asserted-by":"crossref","unstructured":"Rensink, A.: The GROOVE simulator: A tool for state space generation. In: Nagl, M., Pfalz, J., B\u00f6hlen, B. (eds.) Proc. Application of Graph Transformations with Industrial Relevance (AGTIVE'03), vol. 3062 of LNCS, pp. 479\u2013485. Springer (2003)","DOI":"10.1007\/978-3-540-25959-6_40"},{"key":"1_CR26","doi-asserted-by":"crossref","unstructured":"Rensink, A., Schmidt, \u00c1., Varr\u00f3, D.: Model checking graph transformations: A comparison of two approaches. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) Proc. 2 nd International Conference on Graph Transformation, ICGT 2004, vol. 3256 of LNCS, pp. 226\u2013241. Springer (2004)","DOI":"10.1007\/978-3-540-30203-2_17"},{"issue":"4","key":"1_CR27","doi-asserted-by":"crossref","first-page":"336","DOI":"10.1109\/32.385971","volume":"21","author":"D. Luckham","year":"1995","unstructured":"Luckham, D., Kenney, J., Augustin, L., Vera, J., Bryan, D., Mann, W.: Specification and analysis of system architecture using rapide. IEEE Transactions on Software Engineering 21(4), 336\u2013355 (1995)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"1_CR28","unstructured":"Allen. R.: A Formal Approach to Software Architecture. PhD thesis, School of Computer Science, Carnegie Mellon University (1997)"},{"key":"1_CR29","doi-asserted-by":"crossref","unstructured":"Magee, J., Dulay, N., Eisenbach, S., Kramer, J.: Specifying Distributed Software Architectures. In: Proc. ESEC 95\u20135th European Software Engineering Conference, vol. 989 of LNCS, pp. 137\u2013153. Springer (1995)","DOI":"10.1007\/3-540-60406-5_12"},{"key":"1_CR30","unstructured":"Hirsch, D.: Graph transformation models for software architecture styles. PhD thesis, Departamento de Computaci\u00f3n, Universidad de Buenos Aires (2003)"},{"key":"1_CR31","doi-asserted-by":"crossref","unstructured":"Hirsch, D., Montanari, U.: Synchronized hyperedge replacement with name mobility. In: Proc. CONCUR 2001\u2014Concurrency Theory, vol. 2154 of LNCS, pp. 121\u2013136. Springer (2001)","DOI":"10.1007\/3-540-44685-0_9"},{"key":"1_CR32","doi-asserted-by":"crossref","unstructured":"Le M\u00e9tayer, D.: Software architecture styles as graph grammars. In: Proc. 4th ACM SIGSOFT Symposium on the Foundations of Software Engineering, vol. 216 of ACM Software Engineering Notes, pp. 15\u201323. ACM Press (1996)","DOI":"10.1145\/239098.239105"},{"key":"1_CR33","doi-asserted-by":"crossref","unstructured":"Taentzer, G., Goedicke, M., Meyer, T.: Dynamic change management by distributed graph transformation: Towards configurable distributed systems. In: Proc. TAGT'98\u2014Theory and Application of Graph Transformations, vol. 1764 of LNCS, pp. 179\u2013193. Springer (2000)","DOI":"10.1007\/978-3-540-46464-8_13"},{"issue":"2","key":"1_CR34","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1016\/S0167-6423(02)00036-9","volume":"44","author":"M. Wermelinger","year":"2002","unstructured":"Wermelinger, M., Fiadeiro, J.L.: A graph transformation approach to software architecture reconfiguration. Science of Computer Programming 44(2), 133\u2013155 (2002)","journal-title":"Science of Computer Programming"},{"key":"1_CR35","doi-asserted-by":"crossref","unstructured":"Engels, G., Hausmann, J.H., Heckel, R., St. Sauer. Dynamic meta modeling: A graphical approach to the operational semantics of behavioral diagrams in UML. In: Proc. UML 2000\u2014The Unified Modeling Language, vol. 1939 of LNCS, pp. 323\u2013337. Springer (2000)","DOI":"10.1007\/3-540-40011-7_23"},{"key":"1_CR36","doi-asserted-by":"crossref","unstructured":"Lilius, J., Paltor, I.P.: vUML: a tool for verifying UML models. In Proceedings of the 14th IEEE International Conference on Automated Software Engineering (ASE), pp. 255\u2013258 (1999)","DOI":"10.1109\/ASE.1999.802301"},{"key":"1_CR37","unstructured":"Compton, K., Gurevich, Y., Huggins, J., Shen, W.: An automatic verification tool for UML. Technical Report CSE-TR-423-00, University of Michigan, EECS Department (2000)"},{"key":"1_CR38","doi-asserted-by":"crossref","unstructured":"Gnesi, S., Latella, D., Massink, M.: Model checking UML statecharts diagrams using JACK. In: Proceedings of the 4th IEEE International Symposium on High Assuarance Systems Enginering (HASE), pp. 46\u201355. IEEE Press (1999)","DOI":"10.1109\/HASE.1999.809474"},{"issue":"3","key":"1_CR39","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1016\/S1571-0661(04)00262-2","volume":"55","author":"T. Sch\u00e4fer","year":"2001","unstructured":"Sch\u00e4fer, T., Knapp, A., Merz, S.: Model checking UML state machines and collaborations. Electronic Notes in Theoretical Computer Science 55(3), 13 (2001)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"1_CR40","doi-asserted-by":"crossref","unstructured":"Garlan, D., Khersonsky, S., Kim, J.S.: Model checking publish-subscribe systems. In: Proceedings of the 10th SPIN Workshop, vol. 2648 of LNCS (2003)","DOI":"10.1007\/3-540-44829-2_11"},{"key":"1_CR41","doi-asserted-by":"crossref","unstructured":"Hatcliff, J., Deng, W., Dwyer, M.B., Jung, G., Ranganath, V.: Cadena: An integrated development, analysys, and verification environment for component-based systems. In: Proceedings of the 25th International Conference on Software Engineering, pp. 160\u2013172, (2003)","DOI":"10.1109\/ICSE.2003.1201197"},{"key":"1_CR42","doi-asserted-by":"crossref","unstructured":"Batory, D., Sarvela, J.N., Rauschmayer, A.: Scaling step-wise refinement. In: Proc. ICSE 2003\u2014Int. Conference on Software Engineering, pp. 187\u2013197. IEEE (2003)","DOI":"10.1109\/ICSE.2003.1201199"},{"key":"1_CR43","doi-asserted-by":"crossref","unstructured":"Garlan, D.: Style-based refinement for software architecture. In: Proc. ISAW-2, 2nd Int. Software Architecture Workshop on SIGSOFT '96, pp. 72\u201375. ACM Press (1996)","DOI":"10.1145\/243327.243607"},{"key":"1_CR44","doi-asserted-by":"crossref","unstructured":"Canal, C., Pimentel, E., Troya, J.M.: Specification and refinement of dynamic software architectures. In: Proc. WICSA1, First Working IFIP Conference on Software Architecture, vol. 140 of IFIP Conference Proceedings, pp. 107\u2013126. Kluwer (1999)","DOI":"10.1007\/978-0-387-35563-4_7"},{"key":"1_CR45","unstructured":"Denford, M., O'Neill, T., Leaney, J.: Architecture-based design of computer based systems. In: Proc. StraW03, Int. Workshop From Software Requirements to Architectures, 2003. se.uwaterloo.ca\/straw03\/"},{"key":"1_CR46","unstructured":"Bolusset, T., Oquendo, F.: Formal refinement of software architectures based on rewriting logic. In Proc. RCS 02 Int. Workshop on Refinement of Critical Systems, 2002. http:\/\/www-lsr.imag.fr\/zb2002\/."},{"key":"1_CR47","doi-asserted-by":"crossref","unstructured":"Heckel, R., Th\u00f6ne, S.: Behavior-preserving refinement relations between dynamic software architectures. In Proc. of the 17th Int. Workshop on Algebraic Development Techniques, WADT 2004, LNCS. Springer, 2004 (to appear)","DOI":"10.1007\/978-3-540-31959-7_1"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-006-0001-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-006-0001-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-006-0001-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,8]],"date-time":"2025-01-08T06:44:58Z","timestamp":1736318698000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-006-0001-4"}},"subtitle":["A graph transformation-based approach"],"short-title":[],"issued":{"date-parts":[[2006,4,5]]},"references-count":47,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2006,6]]}},"alternative-id":["1"],"URL":"https:\/\/doi.org\/10.1007\/s10270-006-0001-4","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"type":"print","value":"1619-1366"},{"type":"electronic","value":"1619-1374"}],"subject":[],"published":{"date-parts":[[2006,4,5]]}}}