Describing traces in an algebraic specification language abstractly by predicates and more concretely by CSP-like programming constructs
  • Dimitris Dranidis
  • Stefan Gastinger
Part of the Lecture Notes in Computer Science book series (LNCS, volume 891)


This work aims at describing the behaviour of the production cell on two levels of abstraction. First, the production cell is modelled using a sublanguage of the process description language CSP. Informal description methods, like diagrams, are used for the development of the first model as well. A pseudo-interpreter for the CSP-sublanguage is given, which allows to validate the model against the informal description. To formulate and verify critical properties, an abstract trace specification of the production cell is given, that accepts further, especially more efficient models of the production cell. This abstract specification introduces several views to the production cell, each of which separates a different aspect such as data flow or performed actions.


Production Cell Metal Plate Communicate Sequential Process Rotary Table Observable Action 
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]
    M. Broy et al., The Requirement and Design Specification Language SPECTRUM, An Informal Introduction, TU München, technical report TUM-I9311, 1993.Google Scholar
  2. [2]
    M. Broy et al., The Design of Distributed Systems — An Introduction to FOCUS, TU München, technical report TUM-I9202, 1992.Google Scholar
  3. [3]
    D. Dranidis, S. Gastinger, Description of a Production Cell using CSP and SPECTRUM, Ludwig-Maximilians-Universität München, technical report, in work, 1994.Google Scholar
  4. [4]
    R. J. van Gladbeek, Comparative Concurrency Semantics and Refinement of Actions, PhD Thesis, Centruum voor Wiskunde en Informatica, Universiteit te Amsterdam, 1990.Google Scholar
  5. [5]
    C.A.R. Hoare, Communicating Sequential Processes, Prentice-Hall, 1985.Google Scholar
  6. [6]
    T. Lindner, Task Description for the Case Study “Production Call”, Forschungszentrum Informatik, University of Karlsruhe, 1993.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1995

Authors and Affiliations

  • Dimitris Dranidis
    • 1
  • Stefan Gastinger
    • 1
  1. 1.Ludwig-Maximilian-Universität MünchenDeutschland

Personalised recommendations