Sciweavers

IWFM
1998

Translating Structured Database Schemas into Abstract Machines

14 years 6 days ago
Translating Structured Database Schemas into Abstract Machines
ing Structured Database Schemas into Abstract Machines Brian Matthews Rutherford Appleton Laboratory, Didcot, OXON, OX11 OQX, U.K. Elvira Locuratolo Istituto di Elaborazione dell'Informazione, Consiglio Nazionale delle Ricerche, Via S. Maria, 46 - 56126 Pisa, Italy October 29, 1998 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.
Brian Matthews, Elvira Locuratolo
Added 01 Nov 2010
Updated 01 Nov 2010
Type Conference
Year 1998
Where IWFM
Authors Brian Matthews, Elvira Locuratolo
Comments (0)