Formal development of databases in ASSO and B

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1708, Issue , 1999, Pages 388-410

  Matthews, Brian ^a   Locuratolo, Elvira ^b  

^a RUTHERFORD APPLETON LABORATORY   (United Kingdom)

^b ISTI CNR   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; DATABASE SYSTEMS;

B METHOD; DATA REFINEMENTS; DATABASE DEVELOPMENT; FORMAL DEVELOPMENT;

FORMAL METHODS;

EID: 84912116086     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48119-2_23     Document Type: Conference Paper

References (22)

1. S Abiteboul, R Hull and V Vianu: Foundations of Databases, Addison-Wesley, 1995.
2. J-R Abrial: The B-Book: Assigning Programs to Meaning, Cambridge University Press, 1996.
3. R Andolina and E. Locuratolo: ASSO: behavioral specialisation modelling. In: Jaakkola H (ed) Information Modelling and Knowledge Bases 8, IOS Press, 1997.
4. B-Core (UK) Ltd. The B-Toolkit Welcome page URL
5. N. Bhalla: Object-oriented data models: a perspective and comparative review, Journal of Information Science, 1991.
6. D. Castelli, and E. Locuratolo: A Formal Notation for Database Conceptual Schema Specifications. Information Modelling and Knowledge Bases 4, Jaakkola, H. (ed), IOS Press, 1994.
7. D. Castelli and E. Locuratolo: ASSO - A formal database design methodology In Jaakkola H (ed) Information Modelling and Knowledge Bases 4, IOS Press, 1995.
8. E W Dijkstra., and S Scholten: Predicate Calculus and Program Semantics, Springer-Verlag, 1990.
9. P Facon, R Laleau and H P Nguyen: Mapping object diagrams into B specifications. In Bryant A, Semmens L T (eds) proceedings of the Methods Integration Workshop, Leeds, UK, Springer-Verlag, 1996
10. P Facon, R Laleau and H P Nguyen: Dérivation de spécification formelles B á partir de spécifications semi-formelles de syst¨emes d'information. Habrias H (ed) proceedings of the 1st Conference on the B Method, Nantes, France, 1996.
11. R. Hull and R. King: Semantic database modeling: survey, application, and research issues. ACM Computing Surveys, 19(3) 1987
12. K Lano and H Haughton: Improving the process of system specification and refinement in B. In: Till D (ed) proceedings of the 6th Refinement Workshop, Work- shops in Computing, Springer-Verlag, 1994.
13. K Lano: The B Language and Method. A Guide to Practical Formal Development. Springer-Verlag, 1996.
14. E. Locuratolo: Evolution as a formal database design methodology. In Proceedings of symposium on Software Technology (SoST'97), Buenos Aires, 1997.
15. E. Locuratolo and R. Rabitti F: Conceptual classes and system classes in object databases. Acta Informatica, 35(3):181-210, 1998.
16. E. Locuratolo: Database reengineering as modelling IEI report B4-43, 1998.
17. E. Locuratolo, and B.M. Matthews: On the relationship between ASSO and B In proceedings of the 8th European-Japanese conference on Information Modelling and Knowledge Bases, Vammala, Finland, May 1998.
18. E. Locuratolo, and B.M. Matthews: ASSO: A formal methodology of Conceptual Database Design ERCIM Workshop on Formal Methods for Industrial Critical Systems, 1999.
19. B.M. Matthews, B Ritchie, and J.C. Bicarregui: Synthesising structure from flat specifications. Proceedings of the B Conference, Montpelier, France, April 1998.
20. B.M. Matthews and E. Locuratolo: Translating Structured Database Schemas into Abstract Machines. In proceedings of the 2nd Irish Workshop on Formal Methods, Cork, Ireland, 1998.
21. K-D Schewe, J W Schmidt and I Wetzel: Specification and refinement in an integrated database application environment. Prehn S, Toetenel WJ (eds) proceedings of VDM'91, 4th Int. Symp. of VDM Europe, Springer-Verlag, 1991
22. R Shore: An object-oriented approach to B. Habrias H (ed) proceedings of the 1st Conference on the B Method, Nantes, France, 1996.