Título :	Business Standard Compliance and Requirements Validation Using Goal Models
Tipo de documento:	documento electrónico
Autores:	Deb, Novarun, Autor ; Chaki, Nabendu, Autor
Mención de edición:	1 ed.
Editorial:	Singapore [Malasya] : Springer
Fecha de publicación:	2020
Número de páginas:	XXV, 152 p. 78 ilustraciones, 39 ilustraciones en color.
ISBN/ISSN/DL:	978-981-1525018--
Nota general:	Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.
Palabras clave:	Matemáticas de ingeniería  Ingeniería  Ingeniería de software  Software de ordenador  Aplicaciones de ingeniería matemática y computacional  Software matemático
Índice Dewey:	620 Ingeniería operaciones afines
Resumen:	Este libro analiza las jerarquías empresariales, que ven un sistema objetivo con distintos grados de abstracción. Estas jerarquías de refinamiento de requisitos se pueden representar mediante modelos de objetivos. Es importante verificar que dichas jerarquías capturen el mismo conjunto de fundamentos e intenciones y estén en mutuo acuerdo con los requisitos del sistema que se está diseñando. El libro también explora cómo se manifiestan las jerarquías en el mundo real mediante la realización de un ejercicio de extracción de datos y la observación de las interacciones dentro de una empresa. La propiedad inherente independiente de la secuencia de los modelos de objetivos impide que los analistas de requisitos realicen comprobaciones de cumplimiento en esta fase, ya que las reglas de cumplimiento generalmente están integradas con información temporal. Los estudios discutidos aquí buscan extraer modelos de estados finitos correspondientes a modelos de objetivos con la ayuda de la transformación de modelos. La herramienta i*ToNuSMV implementa uno de esos algoritmos para realizar la verificación de modelos en modelos i*. A su vez, el marco AFSR proporciona una nueva nomenclatura del modelo de objetivos que asocia la semántica con objetivos individuales. También proporciona una maquinaria de reconciliación que detecta conflictos de vinculación o coherencia dentro de los modelos de objetivos y sugiere medidas correctivas para resolver dichos conflictos. Los autores también analizan cómo el problema de mantenimiento de objetivos se puede asignar al problema de búsqueda en el espacio de estados y cómo se puede utilizar la búsqueda A* para identificar una configuración óptima del modelo de objetivos que esté libre de conflictos. En conclusión, los autores discuten cómo los marcos de investigación propuestos pueden ampliarse y aplicarse en nuevas direcciones de investigación. El marco GRL2APK presenta una iniciativa para desarrollar aplicaciones móviles a partir de modelos de objetivos utilizando repositorios de componentes de código reutilizables.
Nota de contenido:	Introduction -- State-of-the-Art -- i∗ and Enterprise Hierarchies -- Model Checking with i∗ -- Goal Model Maintenance -- Conclusion and Future Work.
En línea:	https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
Link:	https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i

Business Standard Compliance and Requirements Validation Using Goal Models [documento electrónico] / Deb, Novarun, Autor ; Chaki, Nabendu, Autor  . -  1 ed.  . - Singapore [Malasya] : Springer, 2020 . - XXV, 152 p. 78 ilustraciones, 39 ilustraciones en color.
ISBN : 978-981-1525018--
Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos.

Palabras clave:	Matemáticas de ingeniería  Ingeniería  Ingeniería de software  Software de ordenador  Aplicaciones de ingeniería matemática y computacional  Software matemático
Índice Dewey:	620 Ingeniería operaciones afines
Resumen:	Este libro analiza las jerarquías empresariales, que ven un sistema objetivo con distintos grados de abstracción. Estas jerarquías de refinamiento de requisitos se pueden representar mediante modelos de objetivos. Es importante verificar que dichas jerarquías capturen el mismo conjunto de fundamentos e intenciones y estén en mutuo acuerdo con los requisitos del sistema que se está diseñando. El libro también explora cómo se manifiestan las jerarquías en el mundo real mediante la realización de un ejercicio de extracción de datos y la observación de las interacciones dentro de una empresa. La propiedad inherente independiente de la secuencia de los modelos de objetivos impide que los analistas de requisitos realicen comprobaciones de cumplimiento en esta fase, ya que las reglas de cumplimiento generalmente están integradas con información temporal. Los estudios discutidos aquí buscan extraer modelos de estados finitos correspondientes a modelos de objetivos con la ayuda de la transformación de modelos. La herramienta i*ToNuSMV implementa uno de esos algoritmos para realizar la verificación de modelos en modelos i*. A su vez, el marco AFSR proporciona una nueva nomenclatura del modelo de objetivos que asocia la semántica con objetivos individuales. También proporciona una maquinaria de reconciliación que detecta conflictos de vinculación o coherencia dentro de los modelos de objetivos y sugiere medidas correctivas para resolver dichos conflictos. Los autores también analizan cómo el problema de mantenimiento de objetivos se puede asignar al problema de búsqueda en el espacio de estados y cómo se puede utilizar la búsqueda A* para identificar una configuración óptima del modelo de objetivos que esté libre de conflictos. En conclusión, los autores discuten cómo los marcos de investigación propuestos pueden ampliarse y aplicarse en nuevas direcciones de investigación. El marco GRL2APK presenta una iniciativa para desarrollar aplicaciones móviles a partir de modelos de objetivos utilizando repositorios de componentes de código reutilizables.
Nota de contenido:	Introduction -- State-of-the-Art -- i∗ and Enterprise Hierarchies -- Model Checking with i∗ -- Goal Model Maintenance -- Conclusion and Future Work.
En línea:	https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
Link:	https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i