From Formal Methods to Software Components: Back to the Future?

  • Kung-Kiu LauEmail author
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10231)


Looking back at the past, I believe Formal Methods and Component-based Software Engineering have missed opportunities to synergise. Looking forward to the future, I believe even more strongly that this synergy will be crucial for developing Software Engineering techniques that tackle scale and complexity. In this position paper I outline the fundamentals of my belief, in terms of existing work and future challenges.


  1. 1.
    Broy, M., Deimel, A., Henn, J., Koskimies, K., Plasil, F., Pomberger, G., Pree, W., Stal, M., Szyperski, C.: What characterizes a software component? Softw. Concepts Tools 19(1), 49–56 (1998)CrossRefGoogle Scholar
  2. 2.
    di Cola, S., Tran, C., Lau, K.-K.: A graphical tool for model-driven development using components and services. In: Proceedings of 41st Euromicro Conference on Software Engineering and Advanced Applications (SEAA) 2015, pp. 181–182 (2015)Google Scholar
  3. 3.
    He, N., Kroening, D., Wahl, T., Lau, K.-K., Taweel, F., Tran, C., Rümmer, P., Sharma, S.: Component-based design and verification in X-MAN. In: Proceedings of Embedded Real Time Software and Systems (2012)Google Scholar
  4. 4.
    Lau, K.-K.: Component certification and system prediction: is there a role for formality? In: Crnkovic, I., Schmidt, H., Stafford, J., Wallnau, K. (eds.) Proceedings of the Fourth ICSE Workshop on Component-based Software Engineering, pp. 80–83. IEEE Computer Society Press (2001)Google Scholar
  5. 5.
    Lau, K.-K., Rana, T.: A taxonomy of software composition mechanisms. In: Proceedings of 36th EUROMICRO Conference on Software Engineering and Advanced Applications, pp. 102–110. IEEE (2010)Google Scholar
  6. 6.
    Lau, K.-K., Taweel, F., Tran, C.: The W model for component-based software development. In: Proceedings of 37th EUROMICRO Conference on Software Engineering and Advanced Applications, pp. 47–50. IEEE (2011)Google Scholar
  7. 7.
    Lau, K.-K., Tran, C.: X-MAN: an MDE tool for component-based system development. In: Proceedings of 38th EUROMICRO Conference on Software Engineering and Advanced Applications, pp. 158–165. IEEE (2012)Google Scholar
  8. 8.
    Lau, K.-K., Velasco Elizondo, P., Wang, Z.: Exogenous connectors for software components. In: Heineman, G.T., Crnkovic, I., Schmidt, H.W., Stafford, J.A., Szyperski, C., Wallnau, K. (eds.) CBSE 2005. LNCS, vol. 3489, pp. 90–106. Springer, Heidelberg (2005). doi: 10.1007/11424529_7 CrossRefGoogle Scholar
  9. 9.
    Lau, K.-K., Wang, Z.: Software component models. IEEE Trans. Softw. Eng. 33(10), 709–724 (2007)CrossRefGoogle Scholar
  10. 10.
    Lau, K.-K., Wang, Z., di Cola, S., Tran, C., Christou, V.: Software componentmodels: past, present and future. In: Tutorial at COMPARCH 2014 Conference, 30 June 2014, Lille, France (2014)Google Scholar
  11. 11.
    Maras, J., Lednicki, L., Crnkovic, I.: 15 years of CBSE symposium - impact on the research community. In: Proceedings of the 15th International ACM SIGSOFT Symposium on Component-Based Software Engineering, pp. 61–70. ACM (2012)Google Scholar
  12. 12.
    Elizondo, P.V., Lau, K.-K.: A catalogue of component connectors to support development with reuse. J. Syst. Softw. 83, 1165–1178 (2010)CrossRefGoogle Scholar

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  1. 1.School of Computer ScienceThe University of ManchesterManchesterUK

Personalised recommendations