{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,5,31]],"date-time":"2023-05-31T04:58:47Z","timestamp":1685509127268},"reference-count":31,"publisher":"Elsevier BV","issue":"11","license":[{"start":{"date-parts":[[2009,11,1]],"date-time":"2009-11-01T00:00:00Z","timestamp":1257033600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information and Software Technology"],"published-print":{"date-parts":[[2009,11]]},"DOI":"10.1016\/j.infsof.2009.06.007","type":"journal-article","created":{"date-parts":[[2009,7,6]],"date-time":"2009-07-06T08:27:23Z","timestamp":1246868843000},"page":"1586-1600","source":"Crossref","is-referenced-by-count":8,"title":["Architecture compliance checking at run-time"],"prefix":"10.1016","volume":"51","author":[{"given":"Dharmalingam","family":"Ganesan","sequence":"first","affiliation":[]},{"given":"Thorsten","family":"Keuler","sequence":"additional","affiliation":[]},{"given":"Yutaro","family":"Nishimura","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.infsof.2009.06.007_bib1","unstructured":"AOSGi. ."},{"key":"10.1016\/j.infsof.2009.06.007_bib2","doi-asserted-by":"crossref","unstructured":"T.B. Arias, P. Avgeriou, P. America, Analyzing the actual execution of a large software-intensive system for determining dependencies, in: 15th Working Conference on Reverse Engineering, 2008.","DOI":"10.1109\/WCRE.2008.11"},{"issue":"9","key":"10.1016\/j.infsof.2009.06.007_bib3","doi-asserted-by":"crossref","first-page":"642","DOI":"10.1109\/TSE.2006.96","article-title":"Towards the reverse engineering of UML sequence diagrams for distributed, multithreaded Java software","volume":"32","author":"Briand","year":"2006","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/j.infsof.2009.06.007_bib4","series-title":"Documenting Software Architectures: Views and Beyond","author":"Clements","year":"2003"},{"key":"10.1016\/j.infsof.2009.06.007_bib5","doi-asserted-by":"crossref","unstructured":"K. Fukuzawa, M. Saeki, Evaluating software architectures by colored petri nets, in: International Conference on Software Engineering and Knowledge Engineering, SEKE, 2002.","DOI":"10.1145\/568803.568807"},{"key":"10.1016\/j.infsof.2009.06.007_bib6","doi-asserted-by":"crossref","unstructured":"D. Ganesan, J. Knodel, R. Kolb, U. Haury, G. Meier, Comparing costs and benefits of different test strategies for a software product line: a study from Testo AG, in: Proceedings of Software Product Line Conference (SPLC), 2007.","DOI":"10.1109\/SPLINE.2007.4339257"},{"key":"10.1016\/j.infsof.2009.06.007_bib7","doi-asserted-by":"crossref","unstructured":"D. Ganesan, T. Keuler, Y. Nishimura, Architecture compliance checking at runtime: an industry experience report, in: Proceedings of the eighth International Conference on Quality Software, 2008.","DOI":"10.1109\/QSIC.2008.45"},{"key":"10.1016\/j.infsof.2009.06.007_bib8","unstructured":"H. Gomaa, R. Pettit, Validation of dynamic behavior in UML using colored petri nets, in: Proceedings of the ACM Workshop on Dynamic Behavior in UML Models: Semantic Questions, York, England, 2000."},{"key":"10.1016\/j.infsof.2009.06.007_bib9","doi-asserted-by":"crossref","unstructured":"K. Jensen, Coloured Petri Nets, Basic Concepts, Analysis Methods and Practical Use, Springer Verlag, 1993. ISBN: 3-540-60943-1.","DOI":"10.1007\/978-3-662-06289-0_1"},{"issue":"2","key":"10.1016\/j.infsof.2009.06.007_bib10","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1023\/A:1008781513258","article-title":"Playing detective: reconstructing software architecture from available evidence","volume":"6","author":"Kazman","year":"1999","journal-title":"Journal of Automated Software Engineering"},{"key":"10.1016\/j.infsof.2009.06.007_bib11","doi-asserted-by":"crossref","unstructured":"K. Kiviluoma, J. Koskinen, T. Mikkonen, Run-time monitoring of architecturally significant behaviors using behavioral profiles and aspects, in: Proceedings of the International Symposium on Soft Testing and Analysis, 2006.","DOI":"10.1145\/1146238.1146259"},{"key":"10.1016\/j.infsof.2009.06.007_bib12","unstructured":"R.L. Krikhaar, Software Architecture Reconstruction, PhD Thesis, University of Amsterdam, 1999."},{"key":"10.1016\/j.infsof.2009.06.007_bib13","doi-asserted-by":"crossref","unstructured":"T. Keuler, Y.A. Kornev, Light-weight Load\u2013Time Weaving Approach for OSGi, Workshop on Next Generation Aspect-oriented Middleware, AOSD, Brussels, 2008.","DOI":"10.1145\/1408620.1408622"},{"key":"10.1016\/j.infsof.2009.06.007_bib14","doi-asserted-by":"crossref","unstructured":"G. Kiczales, J. Lamping, A. Mendhekar, C. Maedar, C. Lopes, J.-F. Loingtier, J. Irwin, Aspect-Oriented Programming, ECOOP, 1997.","DOI":"10.1007\/BFb0053381"},{"key":"10.1016\/j.infsof.2009.06.007_bib15","doi-asserted-by":"crossref","unstructured":"M. Lindvall, C. Ackermann, W. Stratton, et al. Using sequence diagrams to detect communication problems between systems, in: IEEE Aerospace Conference, 2008.","DOI":"10.1109\/AERO.2008.4526571"},{"key":"10.1016\/j.infsof.2009.06.007_bib16","doi-asserted-by":"crossref","unstructured":"G. Murphy, D. Notkin, K. Sullivan, Software reflexion models: bridging the gap between source and high-level models, in: Proceedings of the third ACM SIGSOFT Symposium on Foundation of Soft Eng, 1995.","DOI":"10.1145\/222124.222136"},{"key":"10.1016\/j.infsof.2009.06.007_bib17","unstructured":"P. Oreizy, N. Medvidovic, R. Taylor, Architecture-based runtime software evolution, in: Proceedings of the 20th International Conference on Software Engineering (ICSE-98), 1998."},{"key":"10.1016\/j.infsof.2009.06.007_bib18","unstructured":"OSGi alliance. ."},{"key":"10.1016\/j.infsof.2009.06.007_bib19","doi-asserted-by":"crossref","unstructured":"L. Padgham, J. Thangaraja, M. Winikoff, Adding debugging support to the prometheus methodology, Engineering Applications of Artificial Intelligence 18 (2) (2005), 173\u2013190 (Special Issue on Agent-oriented Software Development).","DOI":"10.1016\/j.engappai.2004.11.018"},{"key":"10.1016\/j.infsof.2009.06.007_bib20","doi-asserted-by":"crossref","unstructured":"M. Shahabuddin, Component-based, run-time flight software modification, in: Aerospace Conference, 2008.","DOI":"10.1109\/AERO.2008.4526467"},{"issue":"2","key":"10.1016\/j.infsof.2009.06.007_bib21","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1109\/TSE.1979.234169","article-title":"Designing software for ease of extension and contraction","volume":"5","author":"Parnas","year":"1979","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/j.infsof.2009.06.007_bib22","unstructured":"Petri net. ."},{"issue":"4","key":"10.1016\/j.infsof.2009.06.007_bib23","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1016\/S0950-5849(02)00193-3","article-title":"A method for module architecture verification and its application on a large component-based system","volume":"45","author":"Postma","year":"2003","journal-title":"Information and Software Technology"},{"key":"10.1016\/j.infsof.2009.06.007_bib24","doi-asserted-by":"crossref","unstructured":"T. Richner, S. Ducasse, Recovering high-level views of object-oriented applications from static and dynamic information, in: Proceedings of the International Conference on Software Maintenance (ICSM), 1999.","DOI":"10.1109\/ICSM.1999.792487"},{"key":"10.1016\/j.infsof.2009.06.007_bib25","unstructured":"M. Richters, M. Gogolla, Aspect-oriented monitoring of UML and OCL constraints, in: AOSD Modeling with UML Workshop, sixth International Conference on the Unified Modeling Language, 2003."},{"key":"10.1016\/j.infsof.2009.06.007_bib26","unstructured":"C. Riva, J. Rodriguez, Combining static and dynamic views for architecture reconstruction, in: Proceedings of the European Conference on Software Maintenance and Reengineering, 2002."},{"issue":"7","key":"10.1016\/j.infsof.2009.06.007_bib27","doi-asserted-by":"crossref","DOI":"10.1109\/TSE.2006.66","article-title":"Discovering architectures from running systems","volume":"32","author":"Schmerl","year":"2006","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/j.infsof.2009.06.007_bib28","doi-asserted-by":"crossref","unstructured":"M.-A. Storey, K. Wong, H.A. M\u00fcller, Rigi \u2013 A visualization environment for reverse engineering (research demonstration summary), in: IEEE 19th International Conference on Software Engineering (ICSE-97), IEEE Computer Society Press, 1997, pp. 606\u2013607.","DOI":"10.1145\/253228.253496"},{"key":"10.1016\/j.infsof.2009.06.007_bib29","unstructured":"W.M.P. van der Aalst, ExSpect 6.4: An Executable Specification Tool for Hierarchical Colored Petri Nets, Lecture Notes in Computer Science, vol. 1825, Springer-Verlag, Berlin, 2000, pp. 455\u2013464."},{"issue":"6","key":"10.1016\/j.infsof.2009.06.007_bib30","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1109\/52.469760","article-title":"Creating architectures with building blocks","volume":"12","author":"van der Linden","year":"1995","journal-title":"IEEE Software"},{"key":"10.1016\/j.infsof.2009.06.007_bib31","doi-asserted-by":"crossref","unstructured":"J. Xu, J. Kuusela, Modeling execution architecture of software systems using colored petri nets, in: Proceedings of the International Workshop on Software Performance, 1998.","DOI":"10.1145\/287318.287332"}],"container-title":["Information and Software Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584909001025?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584909001025?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2023,5,25]],"date-time":"2023-05-25T22:13:04Z","timestamp":1685052784000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0950584909001025"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,11]]},"references-count":31,"journal-issue":{"issue":"11","published-print":{"date-parts":[[2009,11]]}},"alternative-id":["S0950584909001025"],"URL":"http:\/\/dx.doi.org\/10.1016\/j.infsof.2009.06.007","relation":{},"ISSN":["0950-5849"],"issn-type":[{"value":"0950-5849","type":"print"}],"subject":["Computer Science Applications","Information Systems","Software"],"published":{"date-parts":[[2009,11]]}}}