Skip to main content
Springer Nature Link
Log in

Interaction and Coordination of Tools for Structured Data

  • Conference paper
Leveraging Applications of Formal Methods (ISoLA 2004)

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

  • 380 Accesses

Abstract

This paper has an introductory nature. It sets the scene for the three papers in the thematic session “Structured Data Tools”. We discuss interaction and coordination in general and look more specifically at the XML data format and the dataflow driven coordination language Reo.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Andreoli, J.-M., Ciancarini, P., Pareschi, R.: Interaction Abstract Machines. In: Trends in Object-Based Concurrent Computing, pp. 257–280. MIT Press, Cambridge (1993)

    Google Scholar 

  2. Arbab, F.: Reo: A channel-based coordination model for component composition. Mathematical Structures in Computer Science 14(3), 329–366 (2004)

    Article  MATH  MathSciNet  Google Scholar 

  3. Arbab, F.: Coordination of interacting concurrent computations. In: [11] (2005)

    Google Scholar 

  4. Arbab, F., Herman, I., Spilling, P.: An overview of Manifold and its implementation. Concurrency: Practice and Experience 5(1), 23–70 (1993)

    Article  Google Scholar 

  5. Arbab, F., Rutten, J.J.M.M.: A coinductive calculus of component connectors. In: Wirsing, M., Pattinson, D., Hennicker, R. (eds.) WADT 2003. LNCS, vol. 2755, pp. 34–55. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  6. Banâtre, J.-P., Le Métayer, D.: Programming by multiset transformations. Communications of the ACM 36(1), 98–111 (1993)

    Article  Google Scholar 

  7. Bergstra, J., Klint, P.: The ToolBus Coordination Architecture. In: Hankin, C., Ciancarini, P. (eds.) COORDINATION 1996. LNCS, vol. 1061, pp. 75–88. Springer, Heidelberg (1996)

    Google Scholar 

  8. Bonsangue, M.M., Arbab, F., de Bakker, J.W., Rutten, J.J.M.M., Scutellá, A., Zavattaro, G.: A transition system semantics for the control-driven coordination language Manifold. Theoretical Computer Science 240, 3–47 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  9. Carriero, N., Gelernter, D.: Linda in context. Communications of the ACM 32(4), 444–458 (1989)

    Article  Google Scholar 

  10. Dagstuhl, http://www.dagstuhl.de/05061/

  11. Goldin, D., Smolka, S., Wegner, P. (eds.): Interactive Computation: The New Paradigm. Springer, Heidelberg (to appear, 2005)

    Google Scholar 

  12. Jini: http://www.sun.com/jini

  13. Leler, W.: Linda meets Unix. IEEE Computer 23, 43–54 (1990)

    Google Scholar 

  14. Oaks, S., Wong, H.: Jini in a Nutshell. O’Reilly & Associates, Sebastopol (2000)

    Google Scholar 

  15. Papadopoulos, G.A., Arbab, F.: Coordination models and languages. In: Zelkowitz, M. (ed.) Advances in Computers – The Engineering of Large Systems, vol. 46, pp. 329–400. Academic Press, London (1998)

    Google Scholar 

  16. XML, http://www.w3schools.com/xml

Download references

Author information

Authors and Affiliations

  1. Center for Mathematics and Computer Science (CWI), Kruislaan 413, 1098, SJ, Amsterdam, The Netherlands

    Farhad Arbab

  2. Leiden Institute for Advanced Computer Science (LIACS), Leiden University, Niels Bohrweg 1, 2333, Leiden, CA, The Netherlands

    Farhad Arbab & Joost N. Kok

Authors
  1. Farhad Arbab
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Joost N. Kok
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute for Informatics, University of Potsdam, August-Bebel-Str. 89, 14482, Potsdam, Germany

    Tiziana Margaria

  2. Chair Programming Systems, Universität Dortmund, Otto-Hahn-Str. 14, 44227, Dortmund, Germany

    Bernhard Steffen

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Arbab, F., Kok, J.N. (2006). Interaction and Coordination of Tools for Structured Data. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods. ISoLA 2004. Lecture Notes in Computer Science, vol 4313. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11925040_1

Download citation

  • DOI: https://doi.org/10.1007/11925040_1

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-48928-3

  • Online ISBN: 978-3-540-48929-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics