Architectural capability analysis using a model-checking technique



Título del documento: Architectural capability analysis using a model-checking technique
Revista: Revista Facultad de Ingeniería. Universidad de Antioquia
Base de datos: PERIÓDICA
Número de sistema: 000407464
ISSN: 0120-6230
Autors: 1
1
1
1
1
Institucions: 1Universidad Industrial de Santander, Facultad de Ingenierías Físicomecánicas, Bucaramanga, Santander. Colombia
Any:
Període: Jun
Número: 83
Paginació: 92-101
País: Colombia
Idioma: Inglés
Tipo de documento: Artículo
Enfoque: Aplicado, descriptivo
Resumen en español 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
Resumen en inglés This paper describes a mathematical approach based on a model-checking technique to analyze capabilities in enterprise architectures developed by using DoDAF and TOGAF architecture frameworks. Such approach base is the requirements’ validation related to the enterprise capabilities by employing operational or business artifacts associated with the dynamic behavior processes. We show how this approach can be used to quantitatively verify if the operational models in an enterprise architecture can achieve the enterprise capabilities by using a case study connected to a capability integration problem
Disciplines Ingeniería
Paraules clau: Ingeniería industrial,
Ingeniería de sistemas,
Arquitectura empresarial,
Análisis de capacidades
Keyword: Engineering,
Industrial engineering,
Systems engineering,
Enterprise architecture,
Capabilities analysis
Text complet: Texto completo (Ver HTML)