Top

Software and Systems Modeling

Published in:

15-11-2021 | Regular Paper

A generic approach to detect design patterns in model transformations using a string-matching algorithm

Authors: Chihab eddine Mokaddem, Houari Sahraoui, Eugene Syriani

Published in: Software and Systems Modeling | Issue 3/2022

Activate our intelligent search to find suitable subject content or patents.

search-config

AI-assisted search

Off

Abstract

Maintaining software artifacts is a complex and time-consuming task. Like any other program, model transformations are subject to maintenance. In a maintenance process, much effort is dedicated to the comprehension of programs. To this end, several techniques are used, such as feature location and design pattern detection. In the particular case of model transformations, detecting design patterns contributes to a better comprehension as they carry valuable information on the transformation structure. In this paper, we propose a generic approach to detect, semi-automatically, design patterns and their variations in model transformations. Our approach encodes both design patterns and transformations as strings and use a string-matching algorithm for the detection. The approach is able to detect complete and partial implementations of design patterns in transformations, which is useful to refactoring and improving model transformations.

previous article Model-based ideal testing of hardware description language (HDL) programs

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

inform now

The algorithm is similar to the one presented in [20] based on the transportation simplex [8].

https://www.eclipse.org/henshin/examples.php?example=ecore2genmodel.

https://www.eclipse.org/henshin/examples.php.

https://www.eclipse.org/atl/atlTransformations/.

For example, through Entities before Relations or Auxiliary Metamodel.

Al-Obeidallah, M., Petridis, M., Kapetanakis, S.: A survey on design pattern detection approaches. Int. J. Softw. Eng. 7, 41–59 (2016)

Alnusair, A., Zhao, T., Yan, G.: Rule-based detection of design patterns in program code. STTT 16(3), 315–334 (2014). https://doi.org/10.1007/s10009-013-0292-zCrossRef

Antoniol, G., Fiutem, R., Cristoforetti, L.: Design pattern recovery in object-oriented software. In: 6th International Workshop on Program Comprehension (IWPC ’98), June 24–26, 1998, Ischia, Italy, pp. 153–160 https://doi.org/10.1109/WPC.1998.693342 (1998)

Arcelli, F., Perin, F., Raibulet, C., Ravani, S.: Design pattern detection in java systems: a dynamic analysis based approach. In: Evaluation of Novel Approaches to Software Engineering: 3rd and 4th International Conferences, ENASE 2008/2009, Funchal, Madeira, Portugal, May 4-7, 2008 / Milan, Italy, May 9–10, 2009. Revised Selected Papers, pp. 163–179 . https://doi.org/10.1007/978-3-642-14819-4_12 (2009)

Arendt, T., Biermann, E., Jurack, S., Krause, C., Taentzer, G.: Henshin: advanced concepts and tools for in-place EMF model transformations. In: D.C. Petriu, N. Rouquette, Ø. Haugen (eds.) Model Driven Engineering Languages and Systems: 13th International Conference, MODELS 2010, Oslo, Norway, October 3–8, 2010, Proceedings, Part I, Lecture Notes in Computer Science, vol. 6394, pp. 121–135. Springer . https://doi.org/10.1007/978-3-642-16145-2_9 (2010)

Batot, E., Sahraoui, H.A., Syriani, E., Molins, P., Sboui, W.: Systematic mapping study of model transformations for concrete problems. In: S. Hammoudi, L.F. Pires, B. Selic, P. Desfray (eds.) MODELSWARD 2016 - Proceedings of the 4rd International Conference on Model-Driven Engineering and Software Development, Rome, Italy, 19–21 February, 2016, pp. 176–183. SciTePress. https://doi.org/10.5220/0005657301760183 (2016)

Bergeron, A., Hamel, S.: Vector algorithms for approximate string matching. Int. J. Found. Comput. Sci. 13(1), 53–66 (2002). https://doi.org/10.1142/S0129054102000947MathSciNetCrossRefMATH

Dantizig, G.B.: Linear Programming and Extensions. Princeton University Press, Princeton (1991)

von Detten, M., Becker, S.: Combining clustering and pattern detection for the reengineering of component-based software systems. In: 7th International Conference on the Quality of Software Architectures, QoSA 2011 and 2nd International Symposium on Architecting Critical Systems, ISARCS 2011. Boulder, CO, USA, June 20–24, 2011, Proceedings, pp. 23–32 (2011). https://doi.org/10.1145/2000259.2000265

10.

Dong, J., Lad, D.S., Zhao, Y.: Dp-miner: design pattern discovery using matrix. In: 14th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2007), 26–29 March 2007, Tucson, Arizona, USA, pp. 371–380 (2007). https://doi.org/10.1109/ECBS.2007.33

11.

Ergin, H., Syriani, E., Gray, J.: Design pattern oriented development of model transformations. Comput. Lang. Syst. Struct. 46, 106–139 (2016). https://doi.org/10.1016/j.cl.2016.07.004CrossRef

12.

Ferenc, R., Beszédes, Á., Tarkiainen, M., Gyimóthy, T.: Columbus: reverse engineering tool and schema for C++. In: 18th International Conference on Software Maintenance (ICSM 2002), Maintaining Distributed Heterogeneous Systems, 3–6 October 2002, Montreal, Quebec, Canada, pp. 172–181 (2002). https://doi.org/10.1109/ICSM.2002.1167764

13.

Guéhéneuc, Y., Guyomarc’h, J., Sahraoui, H.A.: Improving design-pattern identification: a new approach and an exploratory study. Softw. Qual. J. 18(1), 145–174 (2010). https://doi.org/10.1007/s11219-009-9082-y

14.

Guéhéneuc, Y., Sahraoui, H.A., Zaidi, F.: Fingerprinting design patterns. In: 11th Working Conference on Reverse Engineering, WCRE 2004, Delft, The Netherlands, November 8–12, 2004, pp. 172–181 (2004). https://doi.org/10.1109/WCRE.2004.21

15.

Holub, J.: Simulation of NFA in approximate string and sequence matching. In: Proceedings of the Prague Stringology Club Workshop 1997, Prague, Czech Republic, July 7, 1997, pp. 39–46. Department of Computer Science and Engineering, Faculty of Electrical Engineering, Czech Technical University (1997). http://www.stringology.org/event/1997/p5.html

16.

Iacob, M., Steen, M.W.A., Heerink, L.: Reusable model transformation patterns. In: Workshops Proceedings of the 12th International IEEE Enterprise Distributed Object Computing Conference, ECOCW 2008, 16 September 2008, Munich, Germany, pp. 1–10 (2008). https://doi.org/10.1109/EDOCW.2008.51

17.

Johannes, J., Zschaler, S., Fernández, M.A., Castillo, A., Kolovos, D.S., Paige, R.F.: Abstracting complex languages through transformation and composition. In: A. Schürr, B. Selic (eds.) Model Driven Engineering Languages and Systems, 12th International Conference, MODELS 2009, Denver, CO, USA, October 4–9, 2009. Proceedings, Lecture Notes in Computer Science, vol. 5795, pp. 546–550. Springer (2009). https://doi.org/10.1007/978-3-642-04425-0_41

18.

Jouault, F., Allilaire, F., Bézivin, J., Kurtev, I.: ATL: a model transformation tool. Sci. Comput. Program. 72(1–2), 31–39 (2008). https://doi.org/10.1016/j.scico.2007.08.002MathSciNetCrossRefMATH

19.

Jurack, S., Tietje, J.: Solving the TTC 2011 reengineering case with henshin. In: Proceedings Fifth Transformation Tool Contest, TTC 2011, Zürich, Switzerland, June 29–30 2011, pp. 181–203 (2011). https://doi.org/10.4204/EPTCS.74.17

20.

Kaczor, O., Guéhéneuc, Y., Hamel, S.: Identification of design motifs with pattern matching algorithms. Inf. Softw. Technol. 52(2), 152–168 (2010). https://doi.org/10.1016/j.infsof.2009.08.006CrossRef

21.

Kramer, C., Prechelt, L.: Design recovery by automated search for structural design patterns in object-oriented software. In: Proceedings of WCRE ’96: 4rd Working Conference on Reverse Engineering, pp. 208–215 (1996). https://doi.org/10.1109/WCRE.1996.558905

22.

Lano, K., Rahimi, S.K.: Model-transformation design patterns. IEEE Trans. Softw. Eng. 40(12), 1224–1259 (2014). https://doi.org/10.1109/TSE.2014.2354344CrossRef

23.

Lano, K., Rahimi, S.K., Tehrani, S.Y., Sharbaf, M.: A survey of model transformation design pattern usage. In: Theory and Practice of Model Transformation: 10th International Conference, ICMT 2017, Proceedings, LNCS, vol. 10374, pp. 108–118. Springer (2017). https://doi.org/10.1007/978-3-319-61473-1_8

24.

Lano, K., Rahimi, S.K., Tehrani, S.Y., Sharbaf, M.: A survey of model transformation design patterns in practice. J. Syst. Softw. 140, 48–73 (2018). https://doi.org/10.1016/j.jss.2018.03.001CrossRef

25.

Lucia, A.D., Deufemia, V., Gravino, C., Risi, M.: Design pattern recovery through visual language parsing and source code analysis. J. Syst. Softw. 82(7), 1177–1193 (2009). https://doi.org/10.1016/j.jss.2009.02.012CrossRef

26.

Mayvan, B.B., Rasoolzadegan, A.: Design pattern detection based on the graph theory. Knowl. Based Syst. 120, 211–225 (2017). https://doi.org/10.1016/j.knosys.2017.01.007CrossRef

27.

Mhawish, M.Y., Gupta, M.: Design pattern detection using ontology (2018)

28.

Mokaddem, C., Sahraoui, H., Syriani, E.: Towards rule-based detection of design patterns in model transformations. In: System Analysis and Modeling. Technology-Specific Aspects of Models: 9th International Conference, SAM 2016, Saint-Melo, France, October 3–4, 2016, Proceedings, LNCS, vol. 9959, pp. 211–225. Springer, Saint-Malo (2016). https://doi.org/10.1007/978-3-319-46613-2_14

29.

Mokaddem, C., Sahraoui, H., Syriani, E.: Recommending model refactoring rules from refactoring examples. In: A. Wasowski, R.F. Paige, Ø. Haugen (eds.) Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2018, Copenhagen, Denmark, October 14-19, 2018, pp. 257–266. ACM (2018). https://doi.org/10.1145/3239372.3239406

30.

Myers, G.: A fast bit-vector algorithm for approximate string matching based on dynamic programming. J. ACM 46(3), 395–415 (1999). https://doi.org/10.1145/316542.316550MathSciNetCrossRefMATH

31.

Needleman, S.B., Wunsch, C.D.: A general method applicable to the search for similarities in the amino acid sequence of two proteins. J. Mol. Biol. 48(3), 443–453 (1970). https://doi.org/10.1016/0022-2836(70)90057-4CrossRef

32.

Niere, J., Schäfer, W., Wadsack, J.P., Wendehals, L., Welsh, J.: Towards pattern-based design recovery. In: Proceedings of the 24th International Conference on Software Engineering, ICSE 2002, 19–25 May 2002, Orlando, Florida, USA, pp. 338–348 (2002). https://doi.org/10.1145/581339.581382

33.

Oakes, B.J., Troya, J., Lúcio, L., Wimmer, M.: Full contract verification for ATL using symbolic execution. Softw. Syst. Model. 17(3), 815–849 (2018). https://doi.org/10.1007/s10270-016-0548-7CrossRef

34.

Paakki, J., Karhinen, A., Gustafsson, J., Nenonen, L., Verkamo, A.: Software metrics by architectural pattern mining. In: Proceedings of the International Conference on Software: Theory and Practice (16th IFIP World Computer Congress) (2000)

35.

Pandiselvam, P., Marimuthu, T., Lawrance, R.: A comparative study on string matching algorithm of biological sequences. Computing Research Repository (CoRR) (2014). arXiv:1401.7416

36.

Philippow, I., Streitferdt, D., Riebisch, M., Naumann, S.: An approach for reverse engineering of design patterns. Softw. Syst. Model. 4(1), 55–70 (2005). https://doi.org/10.1007/s10270-004-0059-9CrossRef

37.

Ramadan, Q., Salnitri, M., Strüber, D., Jürjens, J., Giorgini, P.: From secure business process modeling to design-level security verification. In: 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2017, Austin, TX, USA, September 17–22, 2017, pp. 123–133. IEEE Computer Society (2017). https://doi.org/10.1109/MODELS.2017.10

38.

Rasool, G., Philippow, I., Mäder, P.: Design pattern recovery based on annotations. Adv. Eng. Softw. 41(4), 519–526 (2010). https://doi.org/10.1016/j.advengsoft.2009.10.014CrossRefMATH

39.

Richa, E., Borde, E., Pautet, L.: Translation of ATL to AGT and application to a code generator for simulink. Softw. Syst. Model. 18(1), 321–344 (2019). https://doi.org/10.1007/s10270-017-0607-8CrossRef

40.

Shi, N., Olsson, R.A.: Reverse engineering of design patterns from java source code. In: 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 18–22 September 2006, Tokyo, Japan, pp. 123–134 (2006). https://doi.org/10.1109/ASE.2006.57

41.

Smith, T., Waterman, M.: Identification of common molecular subsequences. J. Mol. Biol. 147(1), 195–197 (1981). https://doi.org/10.1016/0022-2836(81)90087-5CrossRef

42.

Srinivasan, G.: Operations Research: Principles and Applications. Prentice-Hall of India, Hoboken (2010)

43.

Syriani, E., Vangheluwe, H.: A modular timed graph transformation language for simulation-based design. Softw. Syst. Model. 12(2), 387–414 (2013). https://doi.org/10.1007/s10270-011-0205-0CrossRef

44.

Tsantalis, N., Chatzigeorgiou, A., Stephanides, G., Halkidis, S.T.: Design pattern detection using similarity scoring. IEEE Trans. Softw. Eng. 32(11), 896–909 (2006). https://doi.org/10.1109/TSE.2006.112CrossRef

45.

Uchiyama, S., Kubo, A., Washizaki, H., Fukazawa, Y.: Detecting design patterns in object-oriented program source code by using metrics and machine learning. J. Softw. Eng. Appl. (2014). https://doi.org/10.4236/jsea.2014.712086CrossRef

46.

Yu, D., Zhang, Y., Chen, Z.: A comprehensive approach to the recovery of design pattern instances based on sub-patterns and method signatures. J. Syst. Softw. 103, 1–16 (2015). https://doi.org/10.1016/j.jss.2015.01.019CrossRef

47.

Zanoni, M., Fontana, F.A., Stella, F.: On applying machine learning techniques for design pattern detection. J. Syst. Softw. 103, 102–117 (2015). https://doi.org/10.1016/j.jss.2015.01.037CrossRef

Title: A generic approach to detect design patterns in model transformations using a string-matching algorithm
Authors: Chihab eddine Mokaddem
Houari Sahraoui
Eugene Syriani
Publication date: 15-11-2021
Publisher: Springer Berlin Heidelberg
Published in: Software and Systems Modeling / Issue 3/2022
Print ISSN: 1619-1366
Electronic ISSN: 1619-1374
DOI: https://doi.org/10.1007/s10270-021-00936-4

Springer Professional

Abstract

Please log in to get access to your license.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Wirtschaft"

Springer Professional "Technik"

Other articles of this Issue 3/2022

DEVS-based formalism for the modeling of routing processes

Guest editorial to the theme section on AI-enhanced model-driven engineering

Promoting social diversity for the automated learning of complex MDE artifacts

AI-driven streamlined modeling: experiences and lessons learned from multiple domains

Event-driven temporal models for explanations - ETeMoX: explaining reinforcement learning

Explicit versus implicit models: What are good languages for modeling?

Premium Partner