Mostrar el registro sencillo del ítem

Proceso y evolución de los métodos formales en la ingeniería de requisitos

Process and evolution of formal methods in requirements engineering;
Processo e evolução dos métodos formais na engenharia de requisitos

dc.contributor.authorSuaza Jiménez, Jorge Hernán
dc.contributor.authorLora Patiño, Gloria Amparo
dc.date.accessioned2021-10-05T18:41:54Z
dc.date.available2021-10-05T18:41:54Z
dc.date.created2019-11-26
dc.identifier.issn1692-3324
dc.identifier.urihttp://hdl.handle.net/11407/6539
dc.descriptionLa ingeniería de requisitos se considera la fase más importante del ciclo de vida de los productos de software, porque en ella se especifican las necesidades de los clientes y es la base para la ejecución de las demás fases de la ingeniería de software. Los modelos que actualmente se utilizan para realizar la elicitación de requisitos se han propuesto y documentado de forma amplia, pero se centran solo en las técnicas para colectar información y descuidan la actividad de documentarla de manera adecuada. Además, para estructurar la especificación de requisitos sigue en uso el lenguaje natural como forma de comunicación y comprensión con el cliente. Debido a las ambigüedades que este causa, se dificulta la interpretación; esto conlleva reprocesos en las etapas posteriores del ciclo de vida del software. De acuerdo con ello, es necesario que las organizaciones desarrolladoras de software consideren formalizar el proceso de elicitación de requisitos si desean hacer más eficiente su proceso de desarrollo. En este artículo se hace una revisión de literatura para determinar el proceso y evolución de los métodos formales desde la perspectiva de la ingeniería de requisitos. De acuerdo a lo anterior, es necesario que las organizaciones que desarrollan software consideren formalizar el proceso de elicitación de requisitos si desean hacer más eficiente su proceso de desarrollo. En este artículo se hace una revisión de literatura para determinar el proceso y evolución de los métodos formales desde la perspectiva de la Ingeniería de Requisitos.
dc.descriptionRequirements Engineering is considered the most important phase of the life cycle of software products because it specifies the needs of the customers, and it is also the basis for the execution of the other phases of software engineering. The models currently used to perform the requirements elicitation have been proposed and widely documented, but they are focused only on the techniques to collect information, disregarding the activity of properly documenting this information. Moreover, to structure the requirements specification, natural language continues to be used as a means of communication and understanding with the customer. Due to the ambiguities caused by this language, its interpretation becomes difficult, and this leads to reprocesses in the later stages of the software life cycle. According to the above, it is necessary for software development organizations to consider formalizing the process of requirements elicitation if they wish to make their development process more efficient. A literature review is carried out in this paper to determine the process and evolution of the formal methods from the requirements engineering perspective.
dc.descriptionA engenharia de requisitos é considerada a fase mais importante do ciclo de vida dos produtos de software, porque nela se especificam as necessidades dos clientes e é a base para a execução das demais fases da engenharia de software. Os modelos que atualmente são utilizados para realizar a elicitação de requisitos foram propostos e documentados de forma ampla, mas se centram só nas técnicas para coletar informação e descuidam a atividade de documentar de maneira adequada. Além disso, para estruturar a especificação de requisitos segue em uso a linguagem natural como forma de comunicação e entendimento com o cliente. Devido às ambiguidades que este causa, dificulta-se a interpretação; isso implica reprocessos nas etapas posteriores do ciclo de vida do software. De acordo com isso, é necessário que as organizações desenvolvedoras de software considerem formalizar o processo de elicitação de requisitos se desejam tornar mais eficiente seu processo de desenvolvimento. Neste artigo, faz-se uma revisão de literatura para determinar o processo e a evolução dos métodos formais a partir da perspectiva da engenharia de requisitos.
dc.formatPDF
dc.format.extentp. 119-136
dc.format.mediumElectrónico
dc.format.mimetypeapplication/pdf
dc.language.isospa
dc.publisherUniversidad de Medellín
dc.relation.ispartofseriesRevista Ingenierías Universidad de Medellín; Vol. 19 Núm. 37 (2020)
dc.relation.haspartRevista Ingenierías Universidad de Medellín; Vol. 19 Núm. 37 julio-diciembre 2020
dc.relation.urihttps://revistas.udem.edu.co/index.php/ingenierias/article/view/3020
dc.rights.urihttp://creativecommons.org/licenses/by-nc-sa/4.0/
dc.rights.urihttp://creativecommons.org/licenses/by-nc/4.0
dc.sourceRevista Ingenierías Universidad de Medellín; Vol. 19 Núm. 37 (2020): julio-diciembre; 119-163
dc.subjectMétodos formales
dc.subjectIngeniería de requisitos
dc.subjectCalidad del software
dc.subjectLenguaje matemático
dc.subjectFormal methods
dc.subjectRequirements engineering
dc.subjectSoftware quality
dc.subjectMathematic language
dc.subjectMétodos formais
dc.subjectEngenharia de requisitos
dc.subjectQualidade do software
dc.subjectLinguagem matemática
dc.titleProceso y evolución de los métodos formales en la ingeniería de requisitos
dc.titleProcess and evolution of formal methods in requirements engineering
dc.titleProcesso e evolução dos métodos formais na engenharia de requisitos
dc.typeArticle
dc.identifier.doihttps://doi.org/10.22395/rium.v19n37a6
dc.relation.citationvolume19
dc.relation.citationissue37
dc.relation.citationstartpage119
dc.relation.citationendpage136
dc.audienceComunidad Universidad de Medellín
dc.publisher.facultyFacultad de Ingenierías
dc.coverageLat: 06 15 00 N degrees minutes Lat: 6.2500 decimal degreesLong: 075 36 00 W degrees minutes Long: -75.6000 decimal degrees
dc.publisher.placeMedellín
dc.relation.references"Å. Dahlstedt, y A. Persson, ""Requirements interdependencies - Moulding the state of research into a research agenda"", en Ninth International Workshop on Requirements Engineering Foundation for Software Quality (REFSQ 2003), Klagenfurt, 2003.
dc.relation.referencesR. Gore, y S. Diallo, ""The need for usable formal methods in verification and validation"", en 2013 Winter Simulation Conference (WSC), Washington, 2013. DOI: https://doi.org/10.1109/WSC.2013.6721513.
dc.relation.referencesC. Burgess, The Role of Formal Methods in Software Engineering Education and Industry, Bristol: University of Bristol, 1995.
dc.relation.referencesP. Zave, ""Classification of research efforts in requirements engineering"", ACM Computing Surveys, vol. 29, n.° 4, pp. 315-321, 1997. DOI: https://doi.org/10.1109/isre.1995.512563.
dc.relation.referencesE. Serna, ""Métodos formales e Ingeniería de Software"", Revista Virtual Universidad Católica del Norte, n.° 30, pp. 158-184, 2010, Disponible en: http://revistavirtual.ucn.edu.co/index.php/RevistaUCN/article/viewFile/62/129.
dc.relation.referencesL. Mathiassen y A. Munk-Madsen, ""Formalization in systems development"", en International Joint Conference on Theory and Practice of Software Development on Formal Methods and Software Development, Berlín, 1985. DOI: https://10.1007/3-540-15199-0_7.
dc.relation.referencesS. Vilkomir, J. Bowen y A. Ghose, ""Formalization and assessment of regulatory requirements for safety-critical software"", Innovations in Systems and Software Engineering, vol. 2, n.° 3-4, pp. 165-178, 2006. DOI: https://10.1007/s11334-006-0006-8.
dc.relation.referencesC. Webel y R. Gotzhein, ""Formalization of Network Quality-of-Service Requirements"", Lecture Notes in Computer Science, vol. 4574, pp. 309-324, 2007. DOI: https://10.1007/978-3-540-73196-2_20.
dc.relation.referencesM. Schraps y M. Peters, ""Semantic annotation of a formal grammar by Semantic Patterns"", en 2014 IEEE 4th International Workshop on Requirements Patterns (RePa), Karlskrona, 2014. DOI: https://10.1109/repa.2014.6894838.
dc.relation.referencesR. Chatterjee y K. Johari, ""A Simplified and Corroborative Approach towards Formalization of Requirements"", Communications in Computer and Information Science, vol. 94, pp. 486-496, 2010. DOI: https://10.1007/978-3-642-14834-7_46.
dc.relation.referencesR. Cavada, A. Cimatti, A. Micheli, M. Roveri, A. Susi y S. Tonetta, ""OthelloPlay - A Plug-in based tool for requirement formalization and validation"", en The 1st workshop on Developing tools as plug-ins - TOPI'11, Honolulu, 2011. DOI: https://10.1145/1984708.1984728.
dc.relation.referencesA. Post y J. Hoenicke, ""Formalization and Analysis of Real-Time Requirements: A Feasibility Study at BOSCH"", Lecture Notes in Computer Science, vol. 7152, pp. 225-240, 2012. DOI: https://10.1007/978-3-642-27705-4_18.
dc.relation.referencesF. Li, J. Horkoff, A. Borgida, G. Guizzardi, L. Liu y J. Mylopoulos, ""From Stakeholder Requirements to Formal Specifications Through Refinement"", Requirements Engineering: Foundation for Software Quality, vol. 9013, pp. 164-180, 2015. DOI: https://10.1007/978-3-319-16101-3_11.
dc.relation.referencesH. Ehrig, G. Engels, F. Orejas y M. Wirsing, ""Semi-Formal and Formal Specification Techniques for Software Systems"" [internet], 2000. Disponible en: https://pdfs.semanticscholar.org/3323/1736efa0f613ba416094e1a59262b23f8a2d.pdf.
dc.relation.referencesC. Snook y M. Butler, ""UML-B: Formal Modeling and Design Aided by UML"", ACM Transactions on Software Engineering and Methodology (TOSEM), vol. 15, n.° 1, pp. 92-122, 2006.
dc.relation.referencesS. Pandey y M. Batra, ""Formal methods in requirements phase of SDLC"", International Journal of Computer Applications (0975 - 8887), vol. 70, n.° 13, pp. 7-14, 2013.
dc.relation.referencesE. Serna y A. Serna, ""La especificación formal en contexto: actual y futuro"", Ingeniare- Revista Chilena de Ingeniería, vol. 22, n.° 2, pp. 243-256, 2014. DOI: https://10.4067/S0718-33052014000200010.
dc.relation.referencesH. Krad, ""Formal methods and automation for system verification"", en 2011 Fourth International Conference on Modeling, Simulation and Applied Optimization (ICMSAO 2011), Kuala Lumpur, 2011. DOI: https://10.1109/icmsao.2011.5775479.
dc.relation.referencesF. Yan, ""Studying Formal Methods Applications in CBTC"", en 2011 International Conference on Management and Service Science (MASS2011), Bangkok, 2011. DOI: https://10.1109/icmss.2011.5999325.
dc.relation.referencesA. Bollin y D. Rauner-Reithmayer, ""Formal specification comprehension: the art of reading and writing z"", en The 2nd FME Workshop on Formal Methods in Software Engineering - FormaliSE 2014, Hyderabad, 2014. DOI: https://10.1145/2593489.2593491.
dc.relation.referencesS. Wolff, ""Scrum goes formal: Agile methods for safety-critical systems"", en 2012 First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA), Zurich, 2012. DOI: https://10.1109/formsera.2012.6229784.
dc.relation.referencesM. Bhavsar, ""Analysis of Multiagent Based Interactive Grid Using Formal Methods - A Reliable Approach"", en 2010 3rd International Conference on Emerging Trends in Engineering and Technology, Goa, 2010. DOI: https://10.1109/icetet.2010.5.
dc.relation.referencesE. Serna, ""Métodos formales: Perspectiva y aplicación futura"", en III Jornadas de Investigación de la Facultad de Ingenierías, pp. 64-68, Medellín, 2011.
dc.relation.referencesM. Bishop, B. Hay y K. Nance, ""Applying Formal Methods Informally"", en 2011 44th Hawaii International Conference on System Sciences, Kauai, 2011. DOI: https://10.1109/hicss.2011.71.
dc.relation.referencesT. de Sousa, J. Almeida, S. Viana y J. Pavón, ""Automatic analysis of requirements consistency with the B method"", ACM SIGSOFT Software Engineering Notes, vol. 35, n.° 2, pp. 1-4, 2010. DOI: https://10.1145/1734103.1734114.
dc.relation.referencesH. Gao y S. Wang, ""Based on Formal Methods in Trustable Software Requirements Engineering"", en 2010 International Conference on Internet Technology and Applications, Wuhan, 2010. DOI: https://10.1109/itapp.2010.5566647.
dc.relation.referencesR. Hassan, M. Eltoweissy, S. Bohner y S. El-Kassas, ""Formal analysis and design for engineering security automated derivation of formal software security specifications from goal-oriented security requirements"", IET Software, vol. 4, n.° 2, pp. 149-160, 2010. DOI:https://10.1049/iet-sen.2009.0059.
dc.relation.referencesJ. Van der Poll, ""Formal methods in software development: A road less travelled"", South African Computer Journal, vol. 45, pp. 165-178, 2010. DOI: https://10.18489/sacj.v45i0.33.
dc.relation.referencesM. Singh y M. Patterh, ""Formal Specification of Common Criteria Based Access Control Policy Model"", International Journal of Network Security, vol. 11, n.° 3, pp. 139-148, 2010.
dc.relation.referencesA. Cimatti, M. Roveri, A. Susi y S. Tonetta, ""Formalization and Validation of Safety-Critical Requirements"", Electronic Proceedings in Theoretical Computer Science, vol. 20, pp. 68-75, 2010. DOI: https://10.4204/eptcs.20.
dc.relation.referencesH. Barringer, A. Groce, K. Havelund y M. Smith, ""An Entry Point for Formal Methods: Specification and Analysis of Event Logs"", Electronic Proceedings in Theoretical Computer Science, vol. 20, pp. 16-21, 2010. DOI: https://10.4204/eptcs.20.2.
dc.relation.referencesC. Fernández et al., ""Métodos formales aplicados en la industria del software"", Temas de Ciencia y Tecnología, vol. 5, n.° 43, pp. 3-12, 2011. Disponible en: http://www.utm.mx/edi_anteriores/temas43/1ENSAYO_43_1-R.pdf.
dc.relation.referencesN. Ibrahim, V. Alagar y M. Mohammad, ""Specification and Verification of Context-dependent Services"", Electronic Proceedings in Theoretical Computer Science, vol. 61, pp. 17-33, 2011. DOI: https://10.4204/eptcs.61.2.
dc.relation.referencesB. Ammar y K. Abdallah, ""Towards the formal specification and verification of multiagent- based systems"", International Journal of Computer Science Issues, vol. 8, n° 4, pp.200-210, 2011.
dc.relation.referencesA. Kaur, S. Gulati y S. Singh, ""A comparative study of two formal specification languages: Z-notation & B-method"", en The Second International Conference on Computational Science, Engineering and Information Technology - CCSEIT '12, Coimbatore, 2012. DOI: https://10.1145/2393216.2393304.
dc.relation.referencesJ. You, S. Xia y J. Li, ""A survey on formal methods using in software development"", en IET International Conference on Information Science and Control Engineering 2012 (ICISCE 2012), Shenzhen, 2012. DOI: https://10.1049/cp.2012.2353.
dc.relation.referencesK. Barlas, G. Koletsos y P. Stefaneas, ""Extending standards with formal methods: Open Document Architecture"", en 2012 International Symposium on Innovations in Intelligent Systems and Applications, Trabzon, 2012. DOI: https://10.1109/INISTA.2012.6246931.
dc.relation.referencesA. Bollin, ""Do you speak Z? Formal methods under the perspective of a cross-cultural adaptation problem"", en 2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE), San Francisco, 2013. DOI: https://10.1109/formalise.2013.6612271.
dc.relation.referencesE. Serna y A. Serna, ""Desafíos y Oportunidades de la Investigación en Métodos Formales"", en XII Conferencia Iberoamericana en Sistemas, Cibernética e Informática, Orlando, 2011.
dc.relation.referencesJ. Atlee, S. Beidu, N. Day, F. Faghih y P. Shaker, ""Recommendations for improving the usability of formal methods for product lines"", en 2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE), San Francisco, 2013. DOI: https://10.1109/formalise.2013.6612276.
dc.relation.referencesE. Serna y A. Serna, ""Especificación formal - Presente y Futuro"", en XV International Convention and Fair Informatica, La Habana, 2013.
dc.relation.referencesX. Chen y D. Ouyang, ""Research on the Implementation of Internal Control in Enterprise Information System by Domain Analysis and Formal Methods: A Case Study of Sales Activities Internal Control Under Chinese Enterprise Environment"", en 2013 Fourth World Congress on Software Engineering (WCSE 2013), Hong Kong, 2013. DOI: https://10.1109/wcse.2013.31.
dc.relation.referencesL. Chan, R. Hexel y L. Wen, ""Rule-Based Behaviour Engineering: Integrated, Intuitive Formal Rule Modelling"", en 2013 22nd Australian Software Engineering Conference (ASWEC' 2013), Melbourne, 2013. DOI: https://10.1109/aswec.2013.13.
dc.relation.referencesM. Noaman, I. Alsmadi y A. Jaradat, ""The specifications of E-Commerce Secure System using Z language"", The Research Bulletin of Jordan ACM, vol. II, n.° III, pp. 127-131, 2013.
dc.relation.referencesJ. Lockhart, C. Purdy y P. Wilsey, ""Formal methods for safety critical system specification"", en 2014 IEEE 57th International Midwest Symposium on Circuits and Systems (MWSCAS), College Station, 2014. DOI: https://10.1109/mwscas.2014.6908387.
dc.relation.referencesT. Wu, Y. Dong y N. Hu, ""Formal Specification and Transformation Method of System Requirements from B Method to AADL Model"", en 2014 IEEE 17th International Conference on Computational Science and Engineering (CSE 2014), Chengdu, 2014. DOI: https://10.1109/cse.2014.299.
dc.relation.referencesE. Serna y A. Serna, ""Los Métodos Formales en Contexto"", en XIII Conferencia Iberoamericana en Sistemas, Cibernética e Informática (CISCI 2014), Orlando, 2014.
dc.relation.referencesM. Azeem, M. Ahsan, N. Minhas y K. Noreen, ""Specification of e-Health system using Z: A motivation to formal methods"", en International Conference for Convergence for Technology - 2014, Pune, 2014. DOI: https://10.1109/i2ct.2014.7092123.
dc.relation.referencesY. Li, X. Pan, T. Hu, S. Sung y H. Yuan, ""Specifying Complex Systems in Object-Z: A Case Study of Petrol Supply Systems"", Journal of Software, vol. 9, n.° 7, pp. 1707-1717, 2014. DOI: https://10.4304/jsw.9.7.1707-1717.
dc.relation.referencesE. Serna y A. Serna, ""Perspectiva y Aplicación de los Métodos Formales"", en XIII Conferencia Iberoamericana en Sistemas, Cibernética e Informática, Orlando, 2014.
dc.relation.referencesR. Jeffery, M. Staples, J. Andronick, G. Klein y T. Murray, ""An empirical research agenda for understanding formal methods productivity"", Information and Software Technology, vol. 60, pp. 102-112, 2015. DOI: https://10.1016/j.infsof.2014.11.005.
dc.relation.referencesS. Tamrakar y A. Sharma, ""Comparative Study and Performance Evaluation of Formal Specification Language based on Z, B and VDM Tools"", International Journal of Scientific & Engineering Research, vol. 6, n.° 9, pp. 1540-1543, 2015.
dc.relation.referencesA. Singh y D. Yadav, ""Formal Specification and Verification of Total Order Broadcast through Destination Agreement Using Event-B"", International Journal of Computer Science and Information Technology, vol. 7, n.° 5, pp. 85-95, 2015. DOI: https://10.5121/ijcsit.2015.7506.
dc.relation.referencesS. Walter, A. Rettberg y M. Kreutz, ""Towards Formalized Model-Based Requirements for a Seamless Design Approach in Safety-Critical Systems Development"", en 2015 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, Auckland, 2015. DOI: https://10.1109/isorcw.2015.51.
dc.relation.referencesA. Serna, ""Los Métodos Formales en la Industria"", Revista Antioqueña de las Ciencias Computacionales y la Ingeniería de Software (RACCIS), vol. 2, n.° 2, pp. 44-51, 2012, Disponible en: http://fundacioniai.org/raccis/v2n2/n3a7.pdf."
dc.rights.creativecommonsAttribution-NonCommercial-ShareAlike 4.0 International
dc.identifier.eissn2248-4094
dc.type.coarhttp://purl.org/coar/resource_type/c_6501
dc.type.versioninfo:eu-repo/semantics/publishedVersion
dc.type.localArtículo científico
dc.type.driverinfo:eu-repo/semantics/article
dc.identifier.reponamereponame:Repositorio Institucional Universidad de Medellín
dc.identifier.repourlrepourl:https://repository.udem.edu.co/
dc.identifier.instnameinstname:Universidad de Medellín


Ficheros en el ítem

Thumbnail
Nombre:
Revista_Ingenierias_UdeM_369.pdf
Tamaño:
514.0Kb
Formato:
PDF
Ver/

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del ítem

Attribution-NonCommercial-ShareAlike 4.0 International
Excepto si se señala otra cosa, la licencia del ítem se describe como Attribution-NonCommercial-ShareAlike 4.0 International