Advertisement

An example of communicating production systems

  • Burkhard Igel
  • Georg Reichwein
Selected Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 335)

Abstract

We show the integration of the three concepts of channel/agency-nets, functional programming and production rules into one uniform language for the executable specification of communicating production systems using a distributed version of the well known Towers of Hanoi problem as a sample application. The distributed active and passive components of a channel/agency-net are modelled based on a system view according to Backus' applicative state transition systems. For the description of complex state transitions the functional subsystem is extended by language features for specifying production rules. Having implemented a virtual machine we are able to run such specifications on a computer and observe the system's behaviour.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    Backus, J.; Can Programming Be Liberated from the von Neumann Style ? Comm. ACM, Vol 21, 1978, 613–641CrossRefGoogle Scholar
  2. [2]
    Brownston,L.,Farrell,R.,Kant,E,Martin,N.; Programming Expert Systems in OPS 5 — An Introduction to Rule-Based Programming? Addison Wesley, 1985Google Scholar
  3. [3]
    Cardelli, L.; Amber Lecture Notes in Comp. Science, Vol 242, 1986, 21–47Google Scholar
  4. [4]
    Cremers, A.B.; Hibbard, T.N.;Applicative State Transition Systems in LISP-like Notation Informatik Fachberichte, Vol 73, Springer Verlag 1983, 51–66Google Scholar
  5. [5]
    Cremers, A.B.; Hibbard, T.N.: A Programming Notation for Locally Synchronized Algorithms; in Bertolazzi, P.; Luccio, F. (ed.) VLSI-Algoritms and Architectures; North Holland 1985, 341–376Google Scholar
  6. [6]
    Cremers,A.B.; Igel,B.; Reichwein,G.; Distributed Rule-based AST-Systems IEEE Proc. Workshop on Future Trends of Distributed Computing Systems in the 90's, Hongkong 1988Google Scholar
  7. [7]
    Forgy, C.L.; RETE. A Fast Algorithm for the Many Pattern/ Many Object Pattern Match Problem; Artificial Intelligence, Vol.19, 1982, 17–37CrossRefGoogle Scholar
  8. [8]
    Forgy, C.L.; The OPS83 Report Report CMU-CS-84-133, Carnegie-Mellon University, 1984Google Scholar
  9. [9]
    Harel, D.; Algorithmics — The Spirit of Computing Addison Wesley, 1987Google Scholar
  10. [10]
    Hoare, C.A.R.; Communicating Sequential Processes Comm. ACM, Vol 21, 1978, 666–677CrossRefGoogle Scholar
  11. [11]
    Hoare, C.A.R.; An Overview of Some Formal Methods for Program Design IEEE Computer, Vol 9, 1987, 85–91Google Scholar
  12. [12]
    Igel,B.; Applicative Modelling of Embedded Systems in preparationGoogle Scholar
  13. [13]
    Igel, B.; Reichwein, G.; A Functional Subsystem for the Specification of Distributed Applicative State Transition Systems Report Dept. of Comp. Science VI, University of Dortmund, 1987Google Scholar
  14. [14]
    Milner,R.; A Proposal for Standard ML ACM Symp. on Lisp and Funct. Progr.,184–197, 1984Google Scholar
  15. [15]
    Nuutila, E.; Kuusela, J.; Tamminen, M.; Veilahti, J.; Arkko, J.; Bouteldja, N. XC — A Language for Embedded Rule Based Systems Sigplan Notices, Vol 22 #9, 1987, 23–32Google Scholar
  16. [16]
    Radensky, A.; Lazy Evaluation and Nondeterminism Make Backus' FP-Systems More Practical Sigplan Notices, Vol 22 #4, 1987, 33–40Google Scholar
  17. [17]
    Radig,B.,Krickhahn,R.; Die Wissensrepräsentationssprache OPS 5 — Sprachbeschreibung und Einführung in die regelorientierte Programmierung Vieweg, 1987Google Scholar
  18. [18]
    Reisig, W.; Petri Nets in Software Engineering Lecture Notes in Comp. Science, Vol 255, 1987, 63–96Google Scholar
  19. [19]
    Zave, P.; Exchange Functions: Interaction Primitives for Specifying Distributed Systems Techn. Report TM-82-11384-13, Bell Lab., 1982Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • Burkhard Igel
    • 1
  • Georg Reichwein
    • 1
  1. 1.Lehrstuhl Informatik VIUniversität DortmundDortmund 50West Germany

Personalised recommendations