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.

        · abstract in Spanish     · text in English     · English ( pdf )