An overview of a method and its support tool for generating B specifications from UML notations

Proceedings ASE 2000: 15th IEEE International Conference on Automated Software Engineering

Volumn , Issue , 2000, Pages 269-272

  Laleau, R ^a   Mammar, A ^a  

^a CEDRIC   (France)

Author keywords

[No Author keywords available]

Indexed keywords

SPECIFICATIONS;

B MACHINES; CLASS DIAGRAMS; COLLABORATION DIAGRAM; COMPLEX TRANSACTION; DATA-INTENSIVE APPLICATION; SUPPORT TOOL; UML NOTATION;

SOFTWARE ENGINEERING;

EID: 84960891660     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2000.873675     Document Type: Conference Paper

References (11)

1. J. R. Abrial. The B-Book. Cambridge University Press, 1996.
2. J. M. Bruel and R. B. France. A Formal Object-Oriented CASE Tool for the Development of Complex Systems. 7th European Workshop on Next Generation of Case Tools, Crete, Greece, May 1996.
3. DIGILOG groupe STERIA. Atelier B, Manuel de référence. DIGILOG, BP 16000, 13791 Aix-en-Provence Cedex 3 France, 1996.
4. S. Dupuy, Y. Ledru, and M. Chabre-Peccoud. An Overview of Roz: a Tool for Integrating UML and Z Specifications. 12th International Conference CAISE'00, Stockhom, Sweden, June 2000.
5. P. Facon, R. Laleau, and A. Mammar. Combining UML with the B Formal Method for the Specification of Database Applications. Research Report, CEDRIC Laboratory, Paris, September 1999.
6. R. Laleau and A. Mammar. A Generic Process to Refine a B Specification into a Relational Database Implementations. International Conference ZB2000, LNCS, Springer-Verlag, York, UK, September 2000, forthcoming.
7. R. Laleau and F. Polack. Metamodels for Static Conceptual Modelling of Information Systems. Workshop "Defining Precise Semantics for UML", ECOOP 2000, Cannes, France, June 2000.
8. X. Leroy. The Objective Caml System, Documentation and User's Manual. INRIA, France, 1999.
9. H. P. Nguyen. Dérivation de spécifications formelles B à partir de spécifications semi-formelles. PHD thesis, CEDRIC Laboratory, Paris, France, December 1998.
10. OMG. Unified Modeling Language Specification. BetaR1 Release, available on line, www.rational.com/uml., April 1999.
11. Rational Software Corporation. Rational Rose - Using Rational Rose 98. 1998.