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

Authors:
Akram Idani;Yves Ledru;Didier Bert
Affiliations:
Laboratoire Logiciels, Systèmes, Réseaux – IMAG, Saint Martin d’Hères, France;Laboratoire Logiciels, Systèmes, Réseaux – IMAG, Saint Martin d’Hères, France;Laboratoire Logiciels, Systèmes, Réseaux – IMAG, Saint Martin d’Hères, France
Venue:
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
Year:
2005

Citing 12
Cited 3

The B-book: assigning programs to meanings

The B-book: assigning programs to meanings
The Unified Modeling Language user guide

The Unified Modeling Language user guide
Formal Object-Oriented Development

Formal Object-Oriented Development
An Overview of RoZ: A Tool for Integrating UML and Z Specifications

CAiSE '00 Proceedings of the 12th International Conference on Advanced Information Systems Engineering
Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS Development

ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Development of an Embedded Verifier for Java Card Byte Code Using Formal Methods

FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Météor: A Successful Application of B in a Large Project

FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Contributions for Modelling UML State-Charts in B

IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Object Oriented Concepts Identification from Formal B Specifications

Electronic Notes in Theoretical Computer Science (ENTCS)
How to diagnose a modern car with a formal B model?

ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Formalizing the UML class diagram using object-Z

UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
GeneSyst: a tool to reason about behavioral aspects of B event specifications. application to security properties

ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B

Object oriented concepts identification from formal B specifications

Formal Methods in System Design
Language and Tool Support for Class and State Machine Refinement in UML-B

FM '09 Proceedings of the 2nd World Congress on Formal Methods
Coupling-based transformations of Z specifications into UML diagrams

Innovations in Systems and Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

Although formal methods provide excellent techniques for the precise description of systems, understanding these descriptions is often restricted to experts. This paper investigates a practical solution to assist the understanding of a formal specification, written in B, by providing a complementary view of the specification as UML class diagram. Our technique improves the state of the art by taking into account operations in the construction of the diagram, through the use of concept formation techniques. A documentation tool automates the approach. It has been applied to several specifications built independently of the tool.