Translating structured database schemas into abstract machines

Autor:	Matthews B., Locuratolo E.
Jazyk:	angličtina
Rok vydání:	1998
Předmět:	Conceptual modelling Design Tools and Techniques Formal methods Languages Information systems Logical design Data models [Logical Design] Database design Logical Design: Data models
Zdroj:	IWFM'98 2nd Irish Workshop in Formal Methods, University College, Cork Ireland, 2-3 July 1998 info:cnr-pdr/source/autori:Matthews B.; Locuratolo E./congresso_nome:IWFM'98 2nd Irish Workshop in Formal Methods/congresso_luogo:University College, Cork Ireland/congresso_data:2-3 July 1998/anno:1998/pagina_da:/pagina_a:/intervallo_pagine ISTI Technical reports, pp.1–23, 1997
Popis:	ASSO is a formal methodology for developing database applications based on B. Within ASSO, conceptual and logicai descriptions of databases are linked through a formal relation to break down a database design into simpler components. We propose a systematic translation from ASSO schemas into B-machines establishing a formal relationships between them. This permits the formal semantics of ASSO to be explored using B, and also allows existing B tools to be used as a basis for the construction of ASSO tools.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::66bdeede8bdc5f82319583c5df94b500 http://www.cnr.it/prodotto/i/409582 Zobrazit plný text záznamu