http://www.cnr.it/ontology/cnr/individuo/prodotto/ID139010

Model Transformations in Designing the ASSO Methodology (Contributo in volume (capitolo o saggio))

Type

Label

Model Transformations in Designing the ASSO Methodology (Contributo in volume (capitolo o saggio)) (literal)

Anno

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi

Alternative label

Locuratolo E. (2005)
Model Transformations in Designing the ASSO Methodology
Information Science Reference, Hershey (Stati Uniti d'America) in Transformation of knowledge, Information and Data: Theory and Applications, 2005
(literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori

Pagina inizio

Pagina fine

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#citta

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url

http://www.igi-global.com/chapter/model-transformations-designing-asso-methodology/30450 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#titoloVolume

Transformation of knowledge, Information and Data: Theory and Applications (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note

In: Transformation of Knowledge, Information and Data: Theory and Application. 1 ed. vol. 1 pp. 283 - 302. Patrick van Bommel (ed.). Hershey, PA 17033: Information Science Publishing (Idea Group Inc), 2005. (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#pagineTotali

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#descrizioneSinteticaDelProdotto

ASSO, an innovative conceptual methodology which combines features of database design with the formal method B, has been defined in order to ensure the flexibility of semantic data models, the efficiency of object models and the design correctness. Starting from a directed acyclic graph of classes supported by semantic data models, a formal mapping generates classes supported by object models. The classes supported by semantic data models are then extended with aspects of behavioural modelling; a relationship with the B model is established and the consistency proofs of the whole schema are reduced to small obligations of B. The Chapter evidences how ASSO is based on model transformations. These have been introduced with different purposes: to map semantic data models to object models, to integrate static and dynamic modelling, to link formal and informal notations and to relate the conceptual schema and the logical schema of the methodology. (literal)

Note

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni

Titolo

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#inCollana

Transformation of Knowledge, Information and Data: Theory and Application (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#curatoriVolume

Abstract

ASSO, an innovative conceptual methodology which combines features of database design with the formal method B, has been defined in order to ensure the flexibility of semantic data models, the efficiency of object models and the design correctness. Starting from a directed acyclic graph of classes supported by semantic data models, a formal mapping generates classes supported by object models. The classes supported by semantic data models are then extended with aspects of behavioural modelling; a relationship with the B model is established and the consistency proofs of the whole schema are reduced to small obligations of B. The Chapter evidences how ASSO is based on model transformations. These have been introduced with different purposes: to map semantic data models to object models, to integrate static and dynamic modelling, to link formal and informal notations and to relate the conceptual schema and the logical schema of the methodology (literal)

Editore