ASSO : Behavioral specialization modelling

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.