Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Algebraic Development Techniques

WADT 2006: Recent Trends in Algebraic Development Techniques pp 56–73Cite as

Autonomous Units and Their Semantics - The Parallel Case

  • Conference paper

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

Abstract

Communities of autonomous units are rule-based and graph-transformational devices to model data-processing systems that may consist of distributed and mobile components. The components may communicate and interact with each other, they may link up to ad-hoc networks. In this paper, we introduce and investigate the parallel-process semantics of communities of autonomous units.

Research partially supported by the Collaborative Research Centre 637 (Autonomous Cooperating Logistic Processes: A Paradigm Shift and Its Limitations) funded by the German Research Foundation (DFG).

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. Hölscher, K., Kreowski, H., Kuske, S.: Autonomous units and their semantics — the sequential case. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. LNCS, vol. 4178, pp. 245–259. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  2. Kuhn, A.: Prozessketten – Ein Modell für die Logistk. In: Wiesendahl, H.P. (ed.) Erfolgsfaktor Logistikqualität, pp. 58–72. Springer, Heidelberg (2002)

    Google Scholar 

  3. Scheer, A.W.: Vom Geschäftsprozeß zum Anwendungssystem. Springer, Heidelberg (2002)

    Google Scholar 

  4. Reisig, W.: Elements of Distributed Algorithms: Modeling and Analysis With Petri Nets. Springer, Heidelberg (1998)

    MATH  Google Scholar 

  5. Bause, F., Kritzinger, P.: Stochastic Petri Nets - An Introduction to the Theory, 2nd edn. Vieweg & Sohn, Braunschweig (2002)

    MATH  Google Scholar 

  6. Wooldridge, M., Jennings, N.R.: Intelligent agents: Theory and practice. The Knowledge Engineering Review 10(2) (1995)

    Google Scholar 

  7. Kennedy, J., Eberhart, R.C.: Swarm Intelligence. Morgan Kaufmann, San Francisco (2001)

    Google Scholar 

  8. Rozenberg, G., Salomaa, A. (eds.): Handbook of Formal Languages, vol. 1-3. Springer, Heidelberg (1997)

    MATH  Google Scholar 

  9. Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge University Press, Cambridge (1998)

    Google Scholar 

  10. Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformation, vol. 1: Foundations. World Scientific, Singapore (1997)

    Google Scholar 

  11. Ehrig, H., Engels, G., Kreowski, H.J., Rozenberg, G. (eds.): Handbook of Graph Grammars and Computing by Graph Transformation, vol. 2: Applications, Languages and Tools. World Scientific, Singapore (1999)

    MATH  Google Scholar 

  12. Ehrig, H., Kreowski, H.J., Montanari, U., Rozenberg, G. (eds.): Handbook of Graph Grammars and Computing by Graph Transformation, vol. 3: Concurrency, Parallelism, and Distribution. World Scientific, Singapore (1999)

    MATH  Google Scholar 

  13. Păun, G., Rozenberg, G., Salomaa, A.: DNA Computing — New Computing Paradigms. Springer, Heidelberg (1998)

    MATH  Google Scholar 

  14. Kreowski, H.J., Kuske, S.: Graph transformation units with interleaving semantics. Formal Aspects of Computing 11(6), 690–723 (1999)

    Article  MATH  Google Scholar 

  15. Andries, M., Engels, G., Habel, A., Hoffmann, B., Kreowski, H.J., Kuske, S., Plump, D., Schürr, A., Taentzer, G.: Graph transformation for specification and programming. Science of Computer Programming 34(1), 1–54 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  16. Habel, A., Heckel, R., Taentzer, G.: Graph grammars with negative application conditions. Fundamenta Informaticae 26(3-4), 287–313 (1996)

    MathSciNet  MATH  Google Scholar 

  17. Corradini, A., Ehrig, H., Heckel, R., Löwe, M., Montanari, U., Rossi, F.: Algebraic approaches to graph transformation part I: Basic concepts and double pushout approach. In: Rozenberg, G. (ed.) Handbook of Graph Grammars and Computing by Graph Transformation, vol. 1: Foundations, pp. 163–245. World Scientific, Singapore (1997)

    Google Scholar 

  18. Even, S.: Graph Algorithms. Computer Science Press, Rockville (1979)

    MATH  Google Scholar 

  19. Kreowski, H.J., Kuske, S.: Graph transformation units and modules. In: Ehrig, H., Engels, G., Kreowski, H.J., Rozenberg, G. (eds.) Handbook of Graph Grammars and Computing by Graph Transformation, vol. 2: Applications, Languages and Tools, pp. 607–638. World Scientific, Singapore (1999)

    Google Scholar 

  20. Wolfram, S.: A New Kind of Science. Wolfram Media, Champaign (2002)

    MATH  Google Scholar 

  21. Peitgen, H., Jürgens, H., Saupe, D.: Chaos and Fractals. Springer, Berlin (2004)

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Bremen, Department of Computer Science, P.O. Box 330440, D-28334 Bremen, Germany

    Hans-Jörg Kreowski & Sabine Kuske

Authors
  1. Hans-Jörg Kreowski
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Sabine Kuske
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

José Luiz Fiadeiro Pierre-Yves Schobbens

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer Berlin Heidelberg

About this paper

Cite this paper

Kreowski, HJ., Kuske, S. (2007). Autonomous Units and Their Semantics - The Parallel Case. In: Fiadeiro, J.L., Schobbens, PY. (eds) Recent Trends in Algebraic Development Techniques. WADT 2006. Lecture Notes in Computer Science, vol 4409. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-71998-4_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-71998-4_4

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-71997-7

  • Online ISBN: 978-3-540-71998-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation