{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T14:40:08Z","timestamp":1748788808735,"version":"3.41.0"},"publisher-location":"Cham","reference-count":38,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319301419"},{"type":"electronic","value":"9783319301426"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-30142-6_6","type":"book-chapter","created":{"date-parts":[[2016,2,24]],"date-time":"2016-02-24T11:36:41Z","timestamp":1456313801000},"page":"99-117","source":"Crossref","is-referenced-by-count":2,"title":["Integrating Model Driven and Model Checking to Mine Design Patterns"],"prefix":"10.1007","author":[{"given":"Mario L.","family":"Bernardi","sequence":"first","affiliation":[]},{"given":"Marta","family":"Cimitile","sequence":"additional","affiliation":[]},{"given":"Giuseppe","family":"De Ruvo","sequence":"additional","affiliation":[]},{"given":"Giuseppe A.","family":"Di Lucca","sequence":"additional","affiliation":[]},{"given":"Antonella","family":"Santone","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,2,25]]},"reference":[{"key":"6_CR1","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"E Gamma","year":"1995","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley Longman Publishing Co., Inc., Boston (1995)"},{"key":"6_CR2","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1016\/j.infsof.2011.10.006","volume":"54","author":"A Ampatzoglou","year":"2012","unstructured":"Ampatzoglou, A., Frantzeskou, G., Stamelos, I.: A methodology to assess the impact of design patterns on software quality. Inf. Softw. Technol. 54, 331\u2013346 (2012)","journal-title":"Inf. Softw. Technol."},{"key":"6_CR3","unstructured":"Bergenti, F., Poggi, A.: Improving uml designs using automatic design pattern detection. In: Proceedings of the 12th International Conference on Software Engineering and Knowledge Engineering (SEKE 2000), pp. 336\u2013343 (2000)"},{"key":"6_CR4","unstructured":"Peng, T., Dong, J., Zhao, Y.: Verifying behavioral correctness of design pattern implementation. In: Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE 2008), pp. 454\u2013459 (2008)"},{"key":"6_CR5","first-page":"621","volume-title":"Software Engineering Research and Practice","author":"J Dong","year":"2007","unstructured":"Dong, J., Zhao, Y., Peng, T.: Architecture and design pattern discovery techniques - a review. In: Arabnia, H.R., Reza, H. (eds.) Software Engineering Research and Practice, pp. 621\u2013627. CSREA Press, Las Vegas (2007)"},{"key":"6_CR6","first-page":"251","volume":"8","author":"G Rasool","year":"2011","unstructured":"Rasool, G., Streitfdert, D.: A survey on design pattern recovery techniques. IJCSI Int. J. Comput. Sci. Issues 8, 251\u2013260 (2011)","journal-title":"IJCSI Int. J. Comput. Sci. Issues"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Beyer, D.: Relational programming with crocopat. In: Proceedings of the 28th International Conference on Software Engineering, ICSE 2006, pp. 807\u2013810. ACM, New York (2006)","DOI":"10.1145\/1134285.1134420"},{"key":"6_CR8","doi-asserted-by":"publisher","first-page":"595","DOI":"10.1109\/TSE.2002.1010061","volume":"28","author":"L Prechelt","year":"2002","unstructured":"Prechelt, L., Unger-Lamprecht, B., Philippsen, M., Tichy, W.: Two controlled experiments assessing the usefulness of design pattern documentation in program maintenance. IEEE Trans. Softw. Eng. 28, 595\u2013606 (2002)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Ceccarelli, M., Cerulo, L., De Ruvo, G., Nardone, V., Santone, A.: Infer gene regulatory networks from time series data with probabilistic model checking. In: FormaliSE 2015 (2015)","DOI":"10.1109\/FormaliSE.2015.12"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"De Ruvo, G., Santone, A.: Analysing wiki quality using probabilistic model checking. In: 2015 IEEE 24th International WETICE Conference, WETICE 2015, Larnaca, Cyprus, 15\u201317 June 2015","DOI":"10.1109\/WETICE.2015.18"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Bernardi, M.L., Cimitile, M., De Ruvo, G., Di Lucca, G.A., Santone, A.: Model checking to improve precision of design pattern instances identification in OO systems. In: ICSOFT-PT 2015 - Proceedings of the 10th International Conference on Software Paradigm Trends, Colmar, Alsace, France, 20\u201322 July 2015, pp. 53\u201363 (2015)","DOI":"10.5220\/0005520500530063"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Bernardi, M., Cimitile, M., Di Lucca, G.: A model-driven graph-matching approach for design pattern detection. In: 20th Working Conference on Reverse Engineering (WCRE), pp. 172\u2013181 (2013)","DOI":"10.1109\/WCRE.2013.6671292"},{"key":"6_CR13","doi-asserted-by":"publisher","unstructured":"Bernardi, M., Cimitile, M., Di Lucca, G.: Design patterns detection using a dsl-driven graph matching approach. J. Softw. Evol. Process. Published online in Wiley Online Library (wileyonlinelibrary.com). doi: 10.1002\/smr.1674 (2014)","DOI":"10.1002\/smr.1674"},{"key":"6_CR14","unstructured":"Gu\u00e9h\u00e9neuc, Y.G.: P-mart: pattern-like micro architecture repository. In: Michael, W., Birukou, A., Giorgini, P. (eds.) Proceedings of the 1st EuroPLoP Focus Group on Pattern Repositories (2007). http:\/\/www.ptidej.net\/tool\/designpatterns\/"},{"key":"6_CR15","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1016\/j.advengsoft.2009.10.014","volume":"41","author":"G Rasool","year":"2010","unstructured":"Rasool, G., Philippow, I., M\u00e4der, P.: Design pattern recovery based on annotations. Adv. Eng. Softw. 41, 519\u2013526 (2010)","journal-title":"Adv. Eng. Softw."},{"key":"6_CR16","doi-asserted-by":"publisher","first-page":"896","DOI":"10.1109\/TSE.2006.112","volume":"32","author":"N Tsantalis","year":"2006","unstructured":"Tsantalis, N., Chatzigeorgiou, A., Stephanides, G., Halkidis, S.T.: Design pattern detection using similarity scoring. IEEE Trans. Softw. Eng. 32, 896\u2013909 (2006)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"6_CR17","doi-asserted-by":"publisher","first-page":"1271","DOI":"10.1109\/TSMCA.2009.2028012","volume":"39","author":"J Dong","year":"2009","unstructured":"Dong, J., Zhao, Y., Sun, Y.: A matrix-based approach to recovering design patterns. Trans. Sys. Man Cyber. Part A 39, 1271\u20131282 (2009)","journal-title":"Trans. Sys. Man Cyber. Part A"},{"key":"6_CR18","unstructured":"Paakki, J., Karhinen, A., Gustafsson, J., Nenonen, L., Verkamo, A.I.: Software metrics by architectural pattern mining. In: Proceedings of the International Conference on Software: Theory and Practice (16th IFIP World Computer Congress), pp. 325\u2013332 (2000)"},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"von Detten, M., Becker, S.: Combining clustering and pattern detection for the reengineering of component-based software systems. In: Proceedings of the Joint ACM SIGSOFT Conference QoSA-ISARCS, QoSA-ISARCS 2011, pp. 23\u201332. ACM, New York (2011)","DOI":"10.1145\/2000259.2000265"},{"key":"6_CR20","doi-asserted-by":"crossref","unstructured":"Antoniol, G., Fiutem, R., Cristoforetti, L.: Design pattern recovery in object-oriented software. In: Proceedings of the 6th International Workshop on Program Comprehension, IWPC 1998, p. 153. IEEE Computer Society, Washington, DC (1998)","DOI":"10.1109\/WPC.1998.693342"},{"key":"6_CR21","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/s11219-009-9082-y","volume":"18","author":"YG Gu\u00e9h\u00e9neuc","year":"2010","unstructured":"Gu\u00e9h\u00e9neuc, Y.G., Guyomarc\u2019H, J.Y., Sahraoui, H.: Improving design-pattern identification: a new approach and an exploratory study. Softw. Qual. Control 18, 145\u2013174 (2010)","journal-title":"Softw. Qual. Control"},{"key":"6_CR22","doi-asserted-by":"publisher","first-page":"1177","DOI":"10.1016\/j.jss.2009.02.012","volume":"82","author":"A Lucia De","year":"2009","unstructured":"De Lucia, A., Deufemia, V., Gravino, C., Risi, M.: Design pattern recovery through visual language parsing and source code analysis. J. Syst. Softw. 82, 1177\u20131193 (2009)","journal-title":"J. Syst. Softw."},{"key":"6_CR23","doi-asserted-by":"publisher","first-page":"1306","DOI":"10.1016\/j.ins.2010.12.002","volume":"181","author":"F Arcelli","year":"2011","unstructured":"Arcelli, F., Zanoni, M.: A tool for design pattern detection and software architecture reconstruction. Inf. Sci. 181, 1306\u20131324 (2011)","journal-title":"Inf. Sci."},{"key":"6_CR24","doi-asserted-by":"publisher","first-page":"551","DOI":"10.1007\/s10664-007-9037-5","volume":"12","author":"P Tonella","year":"2007","unstructured":"Tonella, P., Torchiano, M., Du Bois, B., Syst\u00e4, T.: Empirical studies in reverse engineering: state of the art and future trends. Empirical Softw. Engg. 12, 551\u2013571 (2007)","journal-title":"Empirical Softw. Engg."},{"key":"6_CR25","doi-asserted-by":"publisher","first-page":"137","DOI":"10.5381\/jot.2009.8.2.a3","volume":"8","author":"T Taibi","year":"2009","unstructured":"Taibi, T., Herranz-Nieva, \u00c1., Moreno-Navarro, J.J.: Stepwise refinement validation of design patterns formalized in TLA+ using the TLC model checker. J. Object Technol. 8, 137\u2013161 (2009)","journal-title":"J. Object Technol."},{"key":"6_CR26","doi-asserted-by":"crossref","unstructured":"Aranda, G., Moore, R.: A formal model for verifying compound design patterns. In: Proceedings of the 14th International Conference on Software Engineering and Knowledge Engineering, SEKE 2002, pp. 213\u2013214. ACM, New York (2002)","DOI":"10.1145\/568760.568797"},{"key":"6_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/3-540-45251-6_13","volume-title":"FME 2001: Formal Methods for Increasing Software Productivity","author":"A Flores","year":"2001","unstructured":"Flores, A., Moore, R., Reynoso, L.: A formal model of object-oriented design and gof design patterns. In: Oliveira, J.N., Zave, P. (eds.) FME 2001. LNCS, vol. 2021, pp. 223\u2013241. Springer, Heidelberg (2001)"},{"key":"6_CR28","doi-asserted-by":"crossref","unstructured":"De Lucia, A., Deufemia, V., Gravino, C., Risi, M.: Improving behavioral design pattern detection through model checking. In: 2010 14th European Conference on Software Maintenance and Reengineering (CSMR), pp. 176\u2013185 (2010)","DOI":"10.1109\/CSMR.2010.16"},{"key":"6_CR29","series-title":"PHI Series in Computer Science","volume-title":"Communication and Concurrency","author":"R Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. PHI Series in Computer Science. Prentice Hall, Upper Saddle River (1989)"},{"key":"6_CR30","first-page":"25","volume":"14","author":"T Bolognesi","year":"1987","unstructured":"Bolognesi, T., Brinksma, E.: Introduction to the iso specification language lotos. Comput. Netw. 14, 25\u201359 (1987)","journal-title":"Comput. Netw."},{"key":"6_CR31","doi-asserted-by":"publisher","first-page":"537","DOI":"10.1006\/jcss.1999.1660","volume":"59","author":"R Barbuti","year":"1999","unstructured":"Barbuti, R., De Francesco, N., Santone, A., Vaglini, G.: Selective mu-calculus and formula-based equivalence of transition systems. J. Comput. Syst. Sci. 59, 537\u2013556 (1999)","journal-title":"J. Comput. Syst. Sci."},{"key":"6_CR32","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"Concurrency: Theory, Language, and Architecture","author":"C Stirling","year":"1989","unstructured":"Stirling, C.: An introduction to modal and temporal logics for CCS. In: Yonezawa, A., Ito, T. (eds.) Concurrency: Theory, Language, and Architecture. LNCS, pp. 1\u201320. Springer, Heidelberg (1989)"},{"key":"6_CR33","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1007\/s10703-005-1634-6","volume":"26","author":"R Barbuti","year":"2005","unstructured":"Barbuti, R., De Francesco, N., Santone, A., Vaglini, G.: Reduced models for efficient CCS verification. Formal Methods Syst. Des. 26, 319\u2013350 (2005)","journal-title":"Formal Methods Syst. Des."},{"issue":"2013","key":"6_CR34","first-page":"89","volume":"15","author":"H Garavel","year":"2011","unstructured":"Garavel, H., Lang, F., Mateescu, R., Serwe, W.: CADP: a toolbox for the construction and analysis of distributed processes. STTT 15(2013), 89\u2013107 (2011)","journal-title":"STTT"},{"key":"6_CR35","doi-asserted-by":"publisher","DOI":"10.1016\/B978-044450813-3\/50026-6","volume-title":"Model Checking","author":"EM Clarke","year":"2001","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (2001)"},{"key":"6_CR36","doi-asserted-by":"publisher","first-page":"575","DOI":"10.1109\/TSE.2009.92","volume":"36","author":"N Pettersson","year":"2010","unstructured":"Pettersson, N., Lowe, W., Nivre, J.: Evaluation of accuracy in design pattern occurrence detection. IEEE Trans. Softw. Eng. 36, 575\u2013590 (2010)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"6_CR37","unstructured":"SICStus Prolog User\u2019s Manual. Swedish Institute of Computer Science. Release 3.7.1, October 1998. Swedish Institute of Computer Science. http:\/\/www.sics.se\/isl\/sicstus.html"},{"key":"6_CR38","doi-asserted-by":"crossref","unstructured":"De Ruvo, G., Santone, A.: An eclipse-based editor to support lotos newcomers. In: 2014 IEEE 23rd International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) (2014)","DOI":"10.1109\/WETICE.2014.39"}],"container-title":["Communications in Computer and Information Science","Software Technologies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-30142-6_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T14:02:24Z","timestamp":1748786544000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-30142-6_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319301419","9783319301426"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-30142-6_6","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2016]]}}}