Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 1.
Run-time composition, or dynamic reconfiguration, is also meaningful, though it may be harder to define, implement and verify.
References
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)
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)
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)
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)
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)
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)
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)
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
Lau, K.-K., Wang, Z.: Software component models. IEEE Trans. Softw. Eng. 33(10), 709–724 (2007)
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)
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)
Elizondo, P.V., Lau, K.-K.: A catalogue of component connectors to support development with reuse. J. Syst. Softw. 83, 1165–1178 (2010)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Lau, KK. (2017). From Formal Methods to Software Components: Back to the Future?. In: Kouchnarenko, O., Khosravi, R. (eds) Formal Aspects of Component Software. FACS 2016. Lecture Notes in Computer Science(), vol 10231. Springer, Cham. https://doi.org/10.1007/978-3-319-57666-4_2
Download citation
DOI: https://doi.org/10.1007/978-3-319-57666-4_2
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-57665-7
Online ISBN: 978-3-319-57666-4
eBook Packages: Computer ScienceComputer Science (R0)