Skip to main content
SpringerLink
Log in

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

  • Conference paper
  • First Online:
Formal Aspects of Component Software (FACS 2016)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 10231))

Included in the following conference series:

  • 489 Accesses

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

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    Run-time composition, or dynamic reconfiguration, is also meaningful, though it may be harder to define, implement and verify.

References

  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)

    Article  Google Scholar 

  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. 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. 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. 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. 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. 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. 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

    Chapter  Google Scholar 

  9. Lau, K.-K., Wang, Z.: Software component models. IEEE Trans. Softw. Eng. 33(10), 709–724 (2007)

    Article  Google Scholar 

  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. 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. Elizondo, P.V., Lau, K.-K.: A catalogue of component connectors to support development with reuse. J. Syst. Softw. 83, 1165–1178 (2010)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Computer Science, The University of Manchester, Manchester, M13 9PL, UK

    Kung-Kiu Lau

Authors
  1. Kung-Kiu Lau
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Kung-Kiu Lau .

Editor information

Editors and Affiliations

  1. Université Bourgogne Franche-Comté, Besançon, France

    Olga Kouchnarenko

  2. University of Tehran , Tehran, Iran

    Ramtin Khosravi

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics

Search

Navigation