|
Published Articles >> Table of Contents >> Abstract
30th Annual IEEE/NASA Software Engineering Workshop SEW-30 (SEW'06)
pp. 97-106
A Reverse-Engineering Approach to Understanding B Specifications with UML Diagrams
Akram Idani, Universite Joseph Fourier, IMAG, France
Yves Ledru, Universite Joseph Fourier, IMAG, France
Didier Bert, Universite Joseph Fourier, IMAG, France
Full Article Text:
 
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SEW.2006.6
Send link to a friend
| Abstract |
|
Formal methods are nowadays the most rigorous way to
produce software. However, the existing formal notations
are not easy to use and understand for most people. Our
approach proposes to circumvent this shortcoming by
producing complementary graphical views on the formal
developments. This paper addresses the graphical representation
of formal B specifications using UML diagrams.
A reverse-engineering approach is proposed to generate
several class diagrams showing the static aspects of the
B developments. These diagrams can help understand the
specification for stakeholders who are not familiar with the
B method, such as customers or certification authorities.
A concept formation technique based on weighted link
matrices is proposed to improve automation.
|
 Additional Information
|
Index Terms- Concept formation, B, UML, Formal concept analysis.
Citation:
Akram Idani, Yves Ledru, Didier Bert,
"A Reverse-Engineering Approach to Understanding B Specifications with UML Diagrams,"
sew,
pp. 97-106,
30th Annual IEEE/NASA Software Engineering Workshop SEW-30 (SEW'06),
2006
|
|
