PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Andolina R., Locuratolo E. ASSO : Behavioral specialization modelling. H. Kangassalo ... [et al.] (ed.). (Frontiers in artificial intelligence and applications, vol. 38). Amsterdam ; Oxford: IOS Press, 1997.
 
 
Abstract
(English)
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.
Subject ASSO


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional