Skip to main content
SpringerLink
Log in
Book cover

International Symposium on Leveraging Applications of Formal Methods

ISoLA 2016: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques pp 261–265Cite as

ModSyn-PP: Modular Synthesis of Programs and Processes Track Introduction

  • Conference paper
  • First Online:

  • 1878 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 9952))

Abstract

It is an old and beautiful dream of computer science to synthesize software applications from specifications. The beginning can be traced back to, at least, to 1957 (Summer Institute of Symbolic Logic, Cornell 1957) when Alonzo Church proposed to consider the problem of automatically constructing a finite-state procedure implementing a given input/output relation over infinite bitstreams specified as a logical formula. The problem, since then widely known as “Church’s Problem”, gave rise to a major branch of theoretical computer science which has been concerned with many different forms of synthesis.

This is a preview of subscription content, 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   84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.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

Learn about institutional subscriptions

References

  1. Bessai, J., Düdder, B., Heineman, G.T., Rehof, J.: A Long and Winding Road Towards Modular Synthesis. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016, Part I. LNCS, vol. 9952, pp. 303–317. Springer, Heidelberg (2016)

    Google Scholar 

  2. Bessai, J., Dudenhefner, A., Düdder, B., Martens, M., Rehof, J.: Combinatory process synthesis. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016, Part I. LNCS, vol. 9952, pp. 266–281. Springer, Heidelberg (2016)

    Google Scholar 

  3. Bessai, J., Dudenhefner, A., Düdder, B., Martens, M., Rehof, J.: Combinatory logic synthesizer. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014, Part I. LNCS, vol. 8802, pp. 26–40. Springer, Heidelberg (2014)

    Google Scholar 

  4. Braun, V., Margaria, T., Steffen, B., Yoo, H., Rychly, T.: Safe service customization. In: Intelligent Network Workshop 1997, IN 1997, vol. 2, p. 4. IEEE, May 1997

    Google Scholar 

  5. Düdder, B., Heineman, G.T., Rehof, J.: Towards migrating object-oriented frameworks to enable synthesis of product line members. In: Proceedings of the 19th International Software Product Line Conference (SPLC 2015), pp. 56–60. ACM, New York (2015)

    Google Scholar 

  6. Düdder, B., Martens, M., Rehof, J.: Staged composition synthesis. In: Shao, Z. (ed.) ESOP 2014 (ETAPS). LNCS, vol. 8410, pp. 67–86. Springer, Heidelberg (2014)

    Chapter  Google Scholar 

  7. Heineman, G.T., Councill, W.T.: Component-based Software Engineering: Putting the Pieces Together. Addison-Wesley Longman Publishing Co., Inc., Boston (2001)

    Google Scholar 

  8. Jörges, S., Lamprecht, A.L., Margaria, T., Naujokat, S., Steffen, B.: Synthesis from a practical perspective. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016, Part I, LNCS, vol. 9952, pp. 282–302. Springer, Heidelberg (2016)

    Google Scholar 

  9. Jörges, S., Lamprecht, A.L., Margaria, T., Schaefer, I., Steffen, B.: A constraint-based variability modeling framework. Int. J. Softw. Tools Technol. Transf. (STTT) 14(5), 511–530 (2012)

    Article  Google Scholar 

  10. Lamprecht, A.L., Naujokat, S., Margaria, T., Steffen, B.: Semantics-based composition of EMBOSS services. J. Biomed. Semant. 2(Suppl. 1), S5 (2011). http://www.jbiomedsem.com/content/2/S1/S5

    Article  Google Scholar 

  11. Lustig, Y., Vardi, M.Y.: Synthesis from component libraries. In: de Alfaro, L. (ed.) FOSSACS 2009. LNCS, vol. 5504, pp. 395–409. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  12. Margaria, T., Steffen, B., Reitenspiess, M.: Service-oriented design: the roots. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol. 3826, pp. 450–464. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  13. Neubauer, J., Steffen, B., Margaria, T.: Higher-order process modeling: product-lining, variability modeling and beyond. Electron. Proc. Theoret. Comput. Sci. 129, 259–283 (2013)

    Article  Google Scholar 

  14. Pohl, K., Böckle, G., van Der Linden, F.J.: Software Product Line Engineering - Foundations, Principles, and Techniques. Springer, Heidelberg (2005)

    Book  MATH  Google Scholar 

  15. Rehof, J.: Towards combinatory logic synthesis. In: BEAT 2013, 1st International Workshop on Behavioural Types. ACM, 22 January 2013

    Google Scholar 

  16. Rehof, J., Vardi, M.Y.: Design and synthesis from components. In: Dagstuhl Seminar 14232. Dagstuhl Reports, vol. 7941 (2014). http://dx.doi.org/10.4230/DagRep.4.6.29

  17. Steffen, B., Margaria, T., Braun, V., Kalt, N.: Hierarchical service definition. Ann. Rev. Commun. ACM 51, 847–856 (1997)

    Google Scholar 

  18. Steffen, B., Margaria, T., Braun, V.: The electronic tool integration platform: concepts and design. Int. J. Softw. Tools Technol. Transf. (STTT) 1(1–2), 9–30 (1997)

    Article  MATH  Google Scholar 

  19. Steffen, B., Margaria, T., Claen, A., Braun, V., Reitenspie, M.: An environment for the creation of intelligent network services. In: Intelligent Networks: IN/AIN Technologies, Operations, Services and Applications - A Comprehensive Report, pp. 287–300. IEC: International Engineering Consortium (1996)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Technical University Dortmund, Dortmund, Germany

    Boris Düdder & Jakob Rehof

  2. Worcester Polytechnic Institute, Worcester, USA

    George T. Heineman

Authors
  1. Boris Düdder
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. George T. Heineman
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jakob Rehof
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Boris Düdder .

Editor information

Editors and Affiliations

  1. Lero, Limerick, Ireland

    Tiziana Margaria

  2. TU Dortmund, Dortmund, Germany

    Bernhard Steffen

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing AG

About this paper

Cite this paper

Düdder, B., Heineman, G.T., Rehof, J. (2016). ModSyn-PP: Modular Synthesis of Programs and Processes Track Introduction. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. ISoLA 2016. Lecture Notes in Computer Science(), vol 9952. Springer, Cham. https://doi.org/10.1007/978-3-319-47166-2_18

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-47166-2_18

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-47165-5

  • Online ISBN: 978-3-319-47166-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation