Artículos
Publicado 2017-10-11
Palabras clave
- Vistas de Modelos de Procesos Software,
- AVISPA,
- Procesos Software,
- Modelos de Procesos Software,
- Verificación de Procesos Software
- Análisis de Procesos Software ...Más
Cómo citar
Camacho-O, M. C., Hurtado-Alegria, J. A., & Ruiz-Melenje, P. H. (2017). Un método incremental para el análisis visual de modelos de proceso software. Revista GTI, 15(43), 79–91. Recuperado a partir de https://revistas.uis.edu.co/index.php/revistagti/article/view/6822
Resumen
Especificar modelos de procesos en SPEM 2.0 es una tarea costosa por la cantidad de detalles a ser definidos. Normalmente dicha especificación evoluciona en la labor de definición del proceso o un proyecto de mejoramiento. En el desarrollo de software se pueden construir y evaluar entregables, de la misma forma se esperaría que con la definición del proceso ocurra igual. Sin embargo, la etapa de evaluación práctica de un proceso es mucho más larga, costosa y compleja que la misma etapa de definición. En este artículo se propone el uso de AVISPA-Method (Método incremental para el análisis visual de modelos de proceso software), como un método liviano para realizar evaluaciones tempranas del modelo de proceso a un costo mucho más reducido que su evaluación en la aplicación real, este método emplea a AVISPA (Analysis and Visualization for Software Process Assessment) como herramienta para la evaluación del modelo de proceso. Para mostrar la aplicabilidad del método,
se ha desarrollado un estudio de caso, en el que el modelo de proceso Small-SPL se ha evaluado y depurado incrementalmente siguiendo este enfoque. Durante su proceso de modelado, AVISPAMethod, fue utilizado al terminar cada una de las versiones planificadas durante su especificación. Esto contribuyó a depurar la especificación de cada una de las tres versiones y a un notable mejoramiento en la especificación del proceso.
Descargas
Los datos de descargas todavía no están disponibles.
Referencias
[1] W. S. Humphrey, «Managing the Software Process,» Addison-Wesley Longman, 1989.
[2] S. Hossein y C. Natsu, «Characterizing a Software Process Maturity Model for Small,» 1997.
[3] M. Ginsberg y L. Quinn, «Process Tailoring and the software Capability Maturity Model..,» 1994.
[4] P. Feiler y H. W., «Software Process Development and Enactment: Concepts and Definitions,,» Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA, Tech. Rep. CMU/SEI-92-TR-004,, 1992.
[5] A. Fuggetta, «Software Process: A Roadmap,» de International Conference in Software Engineering - Future of Software Engineering Track, 2000.
[6] ISO, «ISO/IEC 15504 : Information Technology - Software Process,» 1998.
[7] ISO/IEC, «ISO/IEC 12207:2008 Systems and Software Engineering,» 2008.
[8] SEI, «CMMI for Development, Version 1.2,» 2006.
[9] B. Cheng, R. d. Lemos, H. Giese, P. Inverardi, J. Magee , J. Andersson, A. Becker , N. Bencomo, Y. Brun, B. Cukic, G. D. Marzo Serugendo, S. Dustdar, A. Finkelstein, C. Gacek, K. Geihs, V. Grassi, G. Karsai, H. M. Kienle, J. Kramer, M. Litoiu, S. Malek, R. Mirandola, H. A. Müller, S. Park, M. Shaw, M. Tichy, M. Tivoli, D. Weyns y J. Whittle, «Software Engineering for Self-Adaptive Systems:,» de Software Engineering for Self-Adaptive Systems, vol. 5525, S. B. Heidelberg, Ed., Berlin, Springer, 2009.
[10] J. A. Hurtado, M. C. Bastarrica y A. Bergel, «Analyzing software process models with AVISPA,» de ICSSP '11 Proceedings of the 2011 International Conference on Software and Systems Process, 2011.
[11] L. J. Osterweil, «Software Processes are Software Too,» de 9th International Conference on Software Engineering ICSE, Los Alamitos, CA, USA, 1987. [12] S. Sutton, «Advancing process modeling, simulation, and analytics in practice,» de ICSSP, Zurich, 2012.
[13] G. Canfora, F. García, M. Piattini, F. Ruiz y C. A. Visaggio, «A family of experiments to validate metrics for software process models,» de Journal of Systems and Software , 2005.
[14] V. Gruhn, «Validation and verification of software process models,» Software Development Environments and CASE Technology, pp. 271-286, 1991.
[15] J. Ge, H. Hu, Q. Gu y J. Lu, «Modeling Multi-View Software Process with Object Petri Nets,» de International Conference on Software Engineering Advances ICSEA, Tahiti, 2006.
[16] J. A. Hurtado Alegría, A. Lagos, A. Bergel y M. C. Bastarrica, «Software process model blueprints,» de Proceedings of the 2010 international conference on New modeling concepts for today's software processes: software process, Padernorn, Germany, 2010.
[17] M. C. Camacho, J. A. Hurtado y P. Ruiz, «Experiencias de Desarrollo de Líneas de Productos Software en el Contexto de un Curso de Ingeniería de Software,» Revista I + T + C: Investigación, Tecnología y Ciencia, vol. 6, 2014.
[18] L. Wenbin, J. H. Hayes, A. Giulio y G. Yann‐Gaël, «Error leakage and wasted time: sensitivity and effort analysis of a requirements consistency checking process,» Software evolution and Process, 2016.
[19] J. Schramm, P. Dohrmann, A. Rausch y T. Ternité, «Process Model Engineering Lifecycle: Holistic Concept Proposal and Systematic Literature Review,» Software Engineering and Advanced Applications (SEAA), 2014 40th EUROMICRO Conference on, 2014.
[20] P. Ruiz y J. Hurtado, «Formalizing the Software Process in Small Companies,» Conferencia Colombiana de Computación, 2012.
[21] W. Scacchi, «Understanding Software Process Redesign using Modeling, Analysis and Simulation,» Software Process Improvement and Practice, vol. 5, p. 183–195, 2000.
[22] M. Ruiz Carreira, I. Ramos Román y M. Toro Bonilla, «Marco dinámico integrado para la mejora de los procesos software».
[23] S. Christov, G. S. Avrunin y L. A. Clarke, «Using Event Streams to Validate Process Definitions,» Amherst, 2009.
[24] K. El Emam, «A methodology for validating software product metrics,» 2002.
[25] J. A. Hurtado Alegría, M. C. Bastarrica y A. Bergel, «AVISPA: a tool for analyzing software process models,» Journal of software: Evolution and Process, vol. 26, nº 4, p. 434–450, 2014.
[26] J. A. Hurtado Alegría, M. C. Bastarrica y A. Bergel, «AVISPA: A Tool for Analyzing Software Process Models,» de JOURNAL OF SOFTWARE: EVOLUTION AND PROCESS, 2013.
[27] M. C. Camacho y J. A. Hurtado, «SPL en las PYMES desarrolladoras de software del cauca: una experiencia desde Colmayor,» Unversidad del Cauca, 2013.
[28] OMG, «Software Process Engineering Metamodel SPEM 2.0,» 2008.
[29] R. K. Yin, Case study research. Desing and methods, 3, Ed., London, Thousand Oaks: Sage Publications, 2003.
[30] P. Runeson y M. Höst, «Guidelines for conducting and reporting case study research in software engineering,» Empirical software engineering, vol. 14, nº 2, pp. 131-164, 2009.
[31] L. Northrop, P. Clements, F. Bachmann, J. Bergey, G. Chastek y S. Cohen, «A Framework for Software Product Line Practice,» 2007. [En línea]. Available:
http://www.sei.cmu.edu/productlines/frame_report. [Último acceso: Febrero 2010].
[32] J. Bayer, O. Flege, P. Knauber, R. Laqua, D. Muthig, K. Schmid, T. Widen y J.-M. DeBaud, «PuLSE: A Methodology to Develop Software Product Lines,» de SSR '99 Proceedings of the 1999 symposium on Software reusabilit, Los Angeles, California, USA, 1999.
[33] ESI, «Families,» 2003. [En línea]. Available: http://www.esi.es/Families/. [Último acceso: Junio 2012].
[34] F. van der Linden, «Family Evaluation Framework overview & introduction,» 2005.
[35] M. C. Camacho Ojeda y J. A. Hurtado Alegria, «Analizando la viabilidad de adoptar el enfoque de Líneas de Productos de Software en pequeñas entidades,» de 7th Colombian Computing Congress, 2012.
[2] S. Hossein y C. Natsu, «Characterizing a Software Process Maturity Model for Small,» 1997.
[3] M. Ginsberg y L. Quinn, «Process Tailoring and the software Capability Maturity Model..,» 1994.
[4] P. Feiler y H. W., «Software Process Development and Enactment: Concepts and Definitions,,» Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA, Tech. Rep. CMU/SEI-92-TR-004,, 1992.
[5] A. Fuggetta, «Software Process: A Roadmap,» de International Conference in Software Engineering - Future of Software Engineering Track, 2000.
[6] ISO, «ISO/IEC 15504 : Information Technology - Software Process,» 1998.
[7] ISO/IEC, «ISO/IEC 12207:2008 Systems and Software Engineering,» 2008.
[8] SEI, «CMMI for Development, Version 1.2,» 2006.
[9] B. Cheng, R. d. Lemos, H. Giese, P. Inverardi, J. Magee , J. Andersson, A. Becker , N. Bencomo, Y. Brun, B. Cukic, G. D. Marzo Serugendo, S. Dustdar, A. Finkelstein, C. Gacek, K. Geihs, V. Grassi, G. Karsai, H. M. Kienle, J. Kramer, M. Litoiu, S. Malek, R. Mirandola, H. A. Müller, S. Park, M. Shaw, M. Tichy, M. Tivoli, D. Weyns y J. Whittle, «Software Engineering for Self-Adaptive Systems:,» de Software Engineering for Self-Adaptive Systems, vol. 5525, S. B. Heidelberg, Ed., Berlin, Springer, 2009.
[10] J. A. Hurtado, M. C. Bastarrica y A. Bergel, «Analyzing software process models with AVISPA,» de ICSSP '11 Proceedings of the 2011 International Conference on Software and Systems Process, 2011.
[11] L. J. Osterweil, «Software Processes are Software Too,» de 9th International Conference on Software Engineering ICSE, Los Alamitos, CA, USA, 1987. [12] S. Sutton, «Advancing process modeling, simulation, and analytics in practice,» de ICSSP, Zurich, 2012.
[13] G. Canfora, F. García, M. Piattini, F. Ruiz y C. A. Visaggio, «A family of experiments to validate metrics for software process models,» de Journal of Systems and Software , 2005.
[14] V. Gruhn, «Validation and verification of software process models,» Software Development Environments and CASE Technology, pp. 271-286, 1991.
[15] J. Ge, H. Hu, Q. Gu y J. Lu, «Modeling Multi-View Software Process with Object Petri Nets,» de International Conference on Software Engineering Advances ICSEA, Tahiti, 2006.
[16] J. A. Hurtado Alegría, A. Lagos, A. Bergel y M. C. Bastarrica, «Software process model blueprints,» de Proceedings of the 2010 international conference on New modeling concepts for today's software processes: software process, Padernorn, Germany, 2010.
[17] M. C. Camacho, J. A. Hurtado y P. Ruiz, «Experiencias de Desarrollo de Líneas de Productos Software en el Contexto de un Curso de Ingeniería de Software,» Revista I + T + C: Investigación, Tecnología y Ciencia, vol. 6, 2014.
[18] L. Wenbin, J. H. Hayes, A. Giulio y G. Yann‐Gaël, «Error leakage and wasted time: sensitivity and effort analysis of a requirements consistency checking process,» Software evolution and Process, 2016.
[19] J. Schramm, P. Dohrmann, A. Rausch y T. Ternité, «Process Model Engineering Lifecycle: Holistic Concept Proposal and Systematic Literature Review,» Software Engineering and Advanced Applications (SEAA), 2014 40th EUROMICRO Conference on, 2014.
[20] P. Ruiz y J. Hurtado, «Formalizing the Software Process in Small Companies,» Conferencia Colombiana de Computación, 2012.
[21] W. Scacchi, «Understanding Software Process Redesign using Modeling, Analysis and Simulation,» Software Process Improvement and Practice, vol. 5, p. 183–195, 2000.
[22] M. Ruiz Carreira, I. Ramos Román y M. Toro Bonilla, «Marco dinámico integrado para la mejora de los procesos software».
[23] S. Christov, G. S. Avrunin y L. A. Clarke, «Using Event Streams to Validate Process Definitions,» Amherst, 2009.
[24] K. El Emam, «A methodology for validating software product metrics,» 2002.
[25] J. A. Hurtado Alegría, M. C. Bastarrica y A. Bergel, «AVISPA: a tool for analyzing software process models,» Journal of software: Evolution and Process, vol. 26, nº 4, p. 434–450, 2014.
[26] J. A. Hurtado Alegría, M. C. Bastarrica y A. Bergel, «AVISPA: A Tool for Analyzing Software Process Models,» de JOURNAL OF SOFTWARE: EVOLUTION AND PROCESS, 2013.
[27] M. C. Camacho y J. A. Hurtado, «SPL en las PYMES desarrolladoras de software del cauca: una experiencia desde Colmayor,» Unversidad del Cauca, 2013.
[28] OMG, «Software Process Engineering Metamodel SPEM 2.0,» 2008.
[29] R. K. Yin, Case study research. Desing and methods, 3, Ed., London, Thousand Oaks: Sage Publications, 2003.
[30] P. Runeson y M. Höst, «Guidelines for conducting and reporting case study research in software engineering,» Empirical software engineering, vol. 14, nº 2, pp. 131-164, 2009.
[31] L. Northrop, P. Clements, F. Bachmann, J. Bergey, G. Chastek y S. Cohen, «A Framework for Software Product Line Practice,» 2007. [En línea]. Available:
http://www.sei.cmu.edu/productlines/frame_report. [Último acceso: Febrero 2010].
[32] J. Bayer, O. Flege, P. Knauber, R. Laqua, D. Muthig, K. Schmid, T. Widen y J.-M. DeBaud, «PuLSE: A Methodology to Develop Software Product Lines,» de SSR '99 Proceedings of the 1999 symposium on Software reusabilit, Los Angeles, California, USA, 1999.
[33] ESI, «Families,» 2003. [En línea]. Available: http://www.esi.es/Families/. [Último acceso: Junio 2012].
[34] F. van der Linden, «Family Evaluation Framework overview & introduction,» 2005.
[35] M. C. Camacho Ojeda y J. A. Hurtado Alegria, «Analizando la viabilidad de adoptar el enfoque de Líneas de Productos de Software en pequeñas entidades,» de 7th Colombian Computing Congress, 2012.