论文信息 - Translating Structured Database Schemas into Abstract Machines

Translating Structured Database Schemas into Abstract Machines

ASSO is a formal methodology for developing database applications based on B. Within ASSO, conceptual and logical 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.

Brian Matthews | Elvira Locuratolo | B. Matthews | E. Locuratolo

[1] Jean-Raymond Abrial,et al. The B-book - assigning programs to meanings , 1996 .

[2] Brian Matthews,et al. On the Relationship between ASSO and B , 1998, European-Japanese Conference on Information Modelling and Knowledge Bases.

[3] Klaus-Dieter Schewe,et al. Specification and Refinement in an Integrated Database Application Environment , 1991, VDM Europe.

[4] 2nd Irish Workshop on Formal Methods, Cork, Ireland, 2-3 July 1998 , 1998, IWFM.

[5] Setsuo Ohsuga,et al. Information Modelling and Knowledge Bases VIII , 1977 .

[6] Serge Abiteboul,et al. Foundations of Databases , 1994 .

[7] Edsger W. Dijkstra,et al. A Discipline of Programming , 1976 .

[8] Fausto Rabitti,et al. Conceptual classes and system classes in object databases , 1998, Acta Informatica.

[9] Roger King,et al. Semantic database modeling: survey, applications, and research issues , 1987, CSUR.

[10] Kevin Lano. The B language and method - a guide to practical formal development , 1996, FACIT: Formal approaches to computing and information technology.

[11] François Bancilhon. Object databases , 1996, CSUR.

[12] Régine Laleau,et al. Mapping object diagrams into B specifications , 1996 .

[13] Kevin Lano,et al. The B language and method , 1996 .

[14] K. Lano,et al. Improving the Process of System Specification and Refinement in B , 1994, Refine.

[15] Brian Ritchie,et al. Synthesising Structure from Flat Specifications , 1998, B.