An approach to behavioral modelling based on the specialization concept is proposed within ASSO,a formal database design methodology which combines features from database design with formal methods. This approach makes it possible to extend the classic notion of is-a reltionship through a behavioral specialization constructor and to define the ASSO model as a structured model. As a consequence the consistency proof of the conceptual schema in performed in terms of smaller proofs and its cost is reduced. Steps of behavioral refinement are applied by parts.
ASSO : Behavioral specialization modelling
Locuratolo E
1997
Abstract
An approach to behavioral modelling based on the specialization concept is proposed within ASSO,a formal database design methodology which combines features from database design with formal methods. This approach makes it possible to extend the classic notion of is-a reltionship through a behavioral specialization constructor and to define the ASSO model as a structured model. As a consequence the consistency proof of the conceptual schema in performed in terms of smaller proofs and its cost is reduced. Steps of behavioral refinement are applied by parts.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
prod_409754-doc_144120.pdf
solo utenti autorizzati
Descrizione: ASSO : Behavioral specialization modelling
Tipologia:
Versione Editoriale (PDF)
Dimensione
1.18 MB
Formato
Adobe PDF
|
1.18 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.