Architectural capability analysis using a model-checking technique

Autor: Clara Isabel López-Gualdrón, Ricardo Llamosa-Villalba, Darío José Delgado-Quintero, Jormary Noguera-Muños, Jerson Alonso Flores-Rojas
Přispěvatelé: Universidad de Antioquia
Jazyk: angličtina
Rok vydání: 2017
Předmět:
Enterprise architecture framework
Engineering
Enterprise integration
0102 computer and information sciences
requerimientos
togaf
lcsh:Technology
01 natural sciences
análisis de capacidades
Functional software architecture
Enterprise architecture management
Operational View
dodaf
0502 economics and business
View model
TAFIM
lcsh:T
business.industry
Capability analysis
enterprise architectures
DoDAF
modelchecking
requirements
TOGAF
arquitecturas empresariales
05 social sciences
Análisis de capacidades
arquitecturas empresariales
DoDAF
evaluación de modelos
requerimientos
TOGAF
General Engineering
The Open Group Architecture Framework
evaluación de modelos
lcsh:TA1-2040
010201 computation theory & mathematics
Systems engineering
lcsh:Engineering (General). Civil engineering (General)
Software engineering
business
050203 business & management
Zdroj: Revista Facultad de Ingeniería, Iss 83, Pp 92-101 (2017)
Popis: Este trabajo describe un enfoque matemático basado en una técnica de validación de modelos para analizar capacidades en arquitecturas empresariales construidas utilizando los marcos arquitecturales DoDAF y TOGAF. La base de este enfoque es la validación de requerimientos relacionados con las capacidades empresariales empleando artefactos arquitecturales operacionales o de negocio asociados con el comportamiento dinámico de los procesos. Se muestra cómo este enfoque puede ser utilizado para verificar, de forma cuantitativa, si los modelos operacionales en una arquitectura empresarial pueden satisfacer las capacidades empresariales. Para ello, se utiliza un estudio de caso relacionado con un problema de integración de capacidades.
Databáze: OpenAIRE
Externí odkaz: