{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,14]],"date-time":"2024-08-14T13:52:03Z","timestamp":1723643523478},"reference-count":37,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[2019,2,6]],"date-time":"2019-02-06T00:00:00Z","timestamp":1549411200000},"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":["SICS Softw.-Inensiv. Cyber-Phys. Syst."],"published-print":{"date-parts":[[2019,6]]},"DOI":"10.1007\/s00450-019-00397-7","type":"journal-article","created":{"date-parts":[[2019,2,6]],"date-time":"2019-02-06T11:05:57Z","timestamp":1549451157000},"page":"85-97","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["An approach to automatically detect problems in restructured deployment models based on formalizing architecture and design patterns"],"prefix":"10.1007","volume":"34","author":[{"given":"Karoline","family":"Saatkamp","sequence":"first","affiliation":[]},{"given":"Uwe","family":"Breitenb\u00fccher","sequence":"additional","affiliation":[]},{"given":"Oliver","family":"Kopp","sequence":"additional","affiliation":[]},{"given":"Frank","family":"Leymann","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,2,6]]},"reference":[{"key":"397_CR1","volume-title":"A pattern language: towns, buildings, construction","author":"C Alexander","year":"1977","unstructured":"Alexander C, Ishikawa S, Silverstein M (1977) A pattern language: towns, buildings, construction. Oxford University Press, Oxford"},{"key":"397_CR2","doi-asserted-by":"crossref","unstructured":"Arnold W, Eilam T, Kalantar M, Konstantinou AV, Totok AA (2007) Pattern based SOA deployment. In: Proceedings of the fifth international conference on service-oriented computing. Springer, New York, pp 1\u201312","DOI":"10.1007\/978-3-540-74974-5_1"},{"key":"397_CR3","first-page":"771","volume-title":"Improving UML designs using automatic design pattern detection","author":"F Bergenti","year":"2002","unstructured":"Bergenti F, Poggi A (2002) Improving UML designs using automatic design pattern detection. World Scientific, Singapore, pp 771\u2013784"},{"issue":"1","key":"397_CR4","doi-asserted-by":"publisher","first-page":"22:1","DOI":"10.1145\/3150227","volume":"51","author":"A Bergmayr","year":"2018","unstructured":"Bergmayr A, Breitenb\u00fccher U, Ferry N, Rossini A, Solberg A, Wimmer M, Kappel G, Leymann F (2018) A systematic review of cloud modeling languages. ACM Comput. Surv. (CSUR) 51(1):22:1\u201322:38","journal-title":"ACM Comput. Surv. (CSUR)"},{"key":"397_CR5","unstructured":"Breitenb\u00fccher U (2016) Eine musterbasierte Methode zur Automatisierung des Anwendungsmanagements. Dissertation, University of Stuttgart, Faculty 5"},{"key":"397_CR6","unstructured":"Breitenb\u00fccher U, Binz T, Kopp O, Leymann F (2013) Pattern-based runtime management of composite cloud applications. In: Proceedings of the 3rd international conference on cloud computing and services science. SciTePress, pp 475\u2013482"},{"key":"397_CR7","doi-asserted-by":"crossref","unstructured":"Breitenb\u00fccher U, Binz T, Kopp O, Leymann F, Wettinger J (2013) Integrated cloud application provisioning: interconnecting service-centric and script-centric management technologies. In: On the move to meaningful internet systems. Springer, New York, pp 130\u2013148","DOI":"10.1007\/978-3-642-41030-7_9"},{"key":"397_CR8","unstructured":"Breitenb\u00fccher U, Binz T, Kopp O, Leymann F (2014) Automating cloud application management using management idioms. In: Proceedings of the 6th international conferences on pervasive patterns and applications. Xpert Publishing Services, Wilmington, pp 60\u201369"},{"key":"397_CR9","unstructured":"Breitenb\u00fccher U, Binz T, Kopp O, Leymann F, Wieland M (2014) Context-aware cloud application management. In: Proceedings of the 4th international conference on cloud computing and services science. SciTePress, pp 499\u2013509"},{"key":"397_CR10","volume-title":"Pattern-oriented software architecture, volume 1: a system of patterns","author":"F Buschmann","year":"1996","unstructured":"Buschmann F, Meunier R, Rohnert H, Sommerlad P, Stal M (1996) Pattern-oriented software architecture, volume 1: a system of patterns. Wiley, New York"},{"key":"397_CR11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-55481-0","volume-title":"Programming in prolog","author":"WF Clocksin","year":"2003","unstructured":"Clocksin WF, Mellish CS (2003) Programming in prolog. Springer, New York"},{"issue":"1","key":"397_CR12","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1007\/s10270-012-0246-z","volume":"13","author":"V Cortellessa","year":"2014","unstructured":"Cortellessa V, Marco AD, Trubiani C (2014) An approach for modeling and detecting software performance antipatterns based on first-order logics. Softw. Syst. Model. 13(1):391\u2013432","journal-title":"Softw. Syst. Model."},{"issue":"7","key":"397_CR13","doi-asserted-by":"publisher","first-page":"983","DOI":"10.1002\/spe.2336","volume":"46","author":"B Martino Di","year":"2016","unstructured":"Di Martino B, Esposito A (2016) A rule-based procedure for automatic recognition of design patterns in uml diagrams. Softw. Pract. Exp. 46(7):983\u20131007","journal-title":"Softw. Pract. Exp."},{"issue":"3","key":"397_CR14","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1109\/MCOM.2006.1607881","volume":"44","author":"T Eilam","year":"2006","unstructured":"Eilam T, Kalantar M, Konstantinou A, Pacifici G, Pershing J, Agrawal A (2006) Managing the configuration complexity of distributed applications in Internet data centers. Commun. Mag. 44(3):166\u2013177","journal-title":"Commun. Mag."},{"key":"397_CR15","unstructured":"Endres C, Breitenb\u00fccher U, Falkenthal M, Kopp O, Leymann F, Wettinger J (2017) Declarative vs. imperative: two modeling patterns for the automated deployment of applications. In: Proceedings of the 9th international conference on pervasive patterns and applications. Xpert Publishing Services, Wilmington, pp 22\u201327"},{"key":"397_CR16","unstructured":"Falkenthal M, Barzen J, Breitenb\u00fccher U, Fehling C, Leymann F, Hadjakos A, Hentschel F, Schulze H (2015) Leveraging pattern application via pattern refinement. In: Proceedings of the international conference on pursuit of pattern languages for societal change (epublication)"},{"key":"397_CR17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-1568-8","volume-title":"Cloud computing patterns: fundamentals to design, build, and manage cloud applications","author":"C Fehling","year":"2014","unstructured":"Fehling C, Leymann F, Retter R, Schupeck W, Arbitter P (2014) Cloud computing patterns: fundamentals to design, build, and manage cloud applications. Springer, New York"},{"issue":"7","key":"397_CR18","doi-asserted-by":"publisher","first-page":"1306","DOI":"10.1016\/j.ins.2010.12.002","volume":"181","author":"FA Fontana","year":"2011","unstructured":"Fontana FA, Zanoni M (2011) A tool for design pattern detection and software architecture reconstruction. Inf Sci 181(7):1306\u20131324","journal-title":"Inf Sci"},{"key":"397_CR19","volume-title":"Design patterns: elements of reusable object-oriented software","author":"E Gamma","year":"1994","unstructured":"Gamma E, Helm R, Johnson R, Vlissides J (1994) Design patterns: elements of reusable object-oriented software. Addison-Wesley, Boston"},{"key":"397_CR20","doi-asserted-by":"crossref","unstructured":"Guth J, Leymann F (2018) Towards pattern-based rewrite and refinement of application architectures. In: Proceedings of the 12th advanced summer school on service oriented computing, IBM Research Division","DOI":"10.1007\/s00450-019-00416-7"},{"key":"397_CR21","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/j.jss.2014.12.042","volume":"102","author":"T Haitzer","year":"2015","unstructured":"Haitzer T, Zdun U (2015) Semi-automatic architectural pattern identification and documentation using architectural primitives. J Syst Softw 102:35\u201357","journal-title":"J Syst Softw"},{"key":"397_CR22","volume-title":"Enterprise integration patterns: designing, building, and deploying messaging solutions","author":"G Hohpe","year":"2004","unstructured":"Hohpe G, Woolf B (2004) Enterprise integration patterns: designing, building, and deploying messaging solutions. Addison-Wesley Professional, Boston"},{"key":"397_CR23","unstructured":"Jamshidi P, Pahl C, Chinenyeze S, Liu X (2014) Cloud migration patterns: a multi-cloud service architecture perspective. In: Service-oriented computing\u2014ICSOC 2014 workshops. Springer, Berlin, pp 6\u201319"},{"key":"397_CR24","doi-asserted-by":"crossref","unstructured":"Kampffmeyer H, Zschaler S (2007) Finding the pattern you need: the design pattern intent ontology. In: International conference on model driven engineering languages and systems. Springer, New York, pp 211\u2013225","DOI":"10.1007\/978-3-540-75209-7_15"},{"issue":"6","key":"397_CR25","doi-asserted-by":"publisher","first-page":"560","DOI":"10.1016\/j.jvlc.2007.02.009","volume":"18","author":"DK Kim","year":"2007","unstructured":"Kim DK, Khawand CE (2007) An approach to precisely specifying the problem domain of design patterns. J Vis Lang Comput 18(6):560\u2013591","journal-title":"J Vis Lang Comput"},{"key":"397_CR26","doi-asserted-by":"crossref","unstructured":"Kopp O, Binz T, Breitenb\u00fccher U, Leymann F (2013) Winery\u2014a modeling tool for TOSCA-based cloud applications. In: Proceedings of the 11th international conference on service-oriented computing. Springer, New York, pp 700\u2013704","DOI":"10.1007\/978-3-642-45005-1_64"},{"key":"397_CR27","unstructured":"Lim DK, Lu L (2006) Inference of design pattern instances in UML models via logic programming. In: 11th IEEE international conference on engineering of complex computer systems, IEEE, pp 10\u201329"},{"key":"397_CR28","unstructured":"Meszaros G, Doble J (1997) MetaPatterns: a pattern language for pattern writing. In: Proceedings of international conference on pattern languages of program design, pp 164\u2013200"},{"key":"397_CR29","unstructured":"OASIS (2013) Topology and orchestration specification for cloud applications (TOSCA) Version 1.0"},{"key":"397_CR30","unstructured":"OASIS (2016) TOSCA simple profile in YAML Version 1.0"},{"key":"397_CR31","doi-asserted-by":"crossref","unstructured":"Saatkamp K, Breitenb\u00fccher U, Kopp O, Leymann F (2017) Topology splitting and matching for multi-cloud deployments. In: Proceedings of the 7th international conference on cloud computing and services science. SciTePress, pp 247\u2013258","DOI":"10.5220\/0006371002750286"},{"key":"397_CR32","unstructured":"Saatkamp K, Breitenb\u00fccher U, Kopp O, Leymann F (2018) Application scenarios for automated problem detection in TOSCA topologies by formalized patterns. In: Proceedings of the 12th advanced summer school on service oriented computing, IBM Research Division"},{"key":"397_CR33","volume-title":"Security patterns: integrating security and systems engineering","author":"M Schumacher","year":"2006","unstructured":"Schumacher M, Fernandez-Buglioni E, Hybertson D, Buschmann F, Sommerlad P (2006) Security patterns: integrating security and systems engineering. Wiley, New York"},{"key":"397_CR34","unstructured":"Strauch S, Andrikopoulos V, Breitenb\u00fccher U, S\u00e1ez SG, Kopp O, Leymann F (2013) Using patterns to move the application data layer to the cloud. In: Proceedings of the 5th international conference on pervasive patterns and applications. Xpert Publishing Services, pp 26\u201333"},{"issue":"4","key":"397_CR35","doi-asserted-by":"publisher","first-page":"127","DOI":"10.5381\/jot.2003.2.4.a4","volume":"2","author":"T Taibi","year":"2003","unstructured":"Taibi T, Ngo DCL (2003) Formal specification of design patterns\u2014a balanced approach. J Object Technol 2(4):127\u2013140","journal-title":"J Object Technol"},{"key":"397_CR36","doi-asserted-by":"crossref","unstructured":"Wellhausen T, Fiesser A (2012) How to write a pattern? A rough guide for first-time pattern authors. In: Proceedings of the 16th European conference on pattern languages of programs. ACM","DOI":"10.1145\/2396716.2396721"},{"key":"397_CR37","doi-asserted-by":"crossref","unstructured":"Zdun U, Avgeriou P (2005) Modeling architectural patterns using architectural primitives. In: Proceedings of the 20th annual ACM SIGPLAN conference on object-oriented programming, systems, languages, and applications. ACM, pp 133\u2013146","DOI":"10.1145\/1094811.1094822"}],"container-title":["SICS Software-Intensive Cyber-Physical Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00450-019-00397-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00450-019-00397-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00450-019-00397-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,2,6]],"date-time":"2020-02-06T00:13:24Z","timestamp":1580948004000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00450-019-00397-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,2,6]]},"references-count":37,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[2019,6]]}},"alternative-id":["397"],"URL":"https:\/\/doi.org\/10.1007\/s00450-019-00397-7","relation":{},"ISSN":["2524-8510","2524-8529"],"issn-type":[{"value":"2524-8510","type":"print"},{"value":"2524-8529","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,2,6]]},"assertion":[{"value":"6 February 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}