Articles
An incremental method for visual analysis of software process models
Published 2017-10-11
Keywords
- Software Process Model Blueprints,
- AVISPA,
- Software Process,
- Software process models,
- software process verification
- software process analysis ...More
How to Cite
Camacho-O, M. C., Hurtado-Alegria, J. A., & Ruiz-Melenje, P. H. (2017). An incremental method for visual analysis of software process models. Revista GTI, 15(43), 79–91. Retrieved from https://revistas.uis.edu.co/index.php/revistagti/article/view/6822
Abstract
Specifying process models in SPEM 2.0 is a costly task by the number of details to be defined. Normally this specification evolves in the task of defining the process or an improvement project. In software development can be constructed and evaluated deliverables, in the same way, would expect that with the definition of the process occur the same. However, the practical evaluation stage of a process is much longer, costly and complex than the same stage of definition. This paper proposes the use of AVISPA-Method (Incremental method for visual analysis of software process models), a process visual analysis tool, as a lightweight method for conducting early evaluations of the process model at a much lower cost. To evidence the applicability of the method, a case study has been developed, in which the Small-SPL process model has been evaluated and incrementally debugged following this approach. During its modeling process, AVISPA-Method was used at the end each of
the planned versions during its specification. This contributed to debug the specification of each of the three versions and a notable improvement in the specification of the process.
Downloads
Download data is not yet available.
References
[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.