Serviços Personalizados
Journal
Artigo
Indicadores
- Citado por SciELO
- Acessos
Links relacionados
- Citado por Google
- Similares em SciELO
- Similares em Google
Compartilhar
Revista Facultad de Ingeniería Universidad de Antioquia
versão impressa ISSN 0120-6230
Resumo
DELGADO-QUINTERO, Darío José et al. Architectural capability analysis using a model-checking technique. Rev.fac.ing.univ. Antioquia [online]. 2017, n.83, pp.92-101. ISSN 0120-6230. https://doi.org/10.17533/udea.redin.n83a12.
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.
Palavras-chave : Capability analysis; enterprise architectures; DoDAF; model-checking; requirements; TOGAF.