{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,24]],"date-time":"2025-10-24T08:05:27Z","timestamp":1761293127205,"version":"3.37.3"},"reference-count":42,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2015,2,1]],"date-time":"2015-02-01T00:00:00Z","timestamp":1422748800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2019,2,1]],"date-time":"2019-02-01T00:00:00Z","timestamp":1548979200000},"content-version":"vor","delay-in-days":1461,"URL":"http:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"funder":[{"DOI":"10.13039\/501100008530","name":"ERDF","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100008530","id-type":"DOI","asserted-by":"crossref"}]},{"name":"FCT","award":["FCOMP-01-0124-FEDER-028923"],"award-info":[{"award-number":["FCOMP-01-0124-FEDER-028923"]}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Science of Computer Programming"],"published-print":{"date-parts":[[2015,2]]},"DOI":"10.1016\/j.scico.2014.02.026","type":"journal-article","created":{"date-parts":[[2014,3,21]],"date-time":"2014-03-21T09:18:23Z","timestamp":1395393503000},"page":"764-784","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":4,"special_numbering":"P4","title":["A perspective on architectural re-engineering"],"prefix":"10.1016","volume":"98","author":[{"given":"Alejandro","family":"Sanchez","sequence":"first","affiliation":[]},{"given":"Nuno","family":"Oliveira","sequence":"additional","affiliation":[]},{"given":"Luis S.","family":"Barbosa","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3208-0207","authenticated-orcid":false,"given":"Pedro","family":"Henriques","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.scico.2014.02.026_br0010","series-title":"Eighth IEEE International Working Conference on Source Code Analysis and Manipulation","first-page":"265","article-title":"CoordInspector: a tool for extracting coordination data from legacy code","author":"Rodrigues","year":"2008"},{"key":"10.1016\/j.scico.2014.02.026_br0020","series-title":"OTM 2011 Workshops","first-page":"83","article-title":"The role of coordination in software integration projects","volume":"vol. 7046","author":"Rodrigues","year":"2011"},{"key":"10.1016\/j.scico.2014.02.026_br0030","series-title":"Formal Aspects of Component Software \u2013 8th International Symposium","first-page":"313","article-title":"Bigraphical modelling of architectural patterns","volume":"vol. 7253","author":"Sanchez","year":"2011"},{"key":"10.1016\/j.scico.2014.02.026_br0040","series-title":"Proceedings of TTSS'11, 5th Inter. Workshop on Harnessing Theories for Tool Support in Software","first-page":"77","article-title":"Towards rigorous analysis of open source software","author":"Barbosa","year":"2011"},{"key":"10.1016\/j.scico.2014.02.026_br0050","first-page":"273","article-title":"Certification of open-source software: a role for formal methods?","author":"Barbosa","year":"2010","journal-title":"Int. J. Comput. Syst. Sci. Eng."},{"key":"10.1016\/j.scico.2014.02.026_br0060","doi-asserted-by":"crossref","first-page":"828","DOI":"10.1016\/j.scico.2010.02.002","article-title":"Slicing for architectural analysis","volume":"75","author":"Rodrigues","year":"2010","journal-title":"Sci. Comput. Program."},{"key":"10.1016\/j.scico.2014.02.026_br0070","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1145\/129630.129635","article-title":"Coordination languages and their significance","volume":"2","author":"Gelernter","year":"1992","journal-title":"Commun. ACM"},{"key":"10.1016\/j.scico.2014.02.026_br0080","series-title":"Proceedings of the ACM SIGPLAN 1988 Conf. on Programming Usage, Design and Implementation","first-page":"35","article-title":"Interprocedural slicing using dependence graphs","author":"Horwitz","year":"1988"},{"key":"10.1016\/j.scico.2014.02.026_br0090","series-title":"Proceedings of the Third Workshop on Behavioural Modelling","first-page":"17","article-title":"A language for behavioural modelling of architectural patterns","author":"Sanchez","year":"2011"},{"key":"10.1016\/j.scico.2014.02.026_br0100","series-title":"Methods for Modelling Software Systems","article-title":"The formal specification language mCRL2","volume":"vol. 06351","author":"Groote","year":"2007"},{"key":"10.1016\/j.scico.2014.02.026_br0110","series-title":"Tools and Algorithms for the Construction and Analysis of Systems \u2013 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software","first-page":"199","article-title":"An overview of the mCRL2 toolset and its recent advances","volume":"vol. 7795","author":"Cranen","year":"2013"},{"key":"10.1016\/j.scico.2014.02.026_br0120","series-title":"CONCUR","first-page":"16","article-title":"Bigraphical reactive systems","volume":"vol. 2154","author":"Milner","year":"2001"},{"year":"2010","series-title":"Process Algebra: Equational Theories of Communicating Processes","author":"Baeten","key":"10.1016\/j.scico.2014.02.026_br0130"},{"key":"10.1016\/j.scico.2014.02.026_br0140","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1016\/j.tcs.2004.07.036","article-title":"A brief history of process algebra","volume":"335","author":"Baeten","year":"2005","journal-title":"Theor. Comput. Sci."},{"year":"2010","series-title":"A Process Algebraic Approach to Software Architecture Design","author":"Aldini","key":"10.1016\/j.scico.2014.02.026_br0150"},{"key":"10.1016\/j.scico.2014.02.026_br0160","first-page":"161","article-title":"Style-based architectural reconfigurations","volume":"94","author":"Bruni","year":"2008","journal-title":"Bull. Eur. Assoc. Theor. Comput. Sci."},{"year":"2014","series-title":"A calculus of architectural patterns","author":"Sanchez","key":"10.1016\/j.scico.2014.02.026_br0170"},{"key":"10.1016\/j.scico.2014.02.026_br0180","series-title":"Proc. of the First ACM SIGSOFT\/SIGPLAN Software Engineering Posium on Practical Software Development Environments","first-page":"177","article-title":"The program dependence graph in a software development environment","author":"Ottenstein","year":"1984"},{"key":"10.1016\/j.scico.2014.02.026_br0190","doi-asserted-by":"crossref","first-page":"489","DOI":"10.1007\/s10009-007-0043-0","article-title":"Slicing concurrent Java programs using Indus and Kaveri","volume":"9","author":"Ranganath","year":"2007","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"10.1016\/j.scico.2014.02.026_br0200","doi-asserted-by":"crossref","DOI":"10.1145\/1275497.1275502","article-title":"A new foundation for control dependence and slicing for modern program structures","volume":"29","author":"Ranganath","year":"2007","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"10.1016\/j.scico.2014.02.026_br0210","doi-asserted-by":"crossref","first-page":"1088","DOI":"10.1145\/1186632.1186636","article-title":"Interprocedural slicing of multithreaded programs with applications to Java","volume":"28","author":"Nanda","year":"2006","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"10.1016\/j.scico.2014.02.026_br0220","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1017\/S0960129504004153","article-title":"Reo: a channel-based coordination model for component composition","volume":"14","author":"Arbab","year":"2004","journal-title":"Math. Struct. Comput. Sci."},{"key":"10.1016\/j.scico.2014.02.026_br0230","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/j.scico.2009.10.006","article-title":"Modeling dynamic reconfigurations in Reo using high-level replacement systems","volume":"76","author":"Krause","year":"2011","journal-title":"Sci. Comput. Program."},{"key":"10.1016\/j.scico.2014.02.026_br0240","series-title":"Web Services and Formal Methods \u2013 9th International Workshop","first-page":"134","article-title":"Reconfiguration mechanisms for service coordination","author":"Oliveira","year":"2012"},{"key":"10.1016\/j.scico.2014.02.026_br0250","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1109\/32.825767","article-title":"A classification and comparison framework for software architecture description languages","volume":"26","author":"Medvidovic","year":"2000","journal-title":"IEEE Trans. Softw. Eng."},{"year":"2005","series-title":"The Unified Modeling Language Reference Manual","author":"Rumbaugh","key":"10.1016\/j.scico.2014.02.026_br0260"},{"key":"10.1016\/j.scico.2014.02.026_br0270","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1145\/504087.504088","article-title":"Modeling software architectures in the unified modeling language","volume":"11","author":"Medvidovic","year":"2002","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"10.1016\/j.scico.2014.02.026_br0280","series-title":"Proceedings of the 1997 Conference of the Centre for Advanced Studies on Collaborative Research","first-page":"169","article-title":"ACME: An architecture description interchange language","author":"Garlan","year":"1997"},{"key":"10.1016\/j.scico.2014.02.026_br0290","first-page":"161","article-title":"Style based architectural reconfigurations","volume":"94","author":"Bruni","year":"2008","journal-title":"Bull. Eur. Assoc. Theor. Comput. Sci."},{"key":"10.1016\/j.scico.2014.02.026_br0300","series-title":"Proceedings of the 4th ACM SIGSOFT Symposium on Foundations of Software Engineering","first-page":"3","article-title":"Dynamic structure in software architectures","author":"Magee","year":"1996"},{"key":"10.1016\/j.scico.2014.02.026_br0310","series-title":"Proceedings of the First Workshop on Self-healing Systems","first-page":"33","article-title":"Self-organising software architectures for distributed systems","author":"Georgiadis","year":"2002"},{"key":"10.1016\/j.scico.2014.02.026_br0320","series-title":"Formal Methods for Software Architectures","first-page":"44","article-title":"Software architecture modeling & analysis: a rigorous approach","volume":"vol. 2804","author":"Kramer","year":"2003"},{"key":"10.1016\/j.scico.2014.02.026_br0330","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1145\/258077.258078","article-title":"A formal basis for architectural connection","volume":"6","author":"Allen","year":"1997","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"10.1016\/j.scico.2014.02.026_br0340","series-title":"Fundamental Approaches to Software Engineering","first-page":"21","article-title":"Specifying and analyzing dynamic software architectures","volume":"vol. 1382","author":"Allen","year":"1998"},{"key":"10.1016\/j.scico.2014.02.026_br0350","series-title":"Software Engineering","first-page":"137","article-title":"Specifying distributed software architectures","volume":"vol. 989","author":"Magee","year":"1995"},{"key":"10.1016\/j.scico.2014.02.026_br0360","series-title":"Proceedings of the 1st ACM SIGSOFT Workshop on Self-managed Systems","first-page":"28","article-title":"A survey of self-management in dynamic software architecture specifications","author":"Bradbury","year":"2004"},{"key":"10.1016\/j.scico.2014.02.026_br0370","first-page":"53","article-title":"An algebra of hierarchical graphs and its application to structural encoding","volume":"20","author":"Bruni","year":"2010","journal-title":"Sci. Ann. Comput. Sci."},{"year":"1996","series-title":"Pattern-Oriented Software Architecture, vol. 1: A System of Patterns","author":"Buschmann","key":"10.1016\/j.scico.2014.02.026_br0380"},{"year":"1996","series-title":"Software Architecture: Perspectives on an Emerging Discipline","author":"Shaw","key":"10.1016\/j.scico.2014.02.026_br0390"},{"year":"2003","series-title":"Software Architecture in Practice","author":"Bass","key":"10.1016\/j.scico.2014.02.026_br0400"},{"key":"10.1016\/j.scico.2014.02.026_br0410","series-title":"Concurrency, Graphs and Models","first-page":"37","article-title":"Graph-based design and analysis of dynamic software architectures","volume":"vol. 5065","author":"Bruni","year":"2008"},{"key":"10.1016\/j.scico.2014.02.026_br0420","doi-asserted-by":"crossref","first-page":"256","DOI":"10.1145\/505145.505149","article-title":"Alloy: a lightweight object modelling notation","volume":"11","author":"Jackson","year":"2002","journal-title":"ACM Trans. Softw. Eng. Methodol."}],"container-title":["Science of Computer Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167642314000938?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167642314000938?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,1]],"date-time":"2019-02-01T02:54:56Z","timestamp":1548989696000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0167642314000938"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,2]]},"references-count":42,"alternative-id":["S0167642314000938"],"URL":"https:\/\/doi.org\/10.1016\/j.scico.2014.02.026","relation":{},"ISSN":["0167-6423"],"issn-type":[{"type":"print","value":"0167-6423"}],"subject":[],"published":{"date-parts":[[2015,2]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"A perspective on architectural re-engineering","name":"articletitle","label":"Article Title"},{"value":"Science of Computer Programming","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.scico.2014.02.026","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 2014 Elsevier B.V. All rights reserved.","name":"copyright","label":"Copyright"}]}}