AIS Electronic Library (AISeL)
One of the daily tasks of an enterprise architect is to prioritize strategic IT projects. To achieve a business-IT alignment, this prioritization needs to be based on business strategies and goals. Therefore, business goals and their traceability to strategic IT projects are relevant for the enterprise architect. However, surprisingly little formalizations and reasoning techniques have been developed in the enterprise architecture domain. In this paper, the authors show that the popular goal modeling technique Tropos together with its formal reasoning techniques can support the enterprise architect when prioritizing strategic IT projects.