Text size
  • Small
  • Medium
  • Large
  • Standard
  • Blue text on blue
  • High contrast (Yellow text on black)
  • Blue text on beige

    Translating Structured Database Schemas into Abstract Machines

    2nd Irish Workshop on Formal Methods

    Cork, Ireland. 2nd-3rd July 1998


    B. Matthews & E. Locuratolo


    ASSO is a formal methodology for developing database applications based on B. Within ASSO, conceptual and logical descriptions of databases are linked through a formal relation to break down a database design into simpler components.

    We propose a systematic translation from ASSO schemas into B-machines establishing a formal relationships between them. This permits the formal semantics of ASSO to be explored using B, and also allows existing B tools to be used as a basis for the construction of ASSO tools.


    PDF filePDF Version of this Paper (127kb)