Modeling Class Operations in B: Application to UML Behavioral Diagrams

Abstract

An appropriate approach for translating UML to B formal specifications allows one to use UML and B jointly in an unified, practical and rigorous software development. We formally analyze UML specifications via their corresponding B formal specifications. This point is significant because B support tools like AtelierB are available. We can also use UML… (More)
DOI: 10.1109/ASE.2001.989815

Topics

7 Figures and Tables

Cite this paper

@inproceedings{Ledang2001ModelingCO, title={Modeling Class Operations in B: Application to UML Behavioral Diagrams}, author={Hung Ledang and Jeanine Souqui{\`e}res}, booktitle={ASE}, year={2001} }