Advertisement

Programmed derivations of relational structures

  • Andrea Maggiolo-Schettini
  • Józef Winkowski
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 532)

Abstract

Derivations of relational structures by applying productions are considered. The corresponding concepts are taken from the existing algebraic (category theory) approach to transformations of relational structures. An idea of programs for defining sets of derivations is introduced. A number of programming constructs is introduced to specify applications of productions in a controlled way. These constructs are given together with two mathematical semantics which allow a rigorous reasoning about programs.

Keywords

Relational structure Production Derivation Quasiderivation Program Derivation behaviour Configuration lattice Trace Trace behaviour 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [EKMRW]
    H. Ehrig, H.J. Kreowski, A. Maggiolo-Schettini, B.K. Rosen, J. Winkowski, Transformations of Structures: An Algebraic Approach, Math. Systems Theory 14 (1981) 305–334.CrossRefGoogle Scholar
  2. [MW1]
    A. Maggiolo-Schettini, J. Winkowski, Processes of Transforming Structures, J. Comput. System Sci. 24(1982) 245–282.CrossRefGoogle Scholar
  3. [MW2]
    A. Maggiolo-Schettini, J. Winkowski, Towards a Programming Language for Manipulating Relational Data Bases, in: D. Bjorner (ed.), Formal Description of Programming Concepts II, North-Holland, Amsterdam, 1983, 265–280.Google Scholar
  4. [MNT]
    A. Maggiolo-Schettini, M. Napoli, G. Tortora, Web Structures: A Tool for Representing and Manipulating Programs, IEEE Trans. on Soft. Eng.14 (1988) 1621–1639.CrossRefGoogle Scholar
  5. [M]
    B. Mayoh, A Uniform Model for the Growth of Biological Organisms: Cooperating Sequential Processes, in: G. Rozenberg, A. Salomaa (eds.): The Book of L, Springer, Berlin, 1986, 291–301.Google Scholar
  6. [R]
    V. Railich, Dynamics of Discrete Systems and Pattern Reproduction, J. Comput. System Sci. 11 (1975) 186–202.Google Scholar
  7. [W]
    G.Winskel, An Event Structure Semantics for CCS and Related Languages, Springer LNCS 140, 1982, 561–576.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Andrea Maggiolo-Schettini
    • 1
  • Józef Winkowski
    • 2
  1. 1.Dipartimento di InformaticaUniversità di PisaPisaItaly
  2. 2.Instytut Podstaw Informatyki PANWarszawa, PKiN, Skr.p. 22Poland

Personalised recommendations