Skip to main content
SpringerLink
Log in

Modelling Dynamic Web Data

  • Conference paper
Database Programming Languages (DBPL 2003)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2921))

Included in the following conference series:

Abstract

We introduce Xdπ, a peer-to-peer model for reasoning about the dynamic behaviour of web data. It is based on an idealised model of semi-structured data, and an extension of the π-calculus with process mobility and with an operation for interacting with data. Our model can be used to reason about behaviour found in, for example, dynamic web page programming, applet interaction, and service orchestration. We study behavioural equivalences for Xdπ, motivated by examples.

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Abiteboul, S., Bonifati, A., Cobena, G., Manolescu, I., Milo, T.: Dynamic XML documents with distribution and replication. In: Proceedings of ACM SIGMOD Conference (2003)

    Google Scholar 

  2. Sahuguet, A., Tannen, V.: Resource Sharing Through Query Process Migration. University of Pennsylvania Technical Report MS-CIS-01-10 (2001)

    Google Scholar 

  3. Milner, R., Parrow, J., Walker, J.: A calculus of mobile processes, I and II. Information and Computation 100, 1–40,41–77 (1992)

    Article  MATH  MathSciNet  Google Scholar 

  4. Sangiorgi, D., Walker, D.: The π-calculus: a Theory of Mobile Processes. Cambridge University Press, Cambridge (2001)

    Google Scholar 

  5. Honda, K., Tokoro, M.: An object calculus for asynchronous communication. In: America, P. (ed.) ECOOP 1991. LNCS, vol. 512, pp. 133–147. Springer, Heidelberg (1991)

    Chapter  Google Scholar 

  6. Carbone, M., Maffeis, S.: On the expressive power of polyadic synchronisation in π-calculus. Nordic Journal of Computing 10, 70–98 (2003)

    MATH  MathSciNet  Google Scholar 

  7. Gardner, P., Maffeis, S.: Modeling dynamic Web data. Imperial College London Technical Report (2003)

    Google Scholar 

  8. Abiteboul, S., et al.: Active XML primer. INRIA Futurs, GEMO Report number 275 (2003)

    Google Scholar 

  9. Sahuguet, A.: ubQL: A Distributed Query Language to Program Distributed Query Systems. PhD thesis, University of Pennsylvania (2002)

    Google Scholar 

  10. Kemper, A., Wiesner, C.: Hyperqueries: Dynamic distributed query processing on the internet. In: Proceedings of VLDB 2001, pp. 551–560 (2001)

    Google Scholar 

  11. Braumandl, R., Keidl, M., Kemper, A., Kossmann, D., Kreutz, A., Seltzsam, S., Stocker, K.: Objectglobe: Ubiquitous query processing on the internet. To appear in the VLDB Journal: Special Issue on E-Services (2002)

    Google Scholar 

  12. Abiteboul, S., Buneman, P., Suciu, D.: Data on the Web: from relations to semistructured data and XML. Morgan Kaufmann, San Francisco (2000)

    Google Scholar 

  13. Cardelli, L., Ghelli, G.: A query language based on the ambient logic. In: Sands, D. (ed.) ESOP 2001. LNCS, vol. 2028, pp. 1–22. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  14. Honda, K., Yoshida, N.: On reduction-based process semantics. Theoretical Computer Science 151, 437–486 (1995)

    Article  MATH  MathSciNet  Google Scholar 

  15. Hennessy, M., Riely, J.: Resource access control in systems of mobile agents. In: Proceedings of HLCL 1998. ENTCS, vol. 16.3, pp. 3–17. Elsevier, Amsterdam (1998)

    Google Scholar 

  16. Gordon, A., Pucella, R.: Validating a web service security abstraction by typing. In: Proceedings of the, ACM Workshop on XML Security, pp. 18–29 (2002)

    Google Scholar 

  17. Godskesen, J., Hildebrandt, T., Sassone, V.: A calculus of mobile resources. In: Brim, L., Jančar, P., Křetínský, M., Kucera, A. (eds.) CONCUR 2002. LNCS, vol. 2421, p. 272. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  18. Sahuguet, A., Pierce, B., Tannen, V.: Distributed Query Optimization: Can Mobile Agents Help? (Unpublished draft)

    Google Scholar 

  19. Bierman, G., Sewell, P.: Iota: a concurrent XML scripting language with application to Home Area Networks. University of Cambridge Technical Report UCAMCL- TR-557 (2003)

    Google Scholar 

  20. World Wide Web Consortium: XML Path Language (XPath) Version 1.0., available at http://w3.org/TR/xpath

  21. Berger, M.: Towards Abstractions for Distributed Systems. PhD thesis, Imperial College London (2002)

    Google Scholar 

  22. Abiteboul, S., Benjelloun, O., Milo, T., Manolescu, I., Weber, R.: Active XML: A data-centric perspective on Web services. Verso Report number 213 (2002)

    Google Scholar 

  23. Berger, M., Honda, K., Yoshida, N.: Linearity and bisimulation. In: Nielsen, M., Engberg, U. (eds.) FOSSACS 2002. LNCS, vol. 2303, pp. 290–301. Springer, Heidelberg (2002)

    Google Scholar 

  24. Pierce, B.C., Turner, D.N.: Pict: A programming language based on the pi-calculus. In: Proof, Language and Interaction: Essays in Honour of Robin Milner. MIT Press, Cambridge (2000)

    Google Scholar 

  25. Conchon, S., Fessant, F.L.: Jocaml: Mobile agents for Objective-Caml. In: Proceedings of ASA 1999/MA 1999, Palm Springs, CA, USA (1999)

    Google Scholar 

  26. Gardner, P., Laneve, C., Wischik, L.: Linear forwarders. In: Amadio, R.M., Lugiez, D. (eds.) CONCUR 2003. LNCS, vol. 2761, pp. 415–430. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Imperial College London, South Kensington Campus, SW7 2AZ, London, United Kingdom

    Philippa Gardner & Sergio Maffeis

Authors
  1. Philippa Gardner
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Sergio Maffeis
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Fakultät für Angewandte Wissenschaften, Institut für Informatik, Georges-Köhler-Allee, Albert-Ludwigs-Universität Freiburg, Gebäude 51, 79110, Freiburg, Germany

    Georg Lausen

  2. Department of Computer Science and Engineering, University of Washington,  

    Dan Suciu

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Gardner, P., Maffeis, S. (2004). Modelling Dynamic Web Data. In: Lausen, G., Suciu, D. (eds) Database Programming Languages. DBPL 2003. Lecture Notes in Computer Science, vol 2921. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24607-7_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-24607-7_9

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-20896-9

  • Online ISBN: 978-3-540-24607-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation