A Methodology for Automatic Formal Verification of Enterprise Architecture

Eduard Babkin, Pavel Malyzhenkov, Marina Ivanova and Nikita Ponomarev
Additional contact information
Eduard Babkin: National Research University “Higher School of Economics,” Nizhni Novgorod, Russia
Pavel Malyzhenkov: National Research University “Higher School of Economics,” Nizhni Novgorod, Russia
Marina Ivanova: National Research University “Higher School of Economics,” Nizhni Novgorod, Russia
Nikita Ponomarev: National Research University “Higher School of Economics,” Nizhni Novgorod, Russia

International Journal of Information System Modeling and Design (IJISMD), 2019, vol. 10, issue 1, 1-19

Abstract: For over a decade, IT-business alignment has been ranked as a top-priority management concern, but there is little research on practical ways to achieve the alignment. EA development is a continuous iterative process, which implicitly ensures the achievement of a specific IT-business alignment level. Therefore, it is necessary to formalize the requirements for architecture and be able to automatically verify them. The authors propose a new methodology for detecting logical contradictions in enterprise architecture models based on a model checking approach adopted in the context of business modeling. In such a methodology, they use ArchiMate standard for a conceptual enterprise architecture description language which is fully aligned with TOGAF. The authors also offer several important verification queries and demonstrate practical applicability of their approach using a software prototype of the modeling tool which exploits MIT Alloy Analyzer model checking framework integrated with AchiMate Archi workbench.

Date: 2019
References: Add references at CitEc
Citations:

Downloads: (external link)
http://services.igi-global.com/resolvedoi/resolve. ... 18/IJISMD.2019010101 (application/pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:igg:jismd0:v:10:y:2019:i:1:p:1-19

Access Statistics for this article

International Journal of Information System Modeling and Design (IJISMD) is currently edited by Thierry O. C. Edoh

More articles in International Journal of Information System Modeling and Design (IJISMD) from IGI Global
Bibliographic data for series maintained by Journal Editor ().