The Intellectual Dimension of IT-Business Alignment Problem: Alloy Application

  • Marina Ivanova
  • Pavel MalyzhenkovEmail author
Conference paper
Part of the Lecture Notes in Business Information Processing book series (LNBIP, volume 332)


Information technologies have evolved from its traditional back office role to a strategic resource role able not only to support but also to shape business strategies. For over a decade IT-business alignment has been ranked as a top-priority management concern and is widely covered in literature. However, conceptual studies dominate the field, while there is little research on practical ways to achieve the alignment. The aim of this paper is to formalize and verify the alignment assessment model developed in the previous research by integrating the traditional Strategic Alignment Model and EA framework TOGAF in an attempt to provide a practical approach to the alignment evaluation and implementation. The Alloy Language and Analyzer are used as a means of model formalization and verification.


IT-business alignment Enterprise Architecture SAM TOGAF Alloy Analyzer 


  1. 1.
    Babkin, E.A., Ponomarev, N.O.: Analysis of the consistency of enterprise architecture models using formal verification methods. Bus. Inform. 3(41), 30–40 (2017)CrossRefGoogle Scholar
  2. 2.
    Baets, W.: Aligning information systems with business strategy. J. Strateg. Inf. Syst. 1(4), 205–213 (1992)CrossRefGoogle Scholar
  3. 3.
    Broadbent, M., Weill, P.: Improving business and information strategy alignment: learning from the banking industry. IBM Syst. J. 32(1), 162–179 (1993)CrossRefGoogle Scholar
  4. 4.
    Byrd, A., Lewis, B.R., Bryan, R.W.: The leveraging influence of strategic alignment on IT investment: an empirical examination. Inf. Manag. 43(3), 308–321 (2006)CrossRefGoogle Scholar
  5. 5.
    Carvalho, G., Sousa, P.: Business and information systems misalignment model (BISMAM): an holistic model leveraged on misalignment and medical sciences approaches. In: Proceedings of the International Workshop on Business/IT Alignment and Interoperability (BUSITAL 2008), vol. 336, pp. 104–119. CEUR (2008)Google Scholar
  6. 6.
    Cataldo, A., McQueen, R.J., Hardings, J.: Comparing strategic IT alignment versus process IT alignment in SMEs. J. Res. Pract. Inf. Technol. 44(1), 43–57 (2012)Google Scholar
  7. 7.
    Chan, Y.E., Reich, B.H.: IT alignment: what have we learned? J. Inf. Technol. 22(4), 297–315 (2007)CrossRefGoogle Scholar
  8. 8.
    Chan, Y.E., Sabherwal, R., Thatcher, J.B.: Antecedents and outcomes of strategic IS alignment: an empirical investigation. IEEE Trans. Eng. Manag. 53(1), 27–47 (2006)CrossRefGoogle Scholar
  9. 9.
    Chen, H.M., Kazman, R., Garg, A.: BITAM: an engineering-principled method for managing misalignments between business and IT architectures. Sci. Comput. Program. 57(1), 5–26 (2005)MathSciNetCrossRefGoogle Scholar
  10. 10.
    Daniel, J.: Software Abstractions: Logic, Language, and Analysis. The MIT Press, Cambridge (2011)Google Scholar
  11. 11.
    Gerow, J.E., Grover, V., Thatcher, J.B., Roth, P.L.: Looking toward the future of IT-business strategic alignment through the past: a meta-analysis. MIS Q. 38(4), 1059–1085 (2014)CrossRefGoogle Scholar
  12. 12.
    Henderson, J.C., Venkatraman, N.: Strategic alignment: leveraging information technology for transforming organizations. IBM Syst. J. 38(1), 4–16 (1993)Google Scholar
  13. 13.
    Kearns, G.S., Lederer, A.L.: The effect of strategic alignment on the use of IS-based resources for competitive advantage. J. Strateg. Inf. Syst. 9(4), 265–293 (2000)CrossRefGoogle Scholar
  14. 14.
    Kearns, G.S., Sabherwal, R.: Strategic alignment between business and information technology: a knowledge-based view of behaviors, outcome, and consequences. J. Manag. Inf. Syst. 23(3), 129–162 (2007)CrossRefGoogle Scholar
  15. 15.
    Luftman, J.N.: Assessing IT/business alignment. Inf. Syst. Manag. 20(4), 9–15 (2003)CrossRefGoogle Scholar
  16. 16.
    Luftman, J.N.: Competing in the Information Age: Align in the Sand. Oxford University Press, New York (2003)CrossRefGoogle Scholar
  17. 17.
    Luftman, J.N., Lewis, P.R., Oldach, S.H.: Transforming the enterprise: the alignment of business and information technology strategies. IBM Syst. J. 32(1), 198–221 (1993)CrossRefGoogle Scholar
  18. 18.
    Luftman, J.N., Papp, R., Brier, T.: Achieving and sustaining business-IT alignment. Calif. Manag. Rev. 42(1), 109–122 (1999)CrossRefGoogle Scholar
  19. 19.
    This entry is known to the authors, but is omitted here for anonymization reasons. It will be re-added for the final submission of the paperGoogle Scholar
  20. 20.
    Pereira, C.M., Sousa, P.: Enterprise architecture: business and IT alignment. In: Proceedings of the ACM Symposium on Applied Computing (ACM SAC 2005), pp. 1344–1345 (2005)Google Scholar
  21. 21.
    Reich, B.H., Benbasat, I.: Measuring the linkage between business and information technology objectives. MIS Q. 20(1), 55–81 (1996)CrossRefGoogle Scholar
  22. 22.
    Reich, B.H., Benbasat, I.: Factors that influence the social dimension of alignment between business and IT objectives. MIS Q. 24(1), 81–113 (2000)CrossRefGoogle Scholar
  23. 23.
    Rychkova, I., Regev, G., Wegman, A.: Using declarative specifications in business process design. Int. J. Comput. Sci. Appl. 5(3b), 45–68 (2008)Google Scholar
  24. 24.
    Tan, F.B., Gallupe, R.B.: Aligning business and information systems thinking: a cognitive approach. IEEE Trans. Eng. Manag. 53(2), 223–237 (2006)CrossRefGoogle Scholar
  25. 25.
    The Alloy: A language & tool for relational models.
  26. 26.
    The Global IT Trends Survey (2017).
  27. 27.
    The Open Group ArchiSurance Case Study.
  28. 28.
    The Open Group Architecture Framework (TOGAF Version 9.1).
  29. 29.
    The Standish Group, Chaos Report (2015).
  30. 30.
    Venkatraman, N., Henderson, J.C., Oldach, S.: Continuous strategic alignment: exploiting information technology capabilities for competitive success. Eur. Manag. J. 11(2), 139–149 (1993)CrossRefGoogle Scholar
  31. 31.
    Wang, X., Zhou, X., Jiang, L.: A method of business and IT alignment based on enterprise architecture. In: Proceedings of IEEE International Conference on Service Operations, Logistics and Informatics, vol. 1, pp. 740–745 (2008)Google Scholar
  32. 32.
    Wegmann, A.: On the systemic enterprise architecture methodology (SEAM). In: Proceedings International Conference on Enterprise Information Systems (ICEIS 2003), pp. 483–490 (2003)Google Scholar
  33. 33.
    Wegmann, A., et al.: Requirements modeling in SEAM: the example of a car crash management system. In: Comparing Requirements Modeling Approaches Workshop (CMA@ RE) (2013)Google Scholar
  34. 34.
    Wegmann, A., Le, L-S., Hussami, L., Beyer, D.: A tool for verified design using alloy for specification and CrocoPat for verification. In: Jackson, D., Zave, P. (eds.) Proceedings of First Alloy Workshop (2006)Google Scholar

Copyright information

© Springer Nature Switzerland AG 2018

Authors and Affiliations

  1. 1.Department of Information Systems and TechnologiesNational Research University Higher School of EconomicsNizhny NovgorodRussia

Personalised recommendations