Derivation of UML class diagrams as static views of formal B developments

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

Volumn 3785 LNCS, Issue , 2005, Pages 37-51

  Idani, Akram ^a   Ledru, Yves ^a   Bert, Didier ^a  

^a Réseaux IMAG   (France)

Author keywords

B; Formal concept analysis; Method integration; UML

Indexed keywords

INFORMATION TECHNOLOGY; PROBLEM SOLVING; PROGRAM DOCUMENTATION; SOFTWARE ENGINEERING; SPECIFICATIONS;

B DEVELOPMENTS; FORMAL CONCEPT ANALYSIS; METHOD INTEGRATION; UML;

COMPUTER SCIENCE;

EID: 33646811205     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11576280_4     Document Type: Conference Paper

References (17)

1. J.-R. Abrial. The B-book: assigning programs to meanings. Cambridge University Press, 1996.
2. P. Behm, P. Benoit, A. Faivre, and J.-M. Meynadier. METEOR: A successful application of B in a large project. In Proc. of FM'99: World Congress on Formal Methods, volume 1709 of LNCS, pages 369-387, Springer-Verlag, 1999.
3. G. Bernhard and W. Rudolf. Formal concept analysis. Springer, 1999.
4. D. Bert, M.-L. Potet, and N. Stouls. GeneSyst: a tool to reason about behavioral aspects of B event specifications. Application to security properties. In Proc. of ZB2005, volume 3455 of LNCS. Springer-Verlag, 2005.
5. G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modeling Language user guide. Addison Wesley Longman Publishing Co., Inc., 1999.
6. L. Casset. Development of an embedded verifier for Java card byte code using formal methods. In FME'02, volume 2391 of LNCS. Springer-Verlag, 2002.
7. th Conf. on Advanced information Systems Engineering-CAiSE'2000, volume 1789 of LNCS. Springer-Verlag, 2000.
8. H. Fekih, L. Jemni, and S, Merz. Transformation des spécifications B en des diagrammes UML. In AFADL : Approches Formelles dans l'Assistance au Développement de Logiciels, 2004.
9. A. Idani and Y. Ledru. Object Oriented Concepts Identification from Formal B Specifications. In Proc. of 9th Int. Workshop on Formal Methods for Industrial Critical Systems, volume 133 of ENTCS, pages 159-174. Elsevier, 2005.
10. S.-K. Kim and D. Carrington. Formalizing the UML class diagram using object-z. In UML'99 - The Unified Modeling Language. Beyond the Standard. 2nd Int. Conf., Fort Collins, CO, USA, volume 1723 of LNCS, pages 83-98. Springer-Verlag, 1999.
11. R. Laleau and F. Polack. Coming and going from UML to B: A proposal to support traceability in rigorous IS development. In ZB'2002 - Formal Specification and Development in Z and B, LNCS 2272, pages 517-534. Springer-Verlag, 2002.
12. K. Lano. Formal object-oriented development. Springer-Verlag, 1995.
13. H. Ledang and J. Souquières. Contributions for modelling UML state-charts in B, In Integrated Formal Methods, IFM 2002, volume 2335 of LNCS, 2002.
14. M. Leuschel and M. Butler. ProB: A Model Checker for B, In FME 2003: Formal Methods, LNCS 2805, pages 855-874. Springer-Verlag, 2003.
15. G. Pouzancre. How to Diagnose a Modern Car with a Formal B Model? In ZB 2003: Formal Specification and Development in Z and B. Springer-Verlag, 2003.
16. M. Satpathy, R. Harrison, C. Snook, and M. Butler. A Comparative Study of Formal and Informal Specifications through an Industrial Case Study. In FSCBS'01: IEEE/ IFIP Wkshp on Formal Specification of Computer-Based Systems, 2001.
17. B. Tatibouet, A, Hammad, and J.C. Voisinet, From an abstract B specification to UML class diagrams. In 2nd IEEE Int. Symposium on Signal Processing and Information Technology (ISSPIT'2002), Morocco, December 2002.