ASSO is a formal methodology for conceptual databases design which uses aspects of the B method. In this paper, we discuss the formal relationship between specification in ASSO and in B, defined in terms of a translation which we prove to be sound. Further we go onto discuss refinement in ASSO, which separates behavioural and data refinement, their formal relationship and their relation to refinement in B. In this manner we can use B theory and tools to support database development in ASSO.
Formal development of databases in ASSO and B
Locuratolo E
1999
Abstract
ASSO is a formal methodology for conceptual databases design which uses aspects of the B method. In this paper, we discuss the formal relationship between specification in ASSO and in B, defined in terms of a translation which we prove to be sound. Further we go onto discuss refinement in ASSO, which separates behavioural and data refinement, their formal relationship and their relation to refinement in B. In this manner we can use B theory and tools to support database development in ASSO.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_407745-doc_142944.pdf
solo utenti autorizzati
Descrizione: Formal development of databases in ASSO and B
Tipologia:
Versione Editoriale (PDF)
Dimensione
301.4 kB
Formato
Adobe PDF
|
301.4 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
