Architectural capability analysis using a model-checking technique

Architectural capability analysis using a model-checking technique

Show other versions (1)

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 ope...

Full description

Bibliographic Details
Main Authors: Darío José Delgado-Quintero, Jormary Noguera-Muños, Gerson Alonso Flores-Rojas, Clara Isabel López-Gualdron, Ricardo Llamosa-Villalba
Format: Article
Language:English
Published: Universidad de Antioquia 2017-06-01
Series:Revista Facultad de Ingeniería Universidad de Antioquia
Subjects:
capability analysis
enterprise architectures
DoDAF
model-checking
requirements
TOGAF
Online Access:https://revistas.udea.edu.co/index.php/ingenieria/article/view/325633

Internet

https://revistas.udea.edu.co/index.php/ingenieria/article/view/325633

Similar Items