{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,28]],"date-time":"2025-05-28T17:40:02Z","timestamp":1748454002114,"version":"3.41.0"},"reference-count":70,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"11","license":[{"start":{"date-parts":[[2015,11,1]],"date-time":"2015-11-01T00:00:00Z","timestamp":1446336000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2015,11,1]]},"DOI":"10.1109\/tse.2015.2445341","type":"journal-article","created":{"date-parts":[[2015,6,15]],"date-time":"2015-06-15T18:35:50Z","timestamp":1434393350000},"page":"1138-1152","source":"Crossref","is-referenced-by-count":13,"title":["On the Composability of Design Patterns"],"prefix":"10.1109","volume":"41","author":[{"given":"Hong","family":"Zhu","sequence":"first","affiliation":[]},{"given":"Ian","family":"Bayley","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2014.08.041"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/SEFM.2007.22"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2003.2.4.a4"},{"key":"ref33","article-title":"Formalising design patterns","author":"lano","year":"0","journal-title":"Proc BCS-FACS Northern Formal Methods Workshop"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/2491509.2491517"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.4067\/S0718-18762010000100004"},{"key":"ref30","first-page":"77","article-title":"Assessment of design patterns during software reengineering: Lessons learned from a large professional project","author":"wendorff","year":"0","journal-title":"Proc 5th European Conf Software Maintenance and Reengineering"},{"key":"ref37","article-title":"Formal specification of object-oriented design","author":"eden","year":"0","journal-title":"Proc Int Conf Multidisciplinary Des Eng"},{"key":"ref36","first-page":"114","article-title":"Precise visual specification of design patterns","author":"lauder","year":"0","journal-title":"Proc Europ Conf Object-Oriented Programming"},{"key":"ref35","article-title":"Correct composition of design components","author":"dong","year":"0","journal-title":"Proc 4th Int Workshop Component-Oriented Programm Conjunction ECOOP"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1998.671108"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.2000.839887"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2009.10.001"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1049\/ip-sen:20050072"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/bxp125"},{"year":"2005","author":"venners","key":"ref28"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(02)000195-7"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/CSMR.2008.4493325"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1016\/S0164-1212(01)00043-7"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1109\/32.988711"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45441-1_12"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2007.11.724"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2011.10.006"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2010.03.005"},{"journal-title":"Design Patterns-Elements of Reusable Object-Oriented Software","year":"1995","author":"gamma","key":"ref2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/130994.131006"},{"key":"ref20","first-page":"3","article-title":"Design pattern modelling and instantiation using DPML","author":"maplesden","year":"0","journal-title":"Proc 4th Int Conf Tools Pacific"},{"key":"ref22","first-page":"47","article-title":"Inference of design pattern instances in UML models via logic programming","author":"kim","year":"2006","journal-title":"Proc 11th Int Conf Eng Complex Comput Syst"},{"key":"ref21","first-page":"621","article-title":"Architecture and design pattern discovery techniques-a review","author":"dong","year":"0","journal-title":"Proc Int Conf Softw Eng Res Practice"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-008-9048-5"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/1244002.1244305"},{"key":"ref26","article-title":"A formal descriptive semantics of UML and its applications","author":"zhu","year":"0","journal-title":"UML 2 Semantics and Applications"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2009.37"},{"key":"ref50","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1007\/s11704-012-2902-4","article-title":"An institution theory of formal Meta-modelling in graphically extended BNF","volume":"6","author":"zhu","year":"2012","journal-title":"Frontiers Comput Sci"},{"key":"ref51","first-page":"630","article-title":"Laws of pattern composition","author":"zhu","year":"0","journal-title":"Proc 12th Int Conf Formal Eng Methods"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1016\/j.jvlc.2011.03.003"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2007.1012"},{"key":"ref57","article-title":"Notation, notation, notation","author":"vlissides","year":"1998","journal-title":"C++ Report"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1145\/263698.263739"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1109\/CMPSAC.2001.960670"},{"journal-title":"Pattern-Oriented Software Architecture Vol 1 A System of Patterns","year":"1996","author":"buschmann","key":"ref54"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1109\/VLHCC.2010.40"},{"article-title":"Specifying behavioural features of design patterns","year":"2008","author":"bayley","key":"ref52"},{"journal-title":"Remoting Patterns","year":"2004","author":"voelter","key":"ref10"},{"journal-title":"Security Patterns Integrating Security and Systems Engineering","year":"2005","author":"schumacher","key":"ref11"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/1370175.1370200"},{"journal-title":"Applied J2EE Security Patterns Architectural Patterns & Best Practices","year":"2005","author":"steel","key":"ref12"},{"journal-title":"Design Patterns for Distributed Real-Time Systems","year":"2005","author":"dipippo","key":"ref13"},{"journal-title":"Real Time Design Patterns Robust Scalable Architecture for Real-Time Systems","year":"2002","author":"douglass","key":"ref14"},{"journal-title":"Patterns for Fault Tolerant Software","year":"2007","author":"hanmer","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/581380.581382"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.60"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2006.57"},{"key":"ref19","first-page":"224","article-title":"Automatic verification of design patterns in Java","author":"blewitt","year":"0","journal-title":"Proc 20th IEEE\/ACM Int Conf Autom Softw Eng"},{"journal-title":"Patterns in Java Volume 2","year":"1999","author":"grand","key":"ref4"},{"journal-title":"Patterns in Java Patterns in Java Volume 1 A Catalog of Reusable Design Patterns Illustrated with UML","year":"2002","author":"grand","key":"ref3"},{"journal-title":"Core J2EE Patterns Best Practices and Design Strategies","year":"2003","author":"alur","key":"ref6"},{"journal-title":"JAVA Enterprise Design Patterns","year":"2002","author":"grand","key":"ref5"},{"journal-title":"Enterprise Integration Patterns Designing Building and Deploying Messaging Solutions","year":"2004","author":"hohpe","key":"ref8"},{"journal-title":"Patterns of Enterprise Application Architecture","year":"2003","author":"fowler","key":"ref7"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2010.11"},{"journal-title":"Pattern-Oriented Software Architecture Vol 4 A Pattern Language for Distributed Computing","year":"2007","author":"buschmann","key":"ref9"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1002\/9780470891032"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2008.32"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2013.05.007"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-012-0181-1"},{"journal-title":"Pattern-Oriented Software Architecture Vol 5 On Patterns and Pattern Languages","year":"2007","author":"buschmann","key":"ref42"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2009.09.039"},{"key":"ref44","first-page":"354","article-title":"A formal language for the expression of pattern compositions","volume":"4","author":"bayley","year":"2011","journal-title":"Int J Adv Software"},{"key":"ref43","first-page":"1","article-title":"A formal language of pattern composition","author":"bayley","year":"0","journal-title":"Proc 2nd Int Conf Pervasive Patterns"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/32\/7323922\/07123660.pdf?arnumber=7123660","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,28]],"date-time":"2025-05-28T17:10:33Z","timestamp":1748452233000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7123660\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,11,1]]},"references-count":70,"journal-issue":{"issue":"11"},"URL":"https:\/\/doi.org\/10.1109\/tse.2015.2445341","relation":{},"ISSN":["0098-5589","1939-3520"],"issn-type":[{"type":"print","value":"0098-5589"},{"type":"electronic","value":"1939-3520"}],"subject":[],"published":{"date-parts":[[2015,11,1]]}}}