Services on Demand
Journal
Article
Indicators
- Cited by SciELO
- Access statistics
Related links
- Cited by Google
- Similars in SciELO
- Similars in Google
Share
Revista Facultad de Ingeniería Universidad de Antioquia
Print version ISSN 0120-6230
Abstract
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.
Keywords : Capability analysis; enterprise architectures; DoDAF; model-checking; requirements; TOGAF.