The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
Use case driven object modeling with UML: a practical approach
Use case driven object modeling with UML: a practical approach
Java design patterns: a tutorial
Java design patterns: a tutorial
Linking UML with integrated formal techniques
Unified modeling language
The Object Primer
Specification in B: An Introduction Using the B Toolkit
Specification in B: An Introduction Using the B Toolkit
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
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Using a Process Algebra to Control B Operations
IFM '99 Proceedings of the 1st International Conference on Integrated Formal Methods
Structured axiomatic semantics for UML models
ROOM'00 Proceedings of the 2000 international conference on Rigorous Object-Oriented Methods
Information and Software Technology
Formality, Evolution, and Model-driven Software Engineering
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards dynamic population management of abstract machines in the B method
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
A proposal for extending UML-B to support a conceptual model
Innovations in Systems and Software Engineering
Towards dynamically communicating abstract machines in the b method
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
| Hi-index | 0.00 |
This paper discusses our experiences of using UML and B together through an illustrative case study. Our approach to using UML and B centers around stereotyping UML classes in order to identify which classes should be modelled in B. We discuss the tensions between the notations, and the compromises that need to be reached in order for B to supplement a UML development. The case study begins from the initial conception of a library system and its use case view in order to demonstrate how the classes were identified.