Generating Maude Specifications From UML Use Case Diagrams
By: Farid Mokhati, Mourad Badri
Abstract
For the purpose of using jointly UML and B in a rigorous, unified and practically development process, other authors have proposed an approach for translating the class, communication and use case diagrams into a B specification. In this approach, the UML descriptions have been analysed via the generated B specification. However, this approach does not consider the concurrential aspects of the described system.
Cite as:
Farid Mokhati, Mourad Badri, “Generating Maude Specifications From UML Use Case Diagrams”, Journal of Object Technology, Volume 8, no. 2 (March 2009), pp. 119-136, doi:10.5381/jot.2009.8.2.a2.
PDF | HTML | DOI | BiBTeX | Tweet this | Post to CiteULike | Share on LinkedIn