Modelo para la especificación de requisitos iniciales de software a partir de la relación sintáctica y semántica entre objetivos y problemas

Uno de los desafíos de la educción de requisitos de software es garantizar que los requisitos del sistema sean consistentes, pertinentes y contextualizados con las necesidades de la organización. Para llevar a cabo esta tarea, el analista realiza el proceso de forma manual, basado en su experiencia...

Full description

Autores:
Vargas Agudelo, Fabio Alberto
Tipo de recurso:
Fecha de publicación:
2016
Institución:
Universidad Nacional de Colombia
Repositorio:
Universidad Nacional de Colombia
Idioma:
spa
OAI Identifier:
oai:repositorio.unal.edu.co:unal/57937
Acceso en línea:
https://repositorio.unal.edu.co/handle/unal/57937
http://bdigital.unal.edu.co/54420/
Palabra clave:
0 Generalidades / Computer science, information and general works
Problemas del dominio
Reglas semánticas
Reglas sintácticas
Trazabilidad
Domain problems
Semantic rules
Syntactic rules
Traceability
Rights
openAccess
License
Atribución-NoComercial 4.0 Internacional
Description
Summary:Uno de los desafíos de la educción de requisitos de software es garantizar que los requisitos del sistema sean consistentes, pertinentes y contextualizados con las necesidades de la organización. Para llevar a cabo esta tarea, el analista realiza el proceso de forma manual, basado en su experiencia y conocimiento. La educción de requisitos de software requiere, en sus procesos iniciales de análisis organizacional, una alta participación del analista y el interesado, para reconocer el dominio en el que se desplegará el producto de software, incluyendo objetivos de la organización, problemas del dominio y objetivos del sistema a implementar. Muchos de los trabajos enfocados en esta fase de la ingeniería de software establecen que los objetivos organizacionales son una base importante para generar trazabilidad y consistencia entre los problemas del dominio y los requisitos del sistema. Algunas metodologías de desarrollo de software, de ingeniería de software orientada a objetivos (Goal-Oriented Requirements Engineering, GORE) y de análisis organizacional utilizan esquemas de representación para los problemas del dominio y los objetivos. Por ejemplo, el UNC-Method (Método para el Desarrollo de Aplicaciones de Software de la Universidad Nacional de Colombia) emplea una adaptación del diagrama causa-efecto para especificar los problemas del dominio y relacionarlos con los objetivos y los actores del sistema; el Business Modeling with UML define un esquema de objetivos que relaciona gráficamente objetivos y problemas; el NFR FrameWork especifica los problemas por medio de marcos de problemas en el proceso de educción de requisitos no funcionales. La metodología KAOS y los FrameWorks I* y TROPOS definen requisitos de software a partir de objetivos organizacionales y la metodología de análisis organizacional marco lógico relaciona objetivos y problemas en la formulación de proyectos para la toma de decisiones. Todos estos trabajos carecen de representaciones formales para la especificación de objetivos organizacionales, problemas de dominio y objetivos del sistema y, por tal motivo, es difícil generar consistencia y trazabilidad en el proceso, porque los analistas suelen especificar objetivos y problemas de forma subjetiva y en muchos casos no se enuncian con información que denote realmente un problema o un objetivo. Existe un trabajo inicial que vincula objetivos y problemas a partir de la negación de los primeros, generando una relación entre ellos, pero que sólo utiliza reglas sintácticas para relacionar términos comunes enunciados en los objetivos y los problemas. La Tesis Doctoral que se presenta a continuación define un modelo para la especificación, formalización y relación de los objetivos organizacionales, problemas del dominio y objetivos del sistema en la fase de educción de requisitos de software, permitiendo generar trazabilidad y consistencia. Se estructura un conjunto de reglas sintácticas y semánticas que facilitan una relación de asociación de términos comunes del dominio. La Tesis se valida por medio de casos de estudio donde se aplica el modelo y se respalda con un conjunto de publicaciones generadas de la propuesta doctoral.