{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,6]],"date-time":"2025-03-06T03:40:08Z","timestamp":1741232408221,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642214691"},{"type":"electronic","value":"9783642214707"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-21470-7_20","type":"book-chapter","created":{"date-parts":[[2011,6,10]],"date-time":"2011-06-10T14:57:17Z","timestamp":1307717837000},"page":"282-298","source":"Crossref","is-referenced-by-count":8,"title":["Domain-Specific Model Verification with QVT"],"prefix":"10.1007","author":[{"given":"Maged","family":"Elaasar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lionel","family":"Briand","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yvan","family":"Labiche","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"20_CR1","unstructured":"Unified Modeling Language (UML), Infrastructure v2.4. OMG ptc\/2010-11-03"},{"key":"20_CR2","unstructured":"Business Process Modeling and Notation (BPMN) v2.0. OMG dtc\/2010-06-05"},{"key":"20_CR3","unstructured":"Meta Object Facility (MOF) Core v2.4. OMG ptc\/2010-12-08"},{"key":"20_CR4","unstructured":"Object Constraint Language (OCL) v2.2. OMG formal\/2010-02-01"},{"key":"20_CR5","unstructured":"Elaasar, M., Briand, L., Labiche, L.: An Approach to Detecting Design Patterns in MOF-Based Domain-Specific Models with QVT. Technical Report SCE-10-02, Carleton University (November 2010) (submitted for publication)"},{"key":"20_CR6","unstructured":"Query\/View\/Transformation (QVT) v1.0. OMG formal\/2008-04-03"},{"key":"20_CR7","unstructured":"OMG issues database, http:\/\/www.omg.org\/issues\/"},{"key":"20_CR8","unstructured":"Fowler, M.: Refactoring: Improving the Design of Existing Code, 1st edn (June 1999)"},{"issue":"1","key":"20_CR9","first-page":"46","volume":"8","author":"A. Koenig","year":"1995","unstructured":"Koenig, A.: Patterns and Antipatterns. J. of OO Programming\u00a08(1), 46\u201348 (1995)","journal-title":"J. of OO Programming"},{"key":"20_CR10","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software (1995)"},{"key":"20_CR11","unstructured":"Brown, W., Malveau, R., Brown, W., McCormick III, H., Mowbray, T.: Anti Patterns: Refactoring Software, Architectures, and Projects in Crisis. 1st edn (1998)"},{"key":"20_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-31797-5_1","volume-title":"UML Modeling Languages and Applications","author":"Z. Huzar","year":"2005","unstructured":"Huzar, Z., Kuzniarz, L., Reggio, G., Sourrouille, J.: Consistency Problems in UML-Based Software Development. In: Jardim Nunes, N., Selic, B., Rodrigues da Silva, A., Toval Alvarez, A. (eds.) UML Satellite Activities 2004. LNCS, vol.\u00a03297, pp. 1\u201312. Springer, Heidelberg (2005)"},{"key":"20_CR13","unstructured":"Koehler, J., Vanhatalo, J.: Process Anti-patterns: How to Avoid the Common Traps of Business Process Modeling. IBM WebSphere Developer Technical Journal (Febraury 2007)"},{"key":"20_CR14","doi-asserted-by":"crossref","unstructured":"Travassos, G., Shull, F., Fredericks, M., Basili, V.: Detecting Defects in Object-Oriented Designs: Using Reading Techniques to Increase Software Quality. In: Proc. of OOPSLA 1999, pp. 47\u201356 (1999)","DOI":"10.1145\/320384.320389"},{"key":"20_CR15","doi-asserted-by":"crossref","unstructured":"Dhambri, K., Sahraoui, H., Poulin, P.: Visual Detection of Design Anomalies. In: Proc. of CSMR 2008, pp. 279\u2013283 (2008)","DOI":"10.1109\/CSMR.2008.4493326"},{"key":"20_CR16","doi-asserted-by":"crossref","unstructured":"Marinescu, R.: Detection Strategies: Metrics-Based Rules for Detecting Design Flaws. In: Proc. of the ICSM 2004, pp. 350\u2013359 (2004)","DOI":"10.1109\/ICSM.2004.1357820"},{"key":"20_CR17","doi-asserted-by":"crossref","unstructured":"Munro, M.: Product Metrics for Automatic Identification of \u201dBad Smell\u201d Design Problems in Java Source-Code. In: Proc. of the 11th Int\u2019l Soft. Metrics Symposium, p. 15 (2005)","DOI":"10.1109\/METRICS.2005.38"},{"key":"20_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1007\/978-3-642-02144-2_34","volume-title":"Advanced Information Systems Engineering","author":"N. Trcka","year":"2009","unstructured":"Trcka, N., Aalst, W., Sidorova, N.: Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflows. In: van Eck, P., Gordijn, J., Wieringa, R. (eds.) CAiSE 2009. LNCS, vol.\u00a05565, pp. 425\u2013439. Springer, Heidelberg (2009)"},{"key":"20_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1007\/978-3-540-44995-9_20","volume-title":"Software Reuse: Advances in Software Reusability","author":"A. Correa","year":"2000","unstructured":"Correa, A., Werner, C., Zaverucha, G.: Object oriented design expertise reuse: An approach based on heuristics, design patterns and anti-patterns. In: Frakes, W.B. (ed.) ICSR 2000. LNCS, vol.\u00a01844, pp. 336\u2013352. Springer, Heidelberg (2000)"},{"key":"20_CR20","doi-asserted-by":"crossref","unstructured":"Moha, N., Gueheneuc, Y.-G., Duchien, L., Le Meur, A.-F.: DECOR: A Method for the Specification and Detection of Code and Design Smells. TSE 36(1) (January\/February 2010)","DOI":"10.1109\/TSE.2009.50"},{"key":"20_CR21","doi-asserted-by":"crossref","unstructured":"Khomh, F., Vaucher, S., Gueheneuc, Y.-G., Sahraoui, H.: A Bayesian Approach for the Detection of Code and Design Smells. In: Proc. of ICSQ 2009, pp. 305\u2013314 (2009)","DOI":"10.1109\/QSIC.2009.47"},{"key":"20_CR22","doi-asserted-by":"crossref","unstructured":"Meyer, M.: Pattern-based Reengineering of Software Systems. In: Proc. of WCRE 2006, pp. 305\u2013306 (October 2006)","DOI":"10.1109\/WCRE.2006.42"},{"key":"20_CR23","unstructured":"Feng, T., Zhang, J., Wang, H., Wang, X.: Software Design Improvement through Anti-patterns Identification. In: Proc. of ICSM 2004, p. 534 (2004)"},{"key":"20_CR24","doi-asserted-by":"crossref","unstructured":"Enckevort, T.: Refactoring UML Models: Using OpenArchitectureWare to measure UML model quality and perform pattern matching on UML models with OCL queries. In: Proc. of OOPSLA 2009, pp. 635\u2013646 (2009)","DOI":"10.1145\/1639950.1639959"},{"key":"20_CR25","unstructured":"Medini QVT: A Toolset for Model to Model Transformations, http:\/\/projects.ikv.de\/qvt"},{"key":"20_CR26","unstructured":"Elaasar, M., Briand, L., Labiche Y.: Metamodeling Anti-Patterns (2010), https:\/\/sites.google.com\/site\/metamodelingantipatterns"},{"key":"20_CR27","unstructured":"UML Revision Task Force Wiki, http:\/\/www.omgwiki.org\/uml2-rtf"}],"container-title":["Lecture Notes in Computer Science","Modelling Foundations and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21470-7_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,6]],"date-time":"2025-03-06T03:01:58Z","timestamp":1741230118000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21470-7_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642214691","9783642214707"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21470-7_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}