{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,21]],"date-time":"2026-04-21T15:06:17Z","timestamp":1776783977539,"version":"3.51.2"},"reference-count":57,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2013,3,3]],"date-time":"2013-03-03T00:00:00Z","timestamp":1362268800000},"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":[[2015,5]]},"DOI":"10.1007\/s10270-013-0325-9","type":"journal-article","created":{"date-parts":[[2013,3,2]],"date-time":"2013-03-02T15:43:19Z","timestamp":1362238999000},"page":"735-764","source":"Crossref","is-referenced-by-count":9,"title":["VPML: an approach to detect design patterns of MOF-based modeling languages"],"prefix":"10.1007","volume":"14","author":[{"given":"Maged","family":"Elaasar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lionel C.","family":"Briand","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yvan","family":"Labiche","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,3,3]]},"reference":[{"key":"325_CR1","unstructured":"Model-driven engineering. http:\/\/en.wikipedia.org\/wiki\/Model-driven_engineering"},{"key":"325_CR2","unstructured":"Booch, G.: Handbook of Software Architecture. http:\/\/www.handbookofsoftwarearchitecture.com"},{"key":"325_CR3","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading, MA (1995)"},{"key":"325_CR4","unstructured":"Unified Modeling Language (UML), Superstructure v2.4. http:\/\/www.omg.org\/spec\/UML\/2.4\/Superstructure\/PDF"},{"key":"325_CR5","unstructured":"Russell, N., Hofstede, A., Aalst, W., Mulyar, N.: Workflow control-flow patterns: a revised view. BPM Center Report BPM-06-22, BPMcenter.org (2006)"},{"key":"325_CR6","unstructured":"Business Process Model and Notation (BPMN) v2.0. http:\/\/www.omg.org\/spec\/BPMN\/2.0\/PDF"},{"key":"325_CR7","doi-asserted-by":"crossref","unstructured":"Kerievsky, J.: Refactoring to Patterns. Addison-Wesley, Reading, MA (2004)","DOI":"10.1007\/978-3-540-27777-4_54"},{"key":"325_CR8","unstructured":"Ambler, S.: Agile Modeling: Effective Practices for eXtreme Programming and the Unified Process. Wiley, New York, NY (2002)"},{"issue":"1","key":"325_CR9","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1109\/52.43044","volume":"7","author":"E Chikofsky","year":"1990","unstructured":"Chikofsky, E., Cross, J.: Reverse engineering and design recovery: a taxonomy. IEEE Softw. 7(1), 13\u201317 (1990)","journal-title":"IEEE Softw."},{"key":"325_CR10","doi-asserted-by":"crossref","unstructured":"Elaasar, M., Briand, L., Labiche, Y.: Domain-specific model verification with QVT. In: ECMFA\u201911. LNCS, vol. 6698, pp. 282\u2013298 (2011)","DOI":"10.1007\/978-3-642-21470-7_20"},{"key":"325_CR11","unstructured":"Meta Object Facility (MOF) Core v2.0. http:\/\/www.omg.org\/spec\/MOF\/2.0\/"},{"key":"325_CR12","unstructured":"Object Constraint Language (OCL) v2.2. http:\/\/www.omg.org\/spec\/OCL\/2.2\/"},{"key":"325_CR13","unstructured":"Query\/View\/Transformation (QVT) v1.1. http:\/\/www.omg.org\/spec\/QVT\/1.1\/"},{"key":"325_CR14","unstructured":"ATL Transformation Language. http:\/\/www.eclipse.org\/atl\/"},{"key":"325_CR15","unstructured":"Steinberg, D., Budinsky, F., Paternostro M., Merks, E.: EMF: Eclipse Modeling Framework, 2nd edition. Addison-wesley, Boston, MA (2009)"},{"key":"325_CR16","unstructured":"Graphical Modeling Framework (GMF). http:\/\/www.eclipse.org\/gmf\/"},{"key":"325_CR17","unstructured":"Medini QVT. http:\/\/projects.ikv.de\/qvt"},{"key":"325_CR18","doi-asserted-by":"crossref","unstructured":"Fulop, L., Ferenc R., Gyimothy, T.: Towards a benchmark for evaluating design pattern miner tools. In: Proceedings of CSMR, pp. 143\u2013152 (2008)","DOI":"10.1109\/CSMR.2008.4493309"},{"key":"325_CR19","doi-asserted-by":"crossref","unstructured":"Dong, J., Zhao, Y., Peng, T.: Architecture and design pattern discovery techniques\u2014a review. In: Software Engineering Research and Practice, pp. 621\u2013627 (2007)","DOI":"10.1109\/PROMISE.2007.6"},{"key":"325_CR20","unstructured":"Birkner, M.: Objected-oriented design pattern detection using static and dynamic analysis in Java Software. Master Thesis, University of Applied Sciences Bonn-Rhein-Sieg, Germany (2007)"},{"issue":"1\u20132","key":"325_CR21","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1016\/j.jss.2003.11.018","volume":"75","author":"H Huang","year":"2005","unstructured":"Huang, H., Zhang, S., Cao, J., Duan, Y.: A practical pattern recovery approach based on both structural and behavioral analysis. J. Syst. Softw. 75(1\u20132), 69\u201387 (2005)","journal-title":"J. Syst. Softw."},{"key":"325_CR22","doi-asserted-by":"crossref","unstructured":"Mikkonen, T.: Formalizing design patterns. In: Proceedings of International Conference on Software Engineering, pp. 115\u2013124 (1998)","DOI":"10.1109\/ICSE.1998.671108"},{"issue":"4","key":"325_CR23","doi-asserted-by":"crossref","first-page":"127","DOI":"10.5381\/jot.2003.2.4.a4","volume":"2","author":"T Taibi","year":"2003","unstructured":"Taibi, T., Check, D., Ngo, L.: Formal specification of design patterns\u2014a balanced approach. J. Object Technol. 2(4), 127\u2013140 (2003)","journal-title":"J. Object Technol."},{"key":"325_CR24","unstructured":"Eden, A., Hirshfeld, Y., Lundqvist, K.: LePUS\u2014Symbolic logic modeling of object oriented architectures: a case study. University of Karlskrona. In: Proceedings of Second Nordic Workshop on Software Architecture (1999)"},{"issue":"2","key":"325_CR25","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1109\/TSE.2005.23","volume":"31","author":"D Beyer","year":"2005","unstructured":"Beyer, D., Noack, A., Lewerentz, C.: Efficient relational calculation for software analysis. IEEE Trans. Softw. Eng. 31(2), 137\u2013149 (2005)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"12","key":"325_CR26","doi-asserted-by":"crossref","first-page":"1281","DOI":"10.1016\/j.infsof.2008.02.006","volume":"50","author":"R Dijkmana","year":"2008","unstructured":"Dijkmana, R., Dumasb, M., Ouyangc, C.: Semantics and analysis of business process models in BPMN. Inf. Softw. Technol. 50(12), 1281\u20131294 (2008)","journal-title":"Inf. Softw. Technol."},{"key":"325_CR27","doi-asserted-by":"crossref","unstructured":"Seemann, J., Gudenberg, J.: Pattern-based design recovery of Java software. In: Proceedings of the 6th International Symposium on Foundations of Software Engineering, pp. 10\u201316 (1998)","DOI":"10.1145\/288195.288207"},{"key":"325_CR28","unstructured":"Eppstein, D.: Subgraph isomorphism in planar graphs and related problems. In: Proceedings of 6th Annual Symposium on Discrete Algorithms, pp. 632\u2013640 (1995)"},{"key":"325_CR29","doi-asserted-by":"crossref","unstructured":"Pettersson, N., Lowe, W.: Efficient and accurate software pattern detection. In: Proceedings of 13th Asia Pacific, Software Engineering Conference, pp. 317\u2013326 (2006)","DOI":"10.1109\/APSEC.2006.33"},{"key":"325_CR30","doi-asserted-by":"crossref","unstructured":"Rudolf, M.: Utilizing constraint satisfaction techniques for efficient graph pattern matching. In: Proceedings of 6th International Workshop on Theory and Application of Graph Transformations. LNCS, vol. 1764, pp. 238\u2013251, London (1998)","DOI":"10.1007\/978-3-540-46464-8_17"},{"key":"325_CR31","doi-asserted-by":"crossref","unstructured":"Dong, J., Lad, D., Zhao, Y.: DP-Miner: design pattern discovery using matrix. In: Proceedings of 14th IEEE International Conference on Engineering of Computer-Based Systems, pp. 371\u2013380 (2007)","DOI":"10.1109\/ECBS.2007.33"},{"issue":"11","key":"325_CR32","doi-asserted-by":"crossref","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.: Design pattern detection using similarity scoring. IEEE Trans. Softw. Eng. 32(11), 896\u2013909 (2006)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"325_CR33","doi-asserted-by":"crossref","unstructured":"Gueheneuc, Y., Sahraoui, H., Zaidi, F.: Fingerprinting design patterns. In: Proceedings of the 11th Working Conference on Reverse Engineering, pp. 172\u2013181 (2004)","DOI":"10.1109\/WCRE.2004.21"},{"key":"325_CR34","doi-asserted-by":"crossref","unstructured":"Le Guennec, A., Sunye, G., Jezequel, J.: Precise modeling of design patterns. In: Proceedings of UML 2000. LNCS, vol. 1939, pp. 482\u2013496 (2000)","DOI":"10.1007\/3-540-40011-7_35"},{"key":"325_CR35","doi-asserted-by":"crossref","unstructured":"Mak, J., Choy, C., Lun, D.: Precise modeling of design patterns in UML. In: Proceedings of International Conference of Software Engineering, pp. 252\u2013261 (2004)","DOI":"10.1109\/ICSE.2004.1317447"},{"key":"325_CR36","unstructured":"Milicev, D.: Model-Driven Development with Executable UML. Wiley, New York, NY (2009)"},{"key":"325_CR37","doi-asserted-by":"crossref","unstructured":"Elaasar, M., Briand, L., Labiche, Y.: A metamodeling approach to pattern specification. Model driven engineering languages and systems. LNCS, vol. 4199, pp. 484\u2013498 (2006)","DOI":"10.1007\/11880240_34"},{"issue":"3","key":"325_CR38","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1007\/s11219-008-9048-5","volume":"16","author":"D-K Kim","year":"2008","unstructured":"Kim, D.-K., Shen, W.: Evaluating pattern conformance of UML models: a divide-and-conquer approach and case studies. Softw. Qual. J. 16(3), 329\u2013359 (2008)","journal-title":"Softw. Qual. J."},{"key":"325_CR39","unstructured":"Maplesden, D., Hosking, J., Grundy, J.: Design pattern modeling and instantiation using DPML. In: Proceedings of TOOLS Pacific, pp. 3\u201311 (2002)"},{"issue":"5","key":"325_CR40","doi-asserted-by":"crossref","first-page":"667","DOI":"10.1109\/TSE.2008.48","volume":"34","author":"Y-G Gueheneuc","year":"2008","unstructured":"Gueheneuc, Y.-G., Antoniol, G.: DeMIMA: a multilayered approach for design pattern identification. IEEE Trans. Softw. Eng. 34(5), 667\u2013684 (2008)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"2","key":"325_CR41","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1016\/j.jss.2009.09.039","volume":"83","author":"I Bayley","year":"2010","unstructured":"Bayley, I., Zhu, H.: Formal specification of the variants and behavioral features of design patterns. J. Syst. Softw. 83(2), 209\u2013221 (2010)","journal-title":"J. Syst. Softw."},{"issue":"4","key":"325_CR42","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1109\/TSE.2002.995438","volume":"28","author":"D Milicev","year":"2002","unstructured":"Milicev, D.: Automatic model transformations using extended UML object diagrams in modeling environments. IEEE Trans. Softw. Eng. 28(4), 413\u2013431 (2002)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"325_CR43","doi-asserted-by":"crossref","unstructured":"Varro, G., Friedl, K., Varro, D.: Adaptive graph pattern matching for model transformations using model-sensitive search plans. In: Proceedings of GraMot 2005, vol. 152, pp. 191\u2013205 (2005)","DOI":"10.1016\/j.entcs.2005.10.025"},{"key":"325_CR44","unstructured":"Fujaba Tool Suite RE. http:\/\/www2.cs.uni-paderborn.de\/cs\/ag-schaefer\/Lehre\/PG\/FUJABA\/projects\/reengineering\/index.html"},{"key":"325_CR45","unstructured":"Wikipedia: Adder. http:\/\/en.wikipedia.org\/wiki\/Adder_(electronics)"},{"issue":"4","key":"325_CR46","doi-asserted-by":"crossref","first-page":"575","DOI":"10.1109\/TSE.2009.92","volume":"36","author":"N Pettersson","year":"2009","unstructured":"Pettersson, N., Lowe, W., Nive, J.: Evaluation of accuracy in design pattern occurrence detection. IEEE Trans. Softw. Eng. 36(4), 575\u2013590 (2009)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"325_CR47","unstructured":"Model to Text (M2T). http:\/\/www.eclipse.org\/m2t\/"},{"key":"325_CR48","unstructured":"Acceleo: transforming models into code. http:\/\/www.eclipse.org\/acceleo\/"},{"key":"325_CR49","unstructured":"GMF Design Model. https:\/\/sites.google.com\/site\/designpatterndetection\/gmf-design-model"},{"key":"325_CR50","unstructured":"Smith, J.: SPQR: formal foundations and practical support for the automated detection of design patterns from source code. PhD Dissertation, Computer Science Dept., University of North Carolina at Chapel Hill (2005)"},{"key":"325_CR51","unstructured":"GoF Specifications in VPML. https:\/\/sites.google.com\/site\/designpatterndetection\/gof-specifications"},{"key":"325_CR52","unstructured":"Atwood, D.: BPM process patterns: repeatable design for BPM process models. BPTrends. http:\/\/www.bptrends.com\/publicationfiles\/05-06-WP-BPMProcessPatterns-Atwood1.pdf (2006)"},{"key":"325_CR53","doi-asserted-by":"crossref","unstructured":"Gschwind, T., Koehler, J., Wong, J.: Applying patterns during business process modeling. In: Proceedings of the 6th International Conference on Business Process Management. LNCS, vol. 5240, pp. 4\u201319 (2008)","DOI":"10.1007\/978-3-540-85758-7_4"},{"key":"325_CR54","unstructured":"CF Specifications in VPML. https:\/\/sites.google.com\/site\/designpatterndetection\/cf-specifications"},{"key":"325_CR55","unstructured":"Elaasar, M., Briand, L., Labiche, Y.: An approach to the specification and detection of MOF-based modeling languages. Ph.D. Thesis, School of Systems and Computer Engineering, Carleton University (2012)"},{"key":"325_CR56","unstructured":"Systems Modeling Language (SysML), v1.2. http:\/\/www.omg.org\/spec\/SysML\/1.2\/"},{"key":"325_CR57","unstructured":"MARTE: modeling and analysis of real-time embedded systems v1.0. http:\/\/www.omg.org\/spec\/MARTE\/1.0\/"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-013-0325-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-013-0325-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-013-0325-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,10]],"date-time":"2019-07-10T10:54:47Z","timestamp":1562756087000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-013-0325-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,3,3]]},"references-count":57,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2015,5]]}},"alternative-id":["325"],"URL":"https:\/\/doi.org\/10.1007\/s10270-013-0325-9","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,3,3]]}}}