ASSO is a formal methodology for developing database applications based on B. Within ASSO, conceptual and logicai 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.
Translating structured database schemas into abstract machines
Locuratolo E
1997
Abstract
ASSO is a formal methodology for developing database applications based on B. Within ASSO, conceptual and logicai 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.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_408734-doc_143515.pdf
solo utenti autorizzati
Descrizione: Translating structured database schemas into abstract machines
Dimensione
1.73 MB
Formato
Adobe PDF
|
1.73 MB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
