Modelling Dynamic Web Data

  • Philippa Gardner
  • Sergio Maffeis
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2921)


We introduce X, 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 X, motivated by examples.


Mobile Agent Service Call Path Expression Behavioural Equivalence Semistructured Data 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 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. 2.
    Sahuguet, A., Tannen, V.: Resource Sharing Through Query Process Migration. University of Pennsylvania Technical Report MS-CIS-01-10 (2001)Google Scholar
  3. 3.
    Milner, R., Parrow, J., Walker, J.: A calculus of mobile processes, I and II. Information and Computation 100, 1–40,41–77 (1992)zbMATHCrossRefMathSciNetGoogle Scholar
  4. 4.
    Sangiorgi, D., Walker, D.: The π-calculus: a Theory of Mobile Processes. Cambridge University Press, Cambridge (2001)Google Scholar
  5. 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)CrossRefGoogle Scholar
  6. 6.
    Carbone, M., Maffeis, S.: On the expressive power of polyadic synchronisation in π-calculus. Nordic Journal of Computing 10, 70–98 (2003)zbMATHMathSciNetGoogle Scholar
  7. 7.
    Gardner, P., Maffeis, S.: Modeling dynamic Web data. Imperial College London Technical Report (2003)Google Scholar
  8. 8.
    Abiteboul, S., et al.: Active XML primer. INRIA Futurs, GEMO Report number 275 (2003)Google Scholar
  9. 9.
    Sahuguet, A.: ubQL: A Distributed Query Language to Program Distributed Query Systems. PhD thesis, University of Pennsylvania (2002)Google Scholar
  10. 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. 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. 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. 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)CrossRefGoogle Scholar
  14. 14.
    Honda, K., Yoshida, N.: On reduction-based process semantics. Theoretical Computer Science 151, 437–486 (1995)zbMATHCrossRefMathSciNetGoogle Scholar
  15. 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. 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. 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)CrossRefGoogle Scholar
  18. 18.
    Sahuguet, A., Pierce, B., Tannen, V.: Distributed Query Optimization: Can Mobile Agents Help? (Unpublished draft) Google Scholar
  19. 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. 20.
    World Wide Web Consortium: XML Path Language (XPath) Version 1.0., available at
  21. 21.
    Berger, M.: Towards Abstractions for Distributed Systems. PhD thesis, Imperial College London (2002)Google Scholar
  22. 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. 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. 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. 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. 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)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Philippa Gardner
    • 1
  • Sergio Maffeis
    • 1
  1. 1.Imperial College LondonLondonUnited Kingdom

Personalised recommendations