{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T13:44:12Z","timestamp":1762004652248,"version":"3.40.4"},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2014,9,10]],"date-time":"2014-09-10T00:00:00Z","timestamp":1410307200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2016,7]]},"DOI":"10.1007\/s10270-014-0433-1","type":"journal-article","created":{"date-parts":[[2014,9,9]],"date-time":"2014-09-09T06:00:48Z","timestamp":1410242448000},"page":"685-705","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Enhanced graph rewriting systems for complex software domains"],"prefix":"10.1007","volume":"15","author":[{"given":"C\u00e9dric","family":"Eichler","sequence":"first","affiliation":[]},{"given":"Thierry","family":"Monteil","sequence":"additional","affiliation":[]},{"given":"Patricia","family":"Stolf","sequence":"additional","affiliation":[]},{"given":"Luigi Alfredo","family":"Grieco","sequence":"additional","affiliation":[]},{"given":"Khalil","family":"Drira","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,9,10]]},"reference":[{"key":"433_CR1","doi-asserted-by":"crossref","unstructured":"Alaya, M.B., Monteil, T.: Frameself: a generic context-aware autonomic framework for self-management of distributed systems. In: 21st IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), pp. 60\u201365 (2012)","DOI":"10.1109\/WETICE.2012.85"},{"issue":"3","key":"433_CR2","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1145\/258077.258078","volume":"6","author":"R Allen","year":"1997","unstructured":"Allen, R., Garlan, D.: A formal basis for architectural connection. ACM Trans. Softw. Eng. Methodol. 6(3), 213\u2013249 (1997)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"433_CR3","doi-asserted-by":"crossref","unstructured":"Allen, R., Douence, R., Garlan, D.: Specifying and analyzing dynamic software architectures. In: Fundamental Approaches to Software Engineering, Lecture Notes in Computer Science, vol. 1382, pp. 21\u201337. Springer, Berlin (1998)","DOI":"10.1007\/BFb0053581"},{"key":"433_CR4","doi-asserted-by":"crossref","unstructured":"Baleani, M., Ferrari, A., Mangeruca, L., Sangiovanni-Vincentelli, A., Freund, U., Schlenker, E., Wolff, H.J.: Correct-by-construction transformations across design environments for model-based embedded software development. In: Conference on Design, Automation and Test in Europe (DATE), pp. 1044\u20131049 (2005)","DOI":"10.1109\/DATE.2005.105"},{"issue":"2","key":"433_CR5","doi-asserted-by":"crossref","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. J. Softw. Syst. Model. 5(2), 187\u2013207 (2006)","journal-title":"J. Softw. Syst. Model."},{"key":"433_CR6","doi-asserted-by":"crossref","unstructured":"Bonakdarpour, B., Bozga, M., Jaber, M., Quilbeuf, J., Sifakis, J.: Automated conflict-free distributed implementation of component-based models. In: International Symposium on Industrial Embedded Systems (SIES), pp. 108\u2013117 (2010)","DOI":"10.1109\/SIES.2010.5551377"},{"issue":"5","key":"433_CR7","doi-asserted-by":"crossref","first-page":"769","DOI":"10.1016\/j.future.2011.04.018","volume":"28","author":"D Borgetto","year":"2012","unstructured":"Borgetto, D., Casanova, H., Da Costa, G., Pierson, J.M.: Energy-aware service allocation. Future Gener. Comput. Syst. 28(5), 769\u2013779 (2012)","journal-title":"Future Gener. Comput. Syst."},{"key":"433_CR8","doi-asserted-by":"crossref","unstructured":"Bradbury, J.S., Cordy, J.R., Dingel, J., Wermelinger, M.: A survey of self-management in dynamic software architecture specifications. In: ACM SIGSOFT Workshop on Self-managed Systems (WOSS), ACM, New York, NY, USA, pp. 28\u201333 (2004)","DOI":"10.1145\/1075405.1075411"},{"issue":"3","key":"433_CR9","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1177\/1094342006067472","volume":"20","author":"E Caron","year":"2006","unstructured":"Caron, E., Desprez, F.: Diet: a scalable toolbox to build network enabled servers on the grid. Int. J. High Perform. Comput. Appl. 20(3), 335\u2013352 (2006)","journal-title":"Int. J. High Perform. Comput. Appl."},{"issue":"3","key":"433_CR10","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1109\/TIT.1956.1056813","volume":"2","author":"N Chomsky","year":"1956","unstructured":"Chomsky, N.: Three models for the description of language. IEEE Trans. Inf. Theory 2(3), 113\u2013124 (1956)","journal-title":"IEEE Trans. Inf. Theory"},{"key":"433_CR11","volume-title":"Fundamentals of Algebraic Specification. EATCS Monographs in Theoretical Computer Science. An EATCS Series","author":"H Ehrig","year":"1985","unstructured":"Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification. EATCS Monographs in Theoretical Computer Science. An EATCS Series. Springer, Berlin (1985)"},{"issue":"1","key":"433_CR12","first-page":"31","volume":"74","author":"H Ehrig","year":"2006","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamental theory for typed attributed graphs and graph transformation based on adhesive HLR categories. Fundam. Inform. 74(1), 31\u201361 (2006)","journal-title":"Fundam. Inform."},{"key":"433_CR13","doi-asserted-by":"crossref","unstructured":"Eichler, C., Gharbi, G., Guermouche, N., Monteil, T., Stolf, P.: Graph-based formalism for machine-to-machine self-managed communications. In: 22nd IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), pp. 74\u201379 (2013)","DOI":"10.1109\/WETICE.2013.45"},{"key":"433_CR14","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1007\/1-84628-111-3_7","volume-title":"Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective","author":"C Gacek","year":"2006","unstructured":"Gacek, C., Lemos, R.: Architectural description of dependable software systems. In: Besnard, D., Gacek, C., Jones, C. (eds.) Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective, pp. 127\u2013142. Springer, London (2006)"},{"key":"433_CR15","first-page":"47","volume-title":"Foundations of Component-Based Systems","author":"D Garlan","year":"2000","unstructured":"Garlan, D., Monroe, R.T., Wile, D.: Acme: architectural description of component-based systems. In: Leavens, G.T., Sitaraman, M. (eds.) Foundations of Component-Based Systems, pp. 47\u201368. Cambridge University Press, Cambridge (2000)"},{"key":"433_CR16","doi-asserted-by":"crossref","unstructured":"G\u00f6ssler, G., Graf, S., Majster-Cederbaum, M., Martens, M., Sifakis, J.: Ensuring properties of interaction systems by construction In: Reps, T., Sagiv, M., Bauer, J. (eds.) Program Analysis and Compilation, Theory and Practice, pp. 201\u2013224. Springer, Berlin (2007)","DOI":"10.1007\/978-3-540-71322-7_10"},{"issue":"0","key":"433_CR17","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1016\/S1571-0661(05)80626-7","volume":"28","author":"D Hirsch","year":"2000","unstructured":"Hirsch, D., Montanari, U.: Consistent transformations for software architecture styles of distributed systems. Electron. Notes Theor. Comput. Sci. 28(0), 4\u201325 (2000)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"433_CR18","first-page":"127","volume-title":"Software Architecture, The International Federation for Information Processing","author":"D Hirsch","year":"1999","unstructured":"Hirsch, D., Inverardi, P., Montanari, U.: Modeling software architectures and styles with graph grammars and constraint solving. In: Donohoe, P. (ed.) Software Architecture, The International Federation for Information Processing, vol. 12, pp. 127\u2013143. Springer, New York (1999)"},{"key":"433_CR19","doi-asserted-by":"crossref","unstructured":"Hoffmann, B.: Graph transformation with variables. In: Formal Methods in Software and System Modeling, vol. 3393 of Lecture Notes in Computer Science, Springer, pp. 101\u2013115 (2005)","DOI":"10.1007\/978-3-540-31847-7_6"},{"key":"433_CR20","unstructured":"IEEE: IEEE recommended practice for architectural description of software-intensive systems. IEEE Std 1471-2000, pp. 1\u201323 (2000)"},{"key":"433_CR21","doi-asserted-by":"crossref","unstructured":"Kacem, M.H., Jmaiel, M., Kacem, A.H., Drira, K.: Evaluation and comparison of ADL based approaches for the description of dynamic of software architectures. In: 7th International Conference on Enterprise Information Systems (ICEIS), Miami, USA, pp. 189\u2013195 (2005)","DOI":"10.5220\/0002524701890195"},{"key":"433_CR22","doi-asserted-by":"crossref","unstructured":"Kand\u00e9, M.M., Strohmeier, A.: Towards a uml profile for software architecture descriptions. In: 3rd International Conference on the Unified Modeling Language: Advancing the Standard (UML). Springer, Berlin, Heidelberg, pp. 513\u2013527 (2000)","DOI":"10.1007\/3-540-40011-7_38"},{"issue":"1","key":"433_CR23","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1109\/MC.2003.1160055","volume":"36","author":"J Kephart","year":"2003","unstructured":"Kephart, J., Chess, D.: The vision of autonomic computing. Computer 36(1), 41\u201350 (2003)","journal-title":"Computer"},{"issue":"4","key":"433_CR24","doi-asserted-by":"crossref","first-page":"150","DOI":"10.2307\/2267778","volume":"3","author":"SC Kleene","year":"1938","unstructured":"Kleene, S.C.: On notation for ordinal number. J. Symb. Logic 3(4), 150\u2013155 (1938)","journal-title":"J. Symb. Logic"},{"key":"433_CR25","volume-title":"Introduction to Metamathematics, Bibliotheca mathematica","author":"SC Kleene","year":"1952","unstructured":"Kleene, S.C.: Introduction to Metamathematics, Bibliotheca mathematica, vol. 1. North-Holland, Amsterdam (1952)"},{"key":"433_CR26","doi-asserted-by":"crossref","first-page":"521","DOI":"10.1109\/32.708567","volume":"24","author":"D M\u00e9tayer Le","year":"1998","unstructured":"Le M\u00e9tayer, D.: Describing software architecture styles using graph grammars. IEEE Trans. Softw. Eng. 24, 521\u2013533 (1998)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"433_CR27","doi-asserted-by":"crossref","unstructured":"Loulou, I., Kacem, A.H., Jmaiel, M., Drira, K.: Towards a unified graph-based framework for dynamic component-based architectures description in Z. In: IEEE\/ACS International Conference on Pervasive Services (ICPS). IEEE Computer Society, Los Alamitos, CA, USA, pp. 227\u2013234 (2004)","DOI":"10.1109\/PERSER.2004.33"},{"key":"433_CR28","doi-asserted-by":"crossref","unstructured":"Lun, L., Chi, X.: Relationship between testing criteria for architecture configuration testing based on wright specification. In: International Conference on Computational Intelligence and Software Engineering (CiSE), pp. 1\u20134 (2010)","DOI":"10.1109\/CISE.2010.5676824"},{"key":"433_CR29","doi-asserted-by":"crossref","unstructured":"Magee, J., Kramer, J.: Dynamic structure in software architectures. In: 4th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), pp. 3\u201314 (1996)","DOI":"10.1145\/239098.239104"},{"key":"433_CR30","first-page":"1","volume":"31","author":"F Oquendo","year":"2006","unstructured":"Oquendo, F.: Pi-method: a model-driven formal method for architecture-centric software engineering. ACM SIGSOFT Softw. Eng. Notes 31, 1\u201313 (2006)","journal-title":"ACM SIGSOFT Softw. Eng. Notes"},{"issue":"6","key":"433_CR31","doi-asserted-by":"crossref","first-page":"425","DOI":"10.1145\/2345156.1993548","volume":"47","author":"T Parr","year":"2011","unstructured":"Parr, T., Fisher, K.: LL(*): the foundation of the ANTLR parser generator. SIGPLAN Not. 47(6), 425\u2013436 (2011)","journal-title":"SIGPLAN Not."},{"key":"433_CR32","doi-asserted-by":"crossref","first-page":"226","DOI":"10.1504\/IJAC.2010.033007","volume":"3","author":"IB Rodriguez","year":"2010","unstructured":"Rodriguez, I.B., Drira, K., Chassot, C., Guennoun, K., Jmaiel, M.: A rule-driven approach for architectural self adaptation in collaborative activities using graph grammars. Int. J. Auton. Comput. 3, 226\u2013245 (2010)","journal-title":"Int. J. Auton. Comput."},{"key":"433_CR33","doi-asserted-by":"crossref","unstructured":"Rong, M., Liu, C., Zhang, G.: Modeling aspect-oriented software architecture based on acme. In: 6th International Conference on Computer Science Education (ICCSE), pp. 1159\u20131164 (2011)","DOI":"10.1109\/ICCSE.2011.6028839"},{"key":"433_CR34","doi-asserted-by":"crossref","unstructured":"Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformations. Volume 1: Foundations, World Scientific, Singapore (1997).","DOI":"10.1142\/3303"},{"key":"433_CR35","doi-asserted-by":"crossref","unstructured":"Saxena, P., Menezes, N., Cocchini, P., Kirkpatrick, D.A.: The scaling challenge: can correct-by-construction design help? In: International Symposium on Physical Design (ISPD), ACM, New York, NY, USA, pp. 51\u201358 (2003)","DOI":"10.1145\/640000.640014"},{"key":"433_CR36","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1145\/949952.940081","volume":"28","author":"P Selonen","year":"2003","unstructured":"Selonen, P., Xu, J.: Validating uml models against architectural profiles. SIGSOFT Softw. Eng. Notes 28, 58\u201367 (2003)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"issue":"1","key":"433_CR37","doi-asserted-by":"crossref","first-page":"58","DOI":"10.4018\/jaras.2011010104","volume":"2","author":"R Sharrock","year":"2011","unstructured":"Sharrock, R., Monteil, T., Stolf, P., Hagimont, D., Broto, L.: Non-intrusive autonomic approach with self-management policies applied to legacy infrastructures for performance improvements. Int. J. Adapt. Resil. Auton. Syst. 2(1), 58\u201376 (2011)","journal-title":"Int. J. Adapt. Resil. Auton. Syst."},{"key":"433_CR38","doi-asserted-by":"crossref","unstructured":"Simalatsar, A., Guo, L., Bozga, M., Passerone, R.: Integration of correct-by-construction bip models into the Metroii design space exploration flow. In: 30th IEEE International Conference on Computer Design (ICCD), pp. 490\u2013491 (2012)","DOI":"10.1109\/ICCD.2012.6378688"},{"key":"433_CR39","doi-asserted-by":"crossref","unstructured":"Tahar, B.M., Taoufik, S.R., Mourad, K.: Checking non-functional properties of UML2.0 components assembly. In: 22nd IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), pp. 278\u2013283 (2013)","DOI":"10.1109\/WETICE.2013.31"},{"key":"433_CR40","doi-asserted-by":"crossref","unstructured":"Wermelinger, M., Fiadeiro, J.L.: A graph transformation approach to software architecture reconfiguration. Science of Computer Programming 44(2), 133\u2013155. Special Issue on Applications of Graph Transformations (GRATRA 2000) (2002)","DOI":"10.1016\/S0167-6423(02)00036-9"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-014-0433-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-014-0433-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-014-0433-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T14:53:11Z","timestamp":1746370391000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-014-0433-1"}},"subtitle":["Dynamic software architecture, non-functional requirements, and correctness by construction"],"short-title":[],"issued":{"date-parts":[[2014,9,10]]},"references-count":40,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2016,7]]}},"alternative-id":["433"],"URL":"https:\/\/doi.org\/10.1007\/s10270-014-0433-1","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"type":"print","value":"1619-1366"},{"type":"electronic","value":"1619-1374"}],"subject":[],"published":{"date-parts":[[2014,9,10]]}}}