Istituto di Scienza e Tecnologie dell'Informazione     
Matthews B., Locuratolo E. Formal development of databases in ASSO and B. In: FM’99 - Formal Methods World Congress on Formal Methods in the Development of Computing Systems (Toulouse, France, 20-24 September 1999). Proceedings, vol. I pp. 388 - 410. Jeannette M. Wing, J. Woodcock, J. Davies (eds.). (Lecture Notes in Computer Science, vol. 1708). Springer, 1999.
ASSO is a formal methodology for conceptual databases de- sign which uses aspects of the B method. In this paper, we discuss the formal relationship between specification in ASSO and in B, de need in terms of a translation which we prove to be sound. Further we go onto discuss requirement in ASSO, which separates behavioural and data refinement, their formal relationship and their relation to refinement in B. In this manner we can use B theory and tools to support database development in ASSO.
URL: http://link.springer.com/chapter/10.1007/3-540-48119-2_23
DOI: 10.1007/3-540-48119-2_23
Subject Formal Methods
Conceptual modelling
H.2.1 Logical Design

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