{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,14]],"date-time":"2025-06-14T00:10:02Z","timestamp":1749859802771,"version":"3.41.0"},"publisher-location":"Cham","reference-count":41,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319508795"},{"type":"electronic","value":"9783319508801"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-50880-1_2","type":"book-chapter","created":{"date-parts":[[2017,1,2]],"date-time":"2017-01-02T13:42:18Z","timestamp":1483364538000},"page":"15-26","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["PintArq: A Visualizer of Architectural Execution Flow for Component-Based Software Architectures"],"prefix":"10.1007","author":[{"given":"Jorge Alejandro Rico","family":"Garc\u00eda","sequence":"first","affiliation":[]},{"given":"Henry Alberto","family":"Diosa","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,1,3]]},"reference":[{"unstructured":"Allen, R.J.: A formal approach to software architecture. Ph.D. thesis, Carnegie Mellon, School of computer Science (1997)","key":"2_CR1"},{"key":"2_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/978-3-540-39800-4_7","volume-title":"Formal Methods for Software Architectures","author":"A Bertolino","year":"2003","unstructured":"Bertolino, A., Inverardi, P., Muccini, H.: Formal methods in testing software architectures. In: Bernardo, M., Inverardi, P. (eds.) SFM 2003. LNCS, vol. 2804, pp. 122\u2013147. Springer, Heidelberg (2003). doi: 10.1007\/978-3-540-39800-4_7"},{"unstructured":"Dashofy, E.M., van der Hoek, A., Taylor, R.N.: An infrastructure for the rapid development of XML-based architecture description languages. In: Proceedings of the 24th International Conference on Software Engineering (ICSE 2002), pp. 266\u2013276. ACM, New York (2002). http:\/\/doi.acm.org\/10.1145\/581339.581374","key":"2_CR3"},{"issue":"4","key":"2_CR4","doi-asserted-by":"publisher","first-page":"302","DOI":"10.1109\/32.385969","volume":"21","author":"TR Dean","year":"1995","unstructured":"Dean, T.R., Cordy, J.R.: A sintactic theory of software architecture. IEEE Trans. Softw. Eng. 21(4), 302\u2013313 (1995)","journal-title":"IEEE Trans. Softw. Eng."},{"unstructured":"Diosa, H.A.: Especificaci\u00f3n de un Modelo de Referencia Arquitectural de Software A Nivel de Configuraci\u00f3n, Estructura y Comportamiento. Ph.D. thesis, Universidad del Valle- Escuela de Ingenier\u00eda de Sistemas y Computaci\u00f3n, Febrero 2008","key":"2_CR5"},{"unstructured":"Diosa, H.A., D\u00edaz, J.F., Gaona, C.M.: C\u00e1lculo para el modelado formal de arquitecturas de software basadas en componentes: c\u00e1lculo $$\\rho _{arq}$$ . Revista Cient\u00edfica. Universidad Distrital Francisco Jos\u00e9 de Caldas (12) (2010)","key":"2_CR6"},{"doi-asserted-by":"crossref","unstructured":"Diosa, H.A., D\u00edaz, J.F., Gaona, C.M.: Especificaci\u00f3n formal de arquitecturas de software basadas en componentes: Chequeo de correcci\u00f3n con c\u00e1lculo $$\\rho _{arq}$$ . Revista Cient\u00edfica. Universidad Distrital Francisco Jos\u00e9 de Caldas (12) (2010)","key":"2_CR7","DOI":"10.14483\/23448350.608"},{"key":"2_CR8","volume-title":"Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis and Design Language","author":"PH Feiler","year":"2013","unstructured":"Feiler, P.H., Gluch, D.P.: Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis and Design Language. Addison-Wesley, Boston (2013)"},{"unstructured":"Garlan, D., Monroe, R., Wile, D.: ACME: an architecture description interchange language. In: Proceedings of the 1997 Conference of the Centre for Advanced Studies on Collaborative Research (CASCON 1997), p. 7. IBM Press (1997). http:\/\/portal.acm.org\/citation.cfm?id=782010.782017","key":"2_CR9"},{"unstructured":"Garlan, D., Shaw, M.: An introduction to software architecture. Technical report CMU-CS-94-166. Carnegie Mellon University, Enero 1994","key":"2_CR10"},{"key":"2_CR11","doi-asserted-by":"publisher","first-page":"63","DOI":"10.18046\/syt.v1i1.918","volume":"1","author":"SVH Gil","year":"2006","unstructured":"Gil, S.V.H.: Representaci\u00f3n de la arquitectura de software usando UML. Sistemas y Telem\u00e1tica 1, 63\u201375 (2006)","journal-title":"Sistemas y Telem\u00e1tica"},{"key":"2_CR12","volume-title":"The LaTeX Companion","author":"M Goossens","year":"1994","unstructured":"Goossens, M., Mittelbach, F., Samarin, A.: The LaTeX Companion. Addison-Wesley, Reading (1994)"},{"doi-asserted-by":"crossref","unstructured":"Gorlick, M., Razouk, R.: Using weaves for software construction and analysis. In: 13th International Conference on Software Engineering, Proceedings, pp. 23\u201334, May 1991","key":"2_CR13","DOI":"10.1109\/ICSE.1991.130620"},{"doi-asserted-by":"crossref","unstructured":"Guerra, E., de Lara, J., Kolovos, D., Paige, R.: A visual specification language for model-to-model transformations. In: IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC), pp. 119\u2013126 (2010)","key":"2_CR14","DOI":"10.1109\/VLHCC.2010.25"},{"key":"2_CR15","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1016\/S0164-1212(02)00087-0","volume":"71","author":"X He","year":"2004","unstructured":"He, X., Yu, H., Shi, T., Ding, J., Deng, J.: Formally analyzing software architectural specifications using SAM. J. Syst. Softw. 71, 11\u201329 (2004)","journal-title":"J. Syst. Softw."},{"key":"2_CR16","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"CAR Hoare","year":"1978","unstructured":"Hoare, C.A.R.: Communicating sequential processes. Commun. ACM 21, 666\u2013677 (1978). http:\/\/doi.acm.org\/10.1145\/359576.359585","journal-title":"Commun. ACM"},{"issue":"4","key":"2_CR17","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1109\/32.385973","volume":"21","author":"P Inverardi","year":"1995","unstructured":"Inverardi, P., Wolf, A.: Formal specification and analysis of software architectures using the chemical abstract machine model. IEEE Trans. Softw. Eng. 21(4), 373\u2013386 (1995)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"2_CR18","series-title":"SEI Series in Software Engineering","volume-title":"Software Architecture in Practice, Chap. 2","author":"L Bass","year":"2013","unstructured":"Bass, L., Paul Clements, R.K.: Software Architecture in Practice, Chap. 2. SEI Series in Software Engineering. Addison Wesley, Boston (2013)"},{"doi-asserted-by":"crossref","unstructured":"Luckham, D.C.: Rapide: a language and toolset for simulation of distributed systems by partial orderings of events. Technical report, Stanford, CA, USA (1996)","key":"2_CR19","DOI":"10.1090\/dimacs\/029\/18"},{"key":"2_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/3-540-60406-5_12","volume-title":"Software Engineering \u2014 ESEC 1995","author":"J Magee","year":"1995","unstructured":"Magee, J., Dulay, N., Eisenbach, S., Kramer, J.: Specifying distributed software architectures. In: Sch\u00e4fer, W., Botella, P. (eds.) ESEC 1995. LNCS, vol. 989, pp. 137\u2013153. Springer, Heidelberg (1995). doi: 10.1007\/3-540-60406-5_12"},{"issue":"1","key":"2_CR21","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1109\/TSE.2009.51","volume":"36","author":"I Malavolta","year":"2010","unstructured":"Malavolta, I., Muccini, H., Pelliccione, P., Tamburri, D.A.: Providing architectural languages and tools interoperability through model transformation technologies. IEEE Trans. Softw. Eng. 36(1), 119\u2013140 (2010)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"2_CR22","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1145\/504087.504088","volume":"11","author":"N Medvidovic","year":"2002","unstructured":"Medvidovic, N., Rosenblum, D.S., Redmiles, D.F., Robbins, J.E.: Modeling software architectures in the unified modeling language. ACM Trans. Softw. Eng. Methodol. 11, 2\u201357 (2002). http:\/\/doi.acm.org\/10.1145\/504087.504088","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"2_CR23","volume-title":"Communicating and Mobile Systems: The $$\\pi $$ -Calculus","author":"R Milner","year":"1999","unstructured":"Milner, R.: Communicating and Mobile Systems: The $$\\pi $$ -Calculus. Cambridge University Press, New York (1999)"},{"doi-asserted-by":"crossref","unstructured":"Morrison, R., Kirby, G., Balasubramaniam, D., Mickan, K., Oquendo, F., Cimpan, S., Warboys, B., Snowdon, B., Greenwood, R.: Support for evolving software architectures in the ArchWare ADL. In: Fourth Working IEEE\/IFIP Conference on Software Architecture (WICSA 2004), pp. 69\u201378 (2004)","key":"2_CR24","DOI":"10.1109\/WICSA.2004.1310691"},{"issue":"1","key":"2_CR25","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/366193.366201","volume":"6","author":"P Naur","year":"1963","unstructured":"Naur, P.: Revised report on the algorithmic language ALGOL 60. Commun. ACM 6(1), 1\u201317 (1963)","journal-title":"Commun. ACM"},{"key":"2_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/3-540-60688-2_43","volume-title":"Algorithms, Concurrency and Knowledge","author":"J Niehren","year":"1995","unstructured":"Niehren, J., M\u00fcller, M.: Constraints for free in concurrent computation. In: Kanchanasut, K., L\u00e9vy, J.-J. (eds.) ACSC 1995. LNCS, vol. 1023, pp. 171\u2013186. Springer, Heidelberg (1995). doi: 10.1007\/3-540-60688-2_43"},{"unstructured":"Object Management Group: OMG Unified Modeling Language (OMG UML). Version 2.5, September 2013","key":"2_CR27"},{"issue":"3","key":"2_CR28","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1109\/2.825699","volume":"33","author":"R Ommering van","year":"2000","unstructured":"van Ommering, R., van der Linden, F., Kramer, J., Magee, J.: The Koala component model for consumer electronics software. Computer 33(3), 78\u201385 (2000)","journal-title":"Computer"},{"doi-asserted-by":"crossref","unstructured":"Oquendo, F.: Dynamic software architectures: formally modelling structure and behaviour with Pi-ADL. In: Software Engineering Advances (ICSEA 2008), pp. 352\u2013359, October 2008","key":"2_CR29","DOI":"10.1109\/ICSEA.2008.47"},{"key":"2_CR30","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1764810.1764828","volume":"35","author":"RK Pandey","year":"2010","unstructured":"Pandey, R.K.: Architecture description languages (ADLs) vs UML: a review. SIGSOFT Softw. Eng. Notes 35, 1\u20135 (2010). http:\/\/doi.acm.org\/10.1145\/1764810.1764828","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"2_CR31","volume-title":"The Definitive ANTLR 4 Reference","author":"T Parr","year":"2012","unstructured":"Parr, T.: The Definitive ANTLR 4 Reference. The Pragmatic Bookshelf, Dallas (2012)"},{"unstructured":"Pattis, R.E.: Extended Backus-Naur Form. Disponible en (1980). http:\/\/www.cs.cmu.edu\/~pattis\/misc\/ebnf.pdf","key":"2_CR32"},{"doi-asserted-by":"crossref","unstructured":"Robbins, J., Medvidovic, N., Redmiles, D., Rosenblum, D.: Integrating architecture description languages with a standard design method. In: Proceedings of the 1998 International Conference on Software Engineering, pp. 209\u2013218, April 1998","key":"2_CR33","DOI":"10.1109\/ICSE.1998.671120"},{"doi-asserted-by":"crossref","unstructured":"Rong, M.: An aspect-oriented software architecture description language based on temporal logic. In: 2010 5th International Conference on Computer Science and Education (ICCSE), pp. 91\u201396, August 2010","key":"2_CR34","DOI":"10.1109\/ICCSE.2010.5593686"},{"unstructured":"Seidman, S.B.: Computer Science Handbook, Chap. 109. Chapman & Hall\/CRC (2004)","key":"2_CR35"},{"issue":"4","key":"2_CR36","doi-asserted-by":"publisher","first-page":"314","DOI":"10.1109\/32.385970","volume":"21","author":"M Shaw","year":"1995","unstructured":"Shaw, M., DeLine, R., Klein, D., Ross, T., Young, D., Zelesnik, G.: Abstractions for software architecture and tools to support them. IEEE Trans. Softw. Eng. 21(4), 314\u2013335 (1995)","journal-title":"IEEE Trans. Softw. Eng."},{"doi-asserted-by":"crossref","unstructured":"Singh, Y., Sood, M.: Models and transformations in MDA. In: International Conference on Computational Intelligence, Communication Systems and Networks, pp. 253\u2013258 (2009)","key":"2_CR37","DOI":"10.1109\/CICSYN.2009.52"},{"unstructured":"Smolka, G.: A calculus for higher-order concurrent constraint programming with deep guards. Technical report, Bundesminister f\u00fcr Forschung und Technologie (1994)","key":"2_CR38"},{"unstructured":"Smolka, G.: A foundation for higher-order concurrent constraint programming. Technical report, Bundesminister f\u00fcr Forschung und Technologie (1994)","key":"2_CR39"},{"unstructured":"Spencer, J.: Architecture description markup language (ADML) creating an open market for IT architecture tools. Disponible en, Septiembre 2000. http:\/\/www.opengroup.org\/architecture\/adml\/background.htm","key":"2_CR40"},{"doi-asserted-by":"crossref","unstructured":"Zuo, W., Feng, J., Zhang, J.: Model transformation from xUML PIMs to AADL PSMs. In: International Conference on Computing, Control and Industrial Engineering (CCIE), pp. 54\u201357 (2010)","key":"2_CR41","DOI":"10.1109\/CCIE.2010.21"}],"container-title":["Communications in Computer and Information Science","Applied Computer Sciences in Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-50880-1_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,13]],"date-time":"2025-06-13T23:48:20Z","timestamp":1749858500000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-50880-1_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319508795","9783319508801"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-50880-1_2","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"3 January 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"WEA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Workshop on Engineering Applications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Bogot\u00e1","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Colombia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2016","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 September 2016","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23 September 2016","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"woea2016","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/ieee.udistrital.edu.co\/wea2016\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}