Skip to main content
SpringerLink
Log in
Book cover

International Symposium on Logic-Based Program Synthesis and Transformation

LOPSTR 2007: Logic-Based Program Synthesis and Transformation pp 185–200Cite as

Synthesis of Data Views for Communicating Processes

  • Conference paper

  • 181 Accesses

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

Abstract

Proofs-as-programs is an approach to program synthesis involving the transformation of constructive proofs of specification requirements into functional programs. Various authors have adapted the proofs-as-programs to other logics and programming paradigms. This paper presents an adaptation of proofs-as-programs for the synthesis of distributed program protocols with side-effect-free data views, from proofs in a constructive proof-system for Hennessy-Milner logic.

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   39.99
Price excludes VAT (USA)
  • Available as 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Apvrille, L., de Saqui-Sannes, P., Lohr, C., Snac, P., Courtiat, J.-P.: A new UML profile for real-time system formal design and validation. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol. 2185, Springer, Heidelberg (2001)

    Google Scholar 

  2. Gomaa, H.: Designing concurrent, distributed, and real-time applications with UML. In: ICSE 2001: Proceedings of the 23rd International Conference on Software Engineering, pp. 737–738. IEEE Computer Society Press, Los Alamitos

    Google Scholar 

  3. Jia, L., Walker, D.: Modal proofs as distributed programs (extended abstract). In: Schmidt, D. (ed.) ESOP 2004. LNCS, vol. 2986, pp. 219–233. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  4. Medvidovic, N., Taylor, R.N.: A classification and comparison framework for software architecture description languages. IEEE Transactions on Software Engineering 26(1), 70–93 (2000)

    Article  Google Scholar 

  5. Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)

    MATH  Google Scholar 

  6. OMG.UML Superstructure v2.0. Technical report, Object Management Group (2003), http://www.omg.org/cgi-bin/doc?ptc/2003-08-02

  7. Poernomo, I., Crossley, J., Wirsing, M.: Adapting Proofs-as-Programs: The Curry-Howard Protocol. In: Monographs in Computer Science, Springer, Heidelberg (2005)

    Google Scholar 

  8. Simpson, A.K.: Compositionality via cut-elimination: Hennessy-milner logic for an arbitrary gsos. In: LICS 1995, Proceedings 10th Annual IEEE Symposium on Logic in Computer Science, San Diego, California, USA, 26-29 June 1995, pp. 420–430. IEEE Computer Society Press, Los Alamitos (1995)

    Google Scholar 

  9. Stirling, C.: Modal logics for communicating systems. Theoretical Computer Science 49, 311–347 (1987)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, King’s College London, Strand, London, WC2R2LS, UK

    Iman Poernomo

Authors
  1. Iman Poernomo
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Portcullis Computer Security Limited, Pinner, HA5 2EX, UK

    Andy King

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Poernomo, I. (2008). Synthesis of Data Views for Communicating Processes. In: King, A. (eds) Logic-Based Program Synthesis and Transformation. LOPSTR 2007. Lecture Notes in Computer Science, vol 4915. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-78769-3_13

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-78769-3_13

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-78768-6

  • Online ISBN: 978-3-540-78769-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation