A generic process to refine a B specification into a relational database implementation

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

Volumn 1878, Issue , 2000, Pages 22-41

  Laleau, Régine ^a   Mammar, Amel ^a  

^a CEDRIC   (France)

Author keywords

B method; Refinement process; Relational database implementation

Indexed keywords

SPECIFICATIONS;

ABSTRACT SPECIFICATIONS; B METHOD; DATA-INTENSIVE APPLICATION; GENERIC PROCESS; REFINEMENT PROCESS; REFINEMENT STEP; RELATIONAL DATABASE;

FORMAL SPECIFICATION;

EID: 84937394170     PISSN: 03029743     EISSN: 16113349     Source Type: Journal    
DOI: 10.1007/3-540-44525-0_3     Document Type: Article

References (18)

1. Abrial, J.R.: The B-Book, Cambridge University Press, 1996.
2. Barros, R.: Deriving relational database programs from formal specifications, 2nd Int. Conf. FME'94, Springer-Verlag, LNCS 873, Barcelona, Spain, Oct. 94.
3. Batini, Ceri, Navathe: Conceptual Database Design: an EntityRelationship Approach, The Benjamin/Cummings Publishing Company, 1992.
4. Burdy, L., Meynadier, J-M.: Automatic Refinement, BUG Meeting, FM'99, Toulouse, France, September 1999.
5. Castelli, D., Pisani, S.: A Transformational Approach to Correct Schema Refinement, Conceptual Modeling-ER'98. 17th International Conference on Conceptual Modeling. Singapor, Novembre 1998.
6. Codd, E.F.: A Relational Model of Data for Large Shared Data Banks. Communications of the ACM, V13, N°6, June 1970, pp. 377-387. RefiningaBSpecification into a Relational Database Implementation 41
7. Date, C.J.: An Introduction to Database Systems, Addison-Wesley, 6th edition, 1996.
8. Digilog groupe STERIA: Atelier B-Manuel de reference, 1996, DIGILOG, BP 16000, 13791 Aix-en-Provence Cedex 3 France.
9. Donzeau-gouge, V., Simonot, M.: Conception Rigoureuse de Programmes, course-book of the DESS "Developpement de Logiciels Surs", CNAM, Paris, 1999.
10. Evans, A.S.: Reasoning with UML Class Diagrams, Workshop on Industrial Strength Formal Methods, WIFT'98, Florida, IEEE Press, 1998.
11. Facon, P., Laleau R., Nguyen, H. P.: Mapping Object Diagrams into B Specifications, Methods Integration Workshop, Leeds, UK, March 1996.
12. Facon, P., Laleau, R., Mammar, A.: Combining UML with the B Formal Method for the Specification of Database Applications, Research report, CEDRIC laboratory, CNAM, Paris, September 1999.
13. Günther, T., Schewe, K.D., Wetzel, I.: On the Derivation of Executable Database Programs from Formal Specifications. Int. Symp. FME'93, Odense, Denmark, April 1993.
14. Mammar, A., Laleau, R.: Using a Formal Refinement to Derive Relational Database Implementations from B Specifications, Research report, CEDRIC laboratory, CNAM, Paris, January 2000.
15. Matthews, B., Locuratolo, E.: Formal Development of Databases in ASSO and B. FME'99 Word Congress on Formal Methods, Springer-Verlag, LNCS 1709, Toulouse, France, Sept.99.
16. Melton, J., Simon, A.: Understanding the new SQL: A Complete Guide. Morgan Kaufmann Publishers, 1993.
17. Nguyen, H.P.: Derivation de specifications formelles B a partir de specifications semi-formelles, PHD thesis, CEDRIC laboratory, Paris, France, December 98.
18. OMG: The UML Group: Unified Modeling Language, version 1.1, Rational Software Corporation, www.rational.com/uml, Santa Clara, USA, July 1997.