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. We 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 methodology we use ArchiMate standard for a conceptual enterprise architecture description language which is fully aligned with TOGAF. We also offer several important verification queries and demonstrate practical applicability of our approach using a software prototype of the modeling tool which exploits MIT Alloy Analyzer model checking framework integrated with AchiMate Archi workbench.
Responding to the rapidly growing market share for Information Systems (IS) based on Service-Oriented Architecture (SOA) the demand emerges for methods of measuring the value of SOA-based IS projects. The goal of the present research is to adapt available methods of project assessment to this expanding demand. This study describes a new method which takes into consideration a possibility to divide deployment and evolution of SOA-based IS into separate flows, one per service. Like that the process of value assessment could become more precise and exact compared to other known methods which use the single flow for the whole project. In addition the work proposes Real Options for calculating such components of the value as flexibility. The described method is validated using a specific simulation model. Value assessment of a real IS project is performed using the developed method and the simulation model.