Contributo in volume, 2006, ENG, 10.4018/978-1-59140-684-6.ch002
Locuratolo E.
CNR-ISTI, Pisa
This chapter is devoted to the integration of the ASSO features in B. ASSO is a database design methodology defined for achieving conceptual schema consistency, logical schema correctness, flexibility in reflecting the real-life changes on the schema and efficiency in accessing and storing information. B is an industrial formal method for specifying, designing, and coding software systems. Starting from a B specification of the data structures and of the transactions allowed on a database, two model transformations are designed: The resulting model, called Structured Database Schema, integrates static and dynamics exploiting the novel concepts of Class-Machine and Specialized Class-Machine. Formal details which must be specified if the conceptual model of ASSO is directly constructed in B are avoided; the costs of the consistency obligations are minimized. Class-Machines supported by semantic data models can be correctly linked with Class-Machines supported by object Models.
ISTI – Istituto di scienza e tecnologie dell'informazione "Alessandro Faedo"
ID: 138963
Year: 2006
Type: Contributo in volume
Creation: 2009-06-16 00:00:00.000
Last update: 2017-03-01 10:59:15.000
CNR authors
External links
OAI-PMH: Dublin Core
OAI-PMH: Mods
OAI-PMH: RDF
DOI: 10.4018/978-1-59140-684-6.ch002
URL: http://www.igi-global.com/chapter/database-design-based/7888
External IDs
CNR OAI-PMH: oai:it.cnr:prodotti:138963
DOI: 10.4018/978-1-59140-684-6.ch002
Scopus: 2-s2.0-84899269057