Architectural capability analysis using a model-checking technique
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...
| Main Authors: | , , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Universidad de Antioquia
2017-06-01
|
| Series: | Revista Facultad de Ingeniería Universidad de Antioquia |
| Subjects: | |
| Online Access: | https://revistas.udea.edu.co/index.php/ingenieria/article/view/325633 |
| _version_ | 1797861847980834816 |
|---|---|
| author | Darío José Delgado-Quintero Jormary Noguera-Muños Gerson Alonso Flores-Rojas Clara Isabel López-Gualdron Ricardo Llamosa-Villalba |
| author_facet | Darío José Delgado-Quintero Jormary Noguera-Muños Gerson Alonso Flores-Rojas Clara Isabel López-Gualdron Ricardo Llamosa-Villalba |
| author_sort | Darío José Delgado-Quintero |
| collection | DOAJ |
| description |
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.
|
| first_indexed | 2024-04-09T22:09:57Z |
| format | Article |
| id | doaj.art-c6e36cefb7b74f6ea7fd8700b7baf450 |
| institution | Directory Open Access Journal |
| issn | 0120-6230 2422-2844 |
| language | English |
| last_indexed | 2024-04-09T22:09:57Z |
| publishDate | 2017-06-01 |
| publisher | Universidad de Antioquia |
| record_format | Article |
| series | Revista Facultad de Ingeniería Universidad de Antioquia |
| spelling | doaj.art-c6e36cefb7b74f6ea7fd8700b7baf4502023-03-23T12:29:41ZengUniversidad de AntioquiaRevista Facultad de Ingeniería Universidad de Antioquia0120-62302422-28442017-06-018310.17533/udea.redin.n83a12Architectural capability analysis using a model-checking techniqueDarío José Delgado-Quintero0Jormary Noguera-Muños1Gerson Alonso Flores-Rojas2Clara Isabel López-Gualdron3Ricardo Llamosa-Villalba4Industrial University of SantanderIndustrial University of SantanderIndustrial University of SantanderIndustrial University of SantanderIndustrial University of Santander 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. https://revistas.udea.edu.co/index.php/ingenieria/article/view/325633capability analysisenterprise architectures DoDAF model-checkingrequirementsTOGAF |
| spellingShingle | Darío José Delgado-Quintero Jormary Noguera-Muños Gerson Alonso Flores-Rojas Clara Isabel López-Gualdron Ricardo Llamosa-Villalba Architectural capability analysis using a model-checking technique Revista Facultad de Ingeniería Universidad de Antioquia capability analysis enterprise architectures DoDAF model-checking requirements TOGAF |
| title | Architectural capability analysis using a model-checking technique |
| title_full | Architectural capability analysis using a model-checking technique |
| title_fullStr | Architectural capability analysis using a model-checking technique |
| title_full_unstemmed | Architectural capability analysis using a model-checking technique |
| title_short | Architectural capability analysis using a model-checking technique |
| title_sort | architectural capability analysis using a model checking technique |
| topic | capability analysis enterprise architectures DoDAF model-checking requirements TOGAF |
| url | https://revistas.udea.edu.co/index.php/ingenieria/article/view/325633 |
| work_keys_str_mv | AT dariojosedelgadoquintero architecturalcapabilityanalysisusingamodelcheckingtechnique AT jormarynogueramunos architecturalcapabilityanalysisusingamodelcheckingtechnique AT gersonalonsofloresrojas architecturalcapabilityanalysisusingamodelcheckingtechnique AT claraisabellopezgualdron architecturalcapabilityanalysisusingamodelcheckingtechnique AT ricardollamosavillalba architecturalcapabilityanalysisusingamodelcheckingtechnique |