Generating Maude Specifications From UML Use Case Diagrams

By: Farid Mokhati, Mourad Badri


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

The JOT Journal   |   ISSN 1660-1769   |   DOI 10.5381/jot   |   AITO   |   Open Access   |    Contact