Architectural capability analysis using a model-checking technique



Document title: Architectural capability analysis using a model-checking technique
Journal: Revista Facultad de Ingeniería. Universidad de Antioquia
Database: PERIÓDICA
System number: 000407464
ISSN: 0120-6230
Authors: 1
1
1
1
1
Institutions: 1Universidad Industrial de Santander, Facultad de Ingenierías Físicomecánicas, Bucaramanga, Santander. Colombia
Year:
Season: Jun
Number: 83
Pages: 92-101
Country: Colombia
Language: Inglés
Document type: Artículo
Approach: Aplicado, descriptivo
Spanish abstract 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
English abstract 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
Keyword: Ingeniería industrial,
Ingeniería de sistemas,
Arquitectura empresarial,
Análisis de capacidades
Keyword: Engineering,
Industrial engineering,
Systems engineering,
Enterprise architecture,
Capabilities analysis
Full text: Texto completo (Ver HTML)