Escolar Documentos
Profissional Documentos
Cultura Documentos
151
RESUMEN
Este artculo presenta los modelos de contexto y de dominio de un ambiente
ubicuo genrico, como instrumento para facilitar la transicin del conocimiento de la
fase de definicin a la fase de anlisis y servir de base para la obtencin de los requisitos. El aporte es derivado de una investigacin en metodologas para construccin
de ambientes ubicuos, enmarcada dentro del macroproyecto para la construccin
de una plataforma de cocreacin de productos y servicios innovadores en el rea de
telecomunicaciones. Esta iniciativa hace parte del Centro de Excelencia ARTICA.
Palabras clave: ingeniera de software, ingeniera de requisitos, metodologas,
sistemas ubicuos, modelo de contexto, modelo de dominio.
**
Magster en Ingeniera U. de A. Docente Ingeniera de Sistemas Universidad de Medelln. Estudiante de Doctorado en Ingeniera. MedellnColombia. Correo electrnico: ligonzalez@udem.edu.co.
Ph. D. en Informtica Universidad de Pars I. Profesor Departamento de Ingeniera de Sistemas Universidad de Antioquia. Medelln- Colombia. Correo electrnico: gaurrego@udea.edu.co.
Revista Ingenieras Universidad de Medelln, vol. 9, No. 17, pp. 151-164 - ISSN 1692-3324 - julio-diciembre de 2010/228 p. Medelln, Colombia
152
Universidad de Medelln
INTRODUCCIN
En cualquier lugar, en cualquier momento y
a travs de cualquier dispositivo es la definicin
ms sencilla para explicar el concepto de ubicuidad desde la perspectiva tecnolgica, que ha de
modificar la manera como el hombre experimenta
el mundo [1].
Consecuentemente, los sistemas ubicuos (conocidos tambin como pervasivos) constituyen
entornos donde los elementos tecnolgicos son
invisibles para los usuarios pero su funcionalidad
contina proporcionndose, y a la vez, los dispositivos inteligentes se insertan en las tareas diarias,
haciendo que la interaccin usuario-sistema sea
natural y desinhibida en todo tipo de situaciones
y circunstancias [2].
Una etapa inicial y muy importante en el
proceso de desarrollo de cualquier sistema, incluyendo los denominados ubicuos, es la ingeniera de
requisitos (IR), donde se llevaa cabo el proceso de
descubrir, analizar, escribir y verificar los servicios
y restricciones del nuevo sistema [3]. Su relevancia
radica en que de la definicin de los requisitos
dependern las etapas subsecuentes del desarrollo.
Si esta fase no se lleva a cabo con el debido rigor
puede provocar serios problemas en tiempos de
entrega, aumento en presupuestos y expectativas
insatisfechas de los clientes, ya que el producto
final estar incompleto o poco funcional. De ah el
inters y la importancia de proponer metodologas
que permitan la captura y tratamiento de requisitos
de una manera sistemtica y organizada.
Para lograr el reconocimiento de los requisitos
es fundamental caracterizar el dominio al que
pertenece el tipo de sistema a construir, buscando
generalizar el conocimiento y facilitar posteriores
desarrollos. En orden a cumplir este objetivo algunos autores [4] proponen la construccin de un
modelo de contexto de utilizacin y un modelo de
dominio para recopilar informacin sobre los servicios tpicos que ofrecen los sistemas enmarcados
en un determinado contexto de aplicacin, y los
agentes e interacciones que por defecto se presen-
153
Revista Ingenieras Universidad de Medelln, vol. 9, No. 17, pp. 151-164 - ISSN 1692-3324 - julio-diciembre de 2010/228 p. Medelln, Colombia
154
la etapa de diseo, particularmente en el estudio
de la interfaz persona-ordenador, de los factores
humanos y en la elaboracin de recomendaciones
generales.
Como una contribucin al mejoramiento
de las tecnologas para el desarrollo de sistemas
ubicuos y de las limitaciones en su definicin y
anlisis, este artculo presenta los modelos de contexto y de dominio que proveen una base para la
fase de definicin de un sistema ubicuo genrico.
Estos resultados provienen de un proyecto de investigacin sobre la definicin y conceptualizaron
de sistemas ubicuos desarrollado en el marco de
un macroproyecto denominado Plataforma para
la cocreacin de productos y servicios innovados
en el rea de telecomunicaciones, perteneciente al
Centro de Excelencia ARTICA.
Este trabajo contina con la generacin de
un modelo de requisitos y un modelo conceptual
genricos para ambientes ubicuos, y su posterior
implantacin en la plataforma de cocreacin, como
mecanismo para garantizar el acceso sin limitantes
de tiempo y acceso por parte de los participantes en
el proceso de innovacin. El resto del artculo est
constituido por las siguientes secciones: Posterior
a la introduccin, en la seccin 2 de materiales y
mtodos se mencionan los conceptos relevantes
para entender la problemtica tratada, y algunas
aproximaciones a la solucin planteadas por otros
autores. Luego se presenta, en la seccin 3 la propuesta objeto del artculo. La discusin de resultados ocupa la seccin 4. En la quinta seccin se
enuncian las conclusiones. Por ltimo se presenta
la bibliografa.
1. MATERIALES Y MTODOS
A continuacin se presentan algunos conceptos bsicos que permiten entender la problemtica
planteada. Inicialmente se introduce la terminologa relevante, y luego una breve revisin de la
literatura.
Universidad de Medelln
155
Los modelos mencionados aportan informacin importante para la posterior construccin del
modelo de requisitos y conceptual del sistema [4].
Con este recorrido por el fundamento conceptual del artculo es posible ahora abordar la revisin
de la literatura.
Metodologas de ingeniera
de requisitos
Se clasifican en
Metodologas aplicadas al
dominio de los Sistemas
Oblcuos
Metodologas aplicadas
a otros dominios
Divididas en:
Divididas en:
Metodologas enfocadas
en el anlisis del sistema
Metodologas orientadas
por metas
Metodologas enfocadas
en el diseo del sistema
Metodologas orientadas
por escenarios
Revista Ingenieras Universidad de Medelln, vol. 9, No. 17, pp. 151-164 - ISSN 1692-3324 - julio-diciembre de 2010/228 p. Medelln, Colombia
156
En la rama de metodologas aplicadas al dominio de ambientes ubicuos vale la pena mencionar
las siguientes: la aproximacin de Tandler [7]: ofrece
una arquitectura de software especfica para ambientes de computacin ubicua, y la valida mediante un
caso de estudio denominado BEACH (Ambiente
Bsico para Colaboracin Activa con Hipermedia).
En esta arquitectura se ofrecen nuevas formas de
interaccin humano-computador, diferentes al uso
de dispositivos como el mouse o el teclado. Antes
de plantear la arquitectura, el autor propone 5
categoras de requisitos con sus respectivas subcategoras. Tambin se incorpora una propuesta de
modelo conceptual.
La propuesta de Giner y Torres [8]: Los autores proponen una clasificacin de requisitos y su
posterior representacin basada en modelos para
sistemas ubicuos, adems mencionan aspectos
clave para caracterizar este tipo de ambientes, tales
como identificacin de los elementos que participan en el sistema, heterogeneidad de interaccin,
Interoperabilidad entre sistemas. Posteriormente
los autores proponen un conjunto de modelos que
facilitan la representacin de un ambiente ubicuo,
y se complementan entre s aportando informacin
relevante de sistema.
El mtodo propuesto por Muoz y otros [11]
incluye un formalismo para especificacin de requisitos funcionales de sistemas pervasivos o ubicuos,
que posteriormente son mapeados a modelos PervML, los cuales permiten: a) generacin rpida de
prototipos para validar los requisitos; b) definicin
de transformaciones que proveen mecanismos de
trazabilidad para llevar los requisitos a la implementacin, y viceversa.Se adapta la tcnica CTT
(ConcurTaskTree) para representar y describir informacin relevante de los sistemas pervasivos (como
ubicacin fsica, adquisicin de datos del ambiente,
entre otras), y con dicha informacin los autores definen la transformacin desde el modelo de requisitos
basado en tareas hasta PervML, que es un lenguaje
de dominio especfico para la especificacin de sistemas pervasivos independiente de la tecnologa.
Universidad de Medelln
La aproximacin de Cetina [12] sigue el enfoque de desarrollo de software dirigido por modelos
mediante el cual es posible la generacin automtica de cdigo a partir de modelos para sistemas pervasivos.El autor se concentra en definir el lenguaje
de modelado al que da soporte la herramienta para
especificar estos sistemas (PervML) y un framework
de implementacin que permite la ejecucin del
cdigo generado.
Kranz y otros [13] proponen una clasificacin
para sistemas de presencia ubicua de acuerdo con
5 criterios de clasificacin relacionados con la
forma de adquirir informacin del ambiente, las
funcionalidades de entrada y salida, el medio de comunicacin soportado, la extensin de la presencia,
el modo de comunicacin. Posterior a este aporte,
proponen un conjunto de guas para el diseo de
sistemas de presencia ubicua.
Segn el estudio realizado, la mayora de
metodologas halladas poseen una fuerte orientacin a la fase de diseo y un nfasis ms dbil
hacia la fase de anlisis que se ocupa de hacer una
conceptualizacin del dominio de aplicacin, y el
posterior estudio de los requisitos que debe cumplir el ambiente ubicuo. Otro aspecto a resaltar
de las metodologas encontradas es el hecho de
que ofrecen pautas para tratar los requisitos luego
de que han sido elicitados, pero no proporcionan
herramientas para su captura, y esto tambin se
debe a su fuerte orientacin a la fase de diseo.
Aunque existen 3 metodologas que proponen
modelos de requisitos y algunas de ellas avanzan
hasta la generacin del modelo conceptual, se
encuentra una desconexin entre los requisitos
que se capturan y la forma en que se reflejan en el
modelo conceptual. Otra debilidad detectada en los
aportes recopilados es la ausencia de formalismos
para la definicin del sistema, previa a la captura
de requisitos. No se hall evidencia de modelos que
faciliten a los analistas y diseadores de ambientes
ubicuos incorporar un vocabulario comn para
este dominio en el cual se identifiquen los agentes
participantes, sus interacciones tpicas, lo mismo
157
requisitos y elaborar un diseo preliminar, asegurando una comunicacin activa entre usuarios y
diseadores lo que permite una mejor validacin
de los requisitos. El mtodo tiene cuatro fases:
captura de requisitos iniciales y familiarizacin con
el dominio; visin inicial del diseo a partir de los
requisitos; exploracin de requisitos; validacin
de requisitos y prototipado. En el mtodo no se
propone ningn modelo de requisitos.
De otro lado, las metodologas basadas en metas proveen mecanismos para establecer la relacin
entre la funcionalidad esperada de un sistema y
los procesos de negocio a los que ste dar soporte, ayudando a los agentes organizacionales en la
realizacin de sus tareas.
Existen diversas propuestas metodolgicas de
este tipo. Entre ellas destaca poderosamente la notacin i* propuesta por Eric Yu en la primera mitad
de la dcada de los 90 [14], que permite expresar
de forma clara y sencilla las metas de los actores
que aparecen en los modelos y las dependencias
entre ellos. El uso de i* incorpora un riesgo que
se descubre pronto, pues no existe una definicin
nica del lenguaje, lo cual genera cierta libertad y
ambigedad.
GBRAM (Mtodo de Anlisis de Requisitos
Basado en Metas) [20] propone una serie de actividades a seguir para la obtencin de un documento
de requisitos a partir de metas de la organizacin.
Presenta un proceso en el que se identifican metas
organizacionales a partir de diversas fuentes (entrevistas, diagramas de flujo de trabajo, entre otros).
Las metas se clasifican en metas de mantenimiento
y metas de logro, y posteriormente se materializan
en acciones del sistema.
La metodologa KAOS [21, 22] permite construir modelos de requisitos a partir de las metas
organizacionales. Esta aproximacin est soportada
por un marco formal basado en lgica temporal y
en tcnicas de refinamiento de Inteligencia Artificial, que define cada trmino (metas, acciones,
estados) de forma consistente y rigurosa. La principal contribucin de KAOS es la demostracin de
Revista Ingenieras Universidad de Medelln, vol. 9, No. 17, pp. 151-164 - ISSN 1692-3324 - julio-diciembre de 2010/228 p. Medelln, Colombia
158
que los requisitos se corresponden con las metas
definidas para el sistema.
La propuesta de Ericsson [23] orientada por
metas, postula que el modelado de negocio es una
actividad de aprendizaje que ayuda al desarrollo del
sistema. Esto implica que la primera actividad sera
el modelado de la porcin del negocio soportada
por el sistema, lo cual ocasiona que cada nuevo
desarrollo conlleve un nuevo modelado de parte
de la organizacin.
La metodologa ABC-Besoins [4] tambin est
orientada por metas, y adems tiene involucrado
el concepto de agente. Si los requisitos se capturan pensando en los agentes que intervienen se
obtendr un mayor entendimiento del problema a
resolver, porque an sin que el sistema exista, los
agentes deben interactuar para realizar determinadas actividades, y al pensar en la automatizacin de
esas actividades se encontrar lo que el sistema debe
hacer. Por su modelo para representar y utilizar el
conocimiento del dominio, ABC-Besoins facilita
la fase de captura de los requisitos. Se ofrecen
para tal efecto dos formalismos de representacin
denominados modelo de contexto de utilizacin
y estructura de objetivos y servicios del dominio.
Como ltimo ejemplo de metodologa orientada por metas, se encuentra B-SCP [24], un marco
de ingeniera de requisitos basado en la conexin e
integracin de los conceptos de estrategia, contexto
y proceso para apoyar la captura de requisitos organizacionales y su validacin contra una estrategia de
negocio. Este enfoque tiene implcito el concepto
de meta.
2. SOLUCIN PROPUESTA
Teniendo en cuenta la revisin efectuada, y
orientada no solo a metodologas de IR aplicadas
en el dominio de los sistemas ubicuos, sino, a metodologas usadas en otros dominios, se propone
intervenir la metodologa ABC-Besoins [4], orientada por metas y agentes, que proporciona formalismos para representar el conocimiento bsico de
un dominio, informacin base para posteriormente
proceder a la educcin de requisitos y su posterior
anlisis, proporcionando continuidad en el proceso
de IR, desde la elicitacin de requisitos hasta la
generacin de un modelo conceptual y posterior
generacin de un modelo de diseo.
Los modelos de contexto y de domino propuestos en [4] no fueron concebidos para el mbito de
ambientes ubicuos, por lo tanto, se deben adaptar
para que reflejen un conocimiento profundo
de este dominio de aplicacin, incorporando el
estudio de agentes y sus interacciones en orden a
lograr sus metas.
A continuacin se presentan los resultados de
la adaptacin.
159
Solicitud servicios
ubicuos (ej.: manipulacin
remota dispositivos, envo/
recepcin mensajes)
Prestacin
Aporte servicios
ubicuos
parmetros
configuracin
Solicitud informacin
para configuracin
servicio
Agente Receptor/
Emisor
Aporte
parmetros
configuracin
Solicitud informacin
para configuracin
servicio
Solicitud
Solicitud servicios de parmetros
informacin (ej.: alojamiento
de datos, reconstruccin
escenarios)
Solicitud servicios
de informacin
Solicitud servicio
(ej.: mensajera
de conexin
instantnea)
telefnica fija o mvil
Envo de mensajes
informativos
Solicitud activacin
mecanismo localizacin
Prestacin servicio
conexin telefnica
fija o mvil
Proveedores servicios
de comunicacin
Solicitud servicio
de conexin
de medios de
comunicacin
Prestacin
servicios
ubicuos
Devolucin
ubicacin exacta
dispositivos
Solicitud servicio
de localizacin
Prestacin servicio
conexin a medios
de comunicacin
Envo de
factura
Agente Emisor/
Receptor
Prestacin servicios
de informacin
Prestacin de
servicios
demandados
Proveedores servicios
de informacin
Solicitud
parmetros
configuracin
Aporte de
parmetros
Solicitud cambio
de estado
Envo de
factura
Configuracin
de propiedades
Intercambio de
mensajes
Dispositivos
a intervenir
Solicitud
parmetros
configuracin
Prestacin de
servicios
Solicitud
demandados
parmetros
configuracin
Aporte de
parmetros
Establecimiento de
comunicacin
Envo mensajes
de confirmacin
Agente Receptor/
Emisor
Solicitud servicios
ubicuos (ej.: manipulacin
remota dispositivos, envo/
recepcin mensajes)
Solicitud post-servicios
(Ej.: la grabacin de llamadas
para reconstruir escenarios)
Pago de
servicio
Pago de
servicio
Agente Emisor/
Receptor
Agente Receptor/
Emisor
Envo mensajes
de confirmacin
Solicitud cambio
de estado
Configuracin
de propiedades
Fabricante/proveedor
de dispositivos
Retroalimentacin de necesidades
del medio en cuanto a servicios
ubicuos
Optimizacin servicios
ubicuos existentes
Investigadores/creadores
de tecnologa
Revista Ingenieras Universidad de Medelln, vol. 9, No. 17, pp. 151-164 - ISSN 1692-3324 - julio-diciembre de 2010/228 p. Medelln, Colombia
160
verificar si la operacin solicitada se llev a
cabo o cules fueron los inconvenientes que
impidieron el cumplimiento de la peticin por
parte de otro agente.
Los agentes emisor/receptor y receptor/emisor
buscando medios de comunicacin contactan
a proveedores de servicios de comunicacin
para solicitar servicios de conexin de todo
tipo (por ejemplo, telefnica mvil o fija).
En respuesta a la solicitud hecha por los agentes
emisor/receptor y receptor/emisor, los proveedores de servicios de comunicacin prestan el
servicio solicitado, y posterior a esto envan
detalles de cobro, que sern respondidos con
el pago.
En la misma bsqueda de formas de comunicacin entre agentes emisor/receptor y receptor/
emisor, se hace la solicitud de servicios tales
como mensajera instantnea y correo electrnico, que son aportados por los proveedores
de servicios de informacin, preguntando
algunos parmetros de configuracin como el
nombre del correo electrnico, la contrasea,
posteriormente aportados por los agentes como
condicin para acceder al servicio.
Bajo el segundo escenario se tienen las siguientes interacciones, aclarando que el contexto
de utilizacin de la solucin incorpora el uso de
servicios ubicuos:
Los agentes emisor/receptor y receptor/emisor
buscando servicios ubicuos (manipulacin
remota de dispositivos, envo y recepcin de
mensajes, modificacin remota del estado
del sistema, configuracin de parmetros) los
solicitan a las empresas especializadas en este
tipo de servicios, y en retorno dichas empresas
solicitan algunos parmetros requeridos para
la prestacin del servicio; por ejemplo, para
prestar el servicio de manipulacin remota de
dispositivos es necesario conocer qu tipo de
dispositivo desea usar el agente, o, para prestar
el servicio de envo y recepcin de mensajes se
aportan datos como el nombre de la cuenta
Universidad de Medelln
161
Administracin
de servicios
Tipo de
Tipo de
Servicios
de ubicuidad
Gestin
de infraestructura
Tipo de
Suministro de
informacin
Localizacin
Gestin de
intervencin de
agentes
Manejo de
dispositivos
Suministro de
informacin tcnica
Gestin
de protocolos
Administracin
de usuarios
Suministro de
informacin sobre
caracterizacin de
servicios
Intervencin
del entorno
Medicin
factores de entorno
Adaptacin a cambios
Gestin
microcontexto
agentes
Gestin dispositivos
y mtodo disponibles
Gestin intervencin
agentes especficos
Revista Ingenieras Universidad de Medelln, vol. 9, No. 17, pp. 151-164 - ISSN 1692-3324 - julio-diciembre de 2010/228 p. Medelln, Colombia
162
3. Suministro de informacin: mediante este
servicio, tanto los administradores de un
sistema ubicuo como los usuarios acceden a
conocimiento que les facilita interactuar con
el sistema. En el caso de los administradores
se desplegar informacin tcnica para configuracin de servicios, y para los usuarios, ser
mostrada informacin para guiar el uso de los
diferentes servicios, lo mismo que una breve
introduccin a cada uno para facilitar la toma
de decisiones de posibles compradores del
sistema.
4. Localizacin: cualquier sistema de este tipo
debe facilitar la identificacin del lugar en donde se encuentra cada uno de los dispositivos
asociados.
5. Gestin de intervencin de agentes: un sistema
ubicuo debe facilitar servicios para manejo de
dispositivos de diferentes tipos, lo cual incluye
manejo de interfaces de entrada y salida, adems de gestin de protocolos que permitan
la conexin de los dispositivos, y, a su vez,
administracin de usuarios para determinar,
de acuerdo a su perfil, las funcionalidades que
tendrn disponibles. En el servicio denominado gestin microcontexto agentes estn
ubicados aquellas particularidades que hacen
parte del mundo propio del agente, incluyendo
las funcionalidades disponibles de acuerdo
al perfil asignado, lo mismo que otras condiciones excepcionales que dicho agente quiera
incorporar en su interaccin con el sistema
ubicuo. Por ejemplo, un agente que tiene su
hogar domtico con operadores con un operador de telefona como UNE, si desea, ante
condiciones diferentes como su estancia en un
pueblo a donde solo llega seal de celular, debe
poder conmutar de operador, independiente de
que el elegido no est predeterminado para los
dems usuarios.
6. Intervencin del entorno: gracias a su disposicin e infraestructura, un sistema ubicuo
estar en capacidad de censar cambios en el
Universidad de Medelln
3. DISCUSIN Y ANLISIS
DE RESULTADOS
La revisin hecha como soporte a la investigacin fue dirigida en dos sentidos: exploracin
de metodologas aplicadas al dominio de sistemas
ubicuos y anlisis de metodologas que son usadas
en otros dominios. Con respecto a las primeras,
se encontr que poseen una fuerte orientacin a la
fase de diseo y un nfasis ms dbil hacia la fase
de anlisis, y ofrecen pautas para tratar los requisitos solo luego de su educcin, sin proporcionar
herramientas para la obtencin de los requisitos,
la representacin del conocimiento del contexto y
el dominio, como tampoco mtodos para hacer la
transicin entre las fases de definicin y anlisis
[7, 8, 11-13].
Por su parte, las propuestas orientadas al tratamiento de sistemas en otros dominios proveen
4. CONCLUSIONES Y TRABAJOS
FUTUROS
La poca comprensin del dominio del sistema
es una de las principales causas de fracaso de un
proyecto. Para tener una comprensin profunda sobre un dominio, es necesario entender los intereses,
prioridades de los agentes, adems de conocer los
conceptos relacionados con el dominio.
Los modelos de contexto y de dominio presentados en este artculo aportan al analista elementos
para entender el dominio de los sistemas ubicuos,
mostrando su lgica de funcionamiento en el nivel macro incluyendo a los participantes (agentes)
desde su construccin hasta su etapa de uso, a la
vez que ofrece una herramienta para la captura de
requisitos. Por otro lado, el modelo de estructura
de servicios y objetos del dominio presenta un
listado predeterminado de los servicios que debe
ofrecer cualquier sistema ubicuo.
Como trabajo futuro se propone: a) Refinar
el modelo de requisitos y el modelo conceptual,
productos en curso que hacen parte de esta investigacin. b) Construir un software para apoyar y
facilitar el uso de los modelos enunciados.
REFERENCIAS
[1] C. Gamboa et al., Descubriendo los retos de las
Ciudades Ubicuas: Experiencias en Andicom 2008,
Revista Colombiana de Telecomunicaciones, vol. 16, no. 51,
pp. 15-21, 2009.
[2] M. Weiser, The future of Ubiquitous Computing on
Campus, Scientific American, vol. 265, no. 3, pp. 94-104,
1991.
163
Revista Ingenieras Universidad de Medelln, vol. 9, No. 17, pp. 151-164 - ISSN 1692-3324 - julio-diciembre de 2010/228 p. Medelln, Colombia
164
Process- Elsevier Science Publisher, pp. 117-134, 1993.
[13] C. Potts, ScenIC: A Strategy for Inquiry-Driven
Requirements Determination, presentado a 4th IEEE
International Symposium on Requirements Engineering, 1999, pp. 58-65.
[14] A. Sutcliffe, Scenario-Based Requirements Engineering, presentado a 11th IEEE International Requirements Engineering Conference (RE03) Kyoto, 2003,
pp. 320-331.
[15] I. Kumaran, y S. Kumaran, Jini Technology: An Overview,
New Jersey: Prentice Hall PTR Upper Saddle River,
2001.
[16] L. Gonzlez, Metodologa de Ingeniera de Requisitos
para el anlisis de sistemas embebidos, Tesis de maestra, Ingeniera de sistemas, Universidad de Antioquia,
Medelln, 2008.
[17] C. Cetina, Diseo y Desarrollo de una Herramienta
CASE para la Generacin Automtica de Cdigo para
Sistemas Pervasivos, Tesis doctoral, Centro de Investigacin ProS, Universidad Politcnica de Valencia,
Valencia, 2006.
Universidad de Medelln
[18] P. Haumer et al., Requirements Elicitation and Validation with real world scenes, IEEE Transactions on
Software Engineering, vol. 24, no. 12, pp. 1036-1054,
1998.
[19] A. Anton, Goal Identification and Refinement in the
Specification of Software-Based Information System,
Tesis doctoral, Computational Science & Engineering,
Georgia Institute of Technology, Atlanta, 1997.
[20] A. Dardenne et al., Goal Directed Requirements
Acquisition, Science of Computer Programming, vol. 20,
pp. 3-50, 1993.
[21] H. Ericsson, y M. Penker, Business Modeling with UML:
Bussiness Patterns at Work, New York: Wiley Computer
Publishing, 2000,
[22] S. Bleistein et al., B-SCP: A requirements analysis
framework for validating strategic alignment of organizational IT based on strategy, context, and process, Information and Software Technology, vol. 48, pp. 846868,
2006.